埃迪·贾弗尔
人员信息
优化列表
![笔记](https://dblp2.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2016 [注2] 朱利安·博泰拉 , Jean-Philippe Delahaye女士 , 埃迪·贾弗尔 , 布鲁诺传奇 , 法比安·佩鲁克斯 :
通过基于模型的测试实现SCA一致性测试。 J.信号处理。 系统。 83 ( 1 ) : 113-128 ( 2016 ) 2014 【c5】 吉尔·伯纳乌 , 埃迪·贾弗尔 , 布鲁诺传奇 , 法比安·佩鲁克斯 :
全球平台合规性测试MBT:经验报告和经验教训。 ISSRE研讨会 2014 : 66-70
2000 – 2009
2007 【c4】 皮尔雷·阿莱·马森 , 雅克·朱利安德 , Jean-Chritophe普莱斯 , 埃迪·贾弗尔 , 乔治·德博伊斯 :
为一类安全属性自动生成基于模型的测试。 A-MOST公司 2007 : 12-22 【c3】 埃迪·贾弗尔 :
使用B机器对智能卡软件进行基于模型的测试。 B类 2007 : 2 【c2】 埃迪·贾弗尔 , 布鲁诺传奇 :
LEIRIOS测试生成器:从B模型自动生成测试。 B类 2007 : 277-280 2005 [j1] 织物花束 , 埃迪·贾弗尔 , 布鲁诺传奇 , 法比安·佩鲁克斯 , 马克·尤廷 :
自动测试生成中的需求跟踪:应用于智能卡软件验证。 ACM SIGSOFT软件。 工程注释 30 ( 4 ) : 1-7 ( 2005 ) 【c1】 Fabrice花束 , 埃迪·贾弗尔 , 布鲁诺传奇 , 法比安·佩鲁克斯 , 标记Utting :
自动测试生成中的需求跟踪:应用于智能卡软件验证。 A-MOST公司 2005
![](https://dblp2.uni-trier.de/img/cog.dark.24x24.png)