安托万卷轴
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [j8] 索米亚·尚卡尔 , 安基特·普拉丹 , 斯里尼瓦斯·皮尼塞蒂 , 安托万卷轴 , 伊利耶斯·法尔科内 :
具有概率和性能分析的有限内存运行时强制。 形式方法系统。 设计。 62 ( 1 ) : 141-180 ( 2024 ) 2023 [公元22年] 玛丽亚姆·巴拉尼 , Yvan Labiche公司 , 安托万卷轴 :
关于影响代码覆盖率和测试套件有效性之间关系的因素:一项调查。 ICSTW公司 2023 : 381-388 【c21】 西奥·德卡斯特罗·平托 , 安托万卷轴 , 格雷戈伊尔·苏特雷 , 伊雷内乌斯·托博 :
使用A-Star引导符号执行。 SEFM公司 2023 : 47-65 2022 [公元20年] 索米亚·尚卡尔 , 安托万卷轴 , 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 :
绑定内存运行时强制。 自旋蛋白 2022 : 114-133 2020 [j7] 马蒂厄·雷纳德 , 安托万卷轴 , 伊利耶斯·法尔科内 :
使用游戏对计时属性进行运行时强制。 形式方面计算。 32 ( 2-3 ) : 315-360 ( 2020 )
2010 – 2019
2019 [j6] 马蒂厄·雷纳德 , 伊利耶斯·法尔科内 , 安托万卷轴 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
具有不可控事件的(定时)属性的最佳实施。 数学。 结构。 计算。 科学。 29 ( 1 ) : 169-214 ( 2019 ) [第19条] 奥马尔·恩格纳·蒂莫 , 迪米特里·普雷斯塔特 , 安托万卷轴 :
带定时保护和超时的定时有限状态机的多重变异测试。 信息和通信技术支持系统 2019 : 104-120 2018 【b1】 安托万卷轴 :
航行(dans le temps)自动验证、du test等。 ((时间)跨越验证、测试和其他方面)。 法国波尔多大学, 2018 [第1页] 法尔科内 , 莱昂纳多·马里亚尼 , 安托万卷轴 , 赛卡特·萨哈 :
运行时故障预防和反应。 运行时验证讲座 2018 : 103-134 2017 [第18条] 马蒂厄·雷纳德 , 安托万卷轴 , 伊利耶斯·法尔科内 :
GREP:运行时强制执行属性的游戏。 信息和通信技术支持系统 2017 : 259-275 [第17条] 马蒂厄·雷纳德 , 安托万卷轴 , 法尔科内 :
使用Büchi游戏执行运行时。 自旋蛋白 2017 : 70-79 2015 [第16条] 马蒂厄·雷纳德 , 法尔科内 , 安托万卷轴 , 斯里尼瓦斯·皮尼塞蒂 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
使用不可控事件强制执行(定时)属性。 ICTAC公司 2015 : 542-560 2014 [j5] 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 , 安托万卷轴 , 奥马尔·恩格纳·蒂莫 :
已重新访问定时属性的运行时强制。 形式方法系统。 设计。 45 ( 三 ) : 381-422 ( 2014 ) 【j4】 赫莱内·科拉维扎 , 阮黎荣 , 奥利维尔·波西尼 , 米歇尔·鲁赫 , 安托万卷轴 :
基于约束的BMC:一种回跳策略。 国际期刊软件。 技术工具。 Transf公司。 16 ( 1 ) : 103-121 ( 2014 ) 2013 [第15条] 亚历山大·戴维 , 金·拉森 , 马吕斯·米库西奥尼斯 , 奥马尔·恩格纳·蒂莫 , 安托万卷轴 :
定时规范的远程测试。 信息和通信技术支持系统 2013 : 65-81 2012 [j3] 塞巴斯蒂安·萨尔瓦 , 安托万卷轴 :
测试无状态和有状态Web服务健壮性的实用方法。 螺柱通知。 大学。 10 ( 2 ) : 139-179 ( 2012 ) [第14条] 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 , 安托万卷轴 , 奥马尔·兰德里·恩格纳·蒂莫 :
定时属性的运行时强制。 右心室 2012 : 229-244 2011 [第13条] 奥马尔·恩格纳·蒂莫 , 安托万卷轴 :
基于观测的数据流无功系统测试选择。 ICST研讨会 2011 : 1-8 [第12条] 塞巴斯蒂安·萨尔瓦 , 安托万卷轴 :
从WSDL描述自动进行Web服务测试。 IICS公司 2011 : 217-226 2010 [注2] 哈塞内·福查尔 , 安托万卷轴 , 阿巴斯·塔赫尼 :
组合实时系统的鲁棒性测试。 J.计算。 方法科学。 工程师。 10 ( 3-6 ) : 135-148 ( 2010 ) [第11条] Saad-Khorchef票价 , 伊斯梅尔·贝拉达 , 安托万卷轴 , 理查德·卡斯塔内特 :
反应系统的自动鲁棒性测试:通信协议的应用。 IICS公司 2010 : 409-421
2000 – 2009
2009 [第10条] 安托万卷轴 , 塞巴斯蒂安·萨尔瓦 :
使用基于ioco的方法测试通信系统的健壮性。 ISCC公司 2009 : 67-72 【c9】 哈塞内·福查尔 , 安托万·罗尔特 , 阿巴斯·塔赫尼 :
复合时间系统的鲁棒性测试。 SEDE公司 2009 : 161-167 2008 [j1] 塞巴斯蒂安·萨尔瓦 , 安托万卷轴 :
服务web的可测试性。 Ingénierie des Systèmes d Inf。 13 ( 三 ) : 35-58 ( 2008 ) 2007 【c8】 Saad-Khorchef票价 , 安托万卷轴 , 理查德·卡斯塔内特 :
通信软件健壮性测试的框架和工具。 囊 2007 : 1461-1466 【c7】 安托万·罗尔特 , Saad-Khorchef票价 :
使用行为分析测试嵌入式系统鲁棒性的形式化方法。 SERA公司 2007 : 667-674 2005 【c6】 阿巴斯·塔赫尼 , 安托万卷轴 , 哈塞内·福查尔 :
在基于实时组件的系统上测试鲁棒性的实用方法。 AICCSA公司 2005 : 143 【c5】 哈塞内·福查尔 , 塞巴斯蒂安·格鲁森 , 卢多维克·皮埃尔 , 西里尔·拉巴特 , 安托万卷轴 :
测试定时系统的集成工具。 ISSADS公司 2005 : 153-166 【c4】 哈塞内·福查尔 , 安托万卷轴 , 阿巴斯·塔赫尼 :
组合时间系统的鲁棒性。 SOFSEM公司 2005 : 157-166 2004 【c3】 哈塞内·福查尔 , 西里尔·拉巴特 , 安托万卷轴 , 阿巴斯·塔赫尼 :
实时系统的实验测试生成。 IASSE公司 2004 : 284-289 2003 【c2】 安托万卷轴 , 哈塞内·福查尔 :
测试协议健壮性。 IICS公司 2003 : 201-215 【c1】 哈塞内·福查尔 , 安托万卷轴 :
嵌入式系统的简单测试技术。 奥波迪斯 2003 : 159-170
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)