艾琳·马丁斯
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2021 [公元67年] 里贾娜·莫莱斯 , 塔尼亚·巴索 , 艾琳·马丁斯 :
根据ECSS标准对空间系统的V型模型进行适配。 拉丁美洲发展中心 2021 : 1-4 2020 [公元12年] 小埃利亚斯·P·杜阿尔特。 , 雷蒙多·J·A·麦切多 , 艾琳·马丁斯 , 塞尔吉奥·拉兹鲍姆 :
拉丁美洲可靠计算研究之旅。 Commun公司。 ACM公司 63 ( 11 ) : 96-101 ( 2020 ) 【c66】 卢卡斯·利尔 , 莱昂纳多·蒙泰奇 , 安德烈亚·塞卡雷利 , 艾琳·马丁斯 :
使用元模型改进基于模型的服务编排测试。 公共工程设计委员会 2020 : 130-139
2010 – 2019
2019 [公元65年] 卢卡斯·利尔 , 安德烈亚·塞卡雷利 , 艾琳·马丁斯 :
基于自适应模型的服务编排在线测试的SAMBA方法。 COMPSAC(1)公司 2019 : 495-500 [公元64年] 卢卡斯·利尔 , 莱昂纳多·蒙特奇 , 安德烈亚·塞卡雷利 , 艾琳·马丁斯 :
利用MDE进行服务编排的平台无关测试。 EDCC公司 2019 : 149-152 [公元63年] 华莱士·F·卡多佐 , 艾琳·马丁斯 , 努诺·拉兰基罗 , 努诺·安图内斯 :
OpenStack组件基于状态和接口的健壮性测试的结合。 拉丁美洲发展中心 2019 : 1-10 2018 [公元11年] 朱莉安娜·加尔瓦尼·格雷吉 , 艾琳·马丁斯 , 阿里亚德内·玛丽亚·布里托·里佐尼·卡瓦略 , 安娜·玛丽亚·安布罗西奥 , 埃米利亚·维拉尼 :
从自然语言标准文档到状态机:优点和缺点。 J.航空公司。 信息系统。 15 ( 5 ) : 271-281 ( 2018 ) [公元62年] 卡洛斯·巴蒂斯塔 , 艾琳·马丁斯 , 玛丽亚·德·法蒂玛·马蒂埃洛·弗兰西斯科 :
在纳米卫星子系统集成测试中使用故障模拟器机制。 LATS公司 2018 : 1-6 [第61条] 阿里斯蒂德·德·阿尔梅达·内托 , 艾琳·马丁斯 :
基于模型测试的自适应多目标启发式搜索。 QUATIC公司 2018 : 193-200 [公元60年] 华莱士·F·卡多佐 , 艾琳·马丁斯 :
使用基于搜索和模型的框架改进云平台中的健壮性测试。 SAST公司 2018 : 67-76 2017 [公元59年] 莱迪·埃拉佐 , 艾琳·马丁斯 , 朱莉安娜·加尔瓦尼·格雷吉 :
MARITACA:从文本用例描述到行为模型。 DSN研讨会 2017 : 83-90 2016 [公元10年] 丹尼尔·维基亚托 , 马可·维埃拉 , 艾琳·马丁斯 :
安卓安全配置的危险。 电脑类 49 ( 6 ) : 15-21 ( 2016 ) [公元58年] 泰国乌萨米 , 艾琳·马丁斯 , 莱昂纳多·蒙特奇 :
D-MBTDD:一种在演化系统中重用测试工件的方法。 DSN研讨会 2016 : 39-46 [公元57年] 丹尼尔·维基亚托 , 马可·维埃拉 , 艾琳·马丁斯 :
Android设备用户定义安全配置的风险评估。 ISSRE公司 2016 : 467-477 [公元56年] 莱迪·埃拉佐 , 艾琳·马丁斯 , 朱莉安娜·加尔瓦尼·格雷吉 :
建模可靠的产品系列:从用例到状态机模型。 拉丁美洲发展中心 2016 : 131-134 [公元55年] 丹尼尔·维基亚托 , 艾琳·马丁斯 :
对移动设备的用户定义安全配置进行基准测试。 拉丁美洲发展中心 2016 : 172-175 2015 [公元54年] 朱莉安娜·加尔瓦尼·格雷吉 , 艾琳·马丁斯 , 阿里亚德内·玛丽亚·布里托·里佐尼·卡瓦略 :
从自然语言标准文档半自动生成扩展有限状态机。 DSN研讨会 2015 : 45-50 [公元53年] 丹尼尔·维基亚托 , 艾琳·马丁斯 :
经验报告:Android设备用户定义安全配置的现场分析。 ISSRE公司 2015 : 314-323 [第52条] 丹尼尔·维基亚托 , 马可·维埃拉 , 艾琳·马丁斯 :
安卓设备的安全配置评估。 囊 2015 : 2299-2304 [第51条] 马塞洛·因弗特·帕尔玛萨拉斯 , 保罗·利西奥·德盖斯 , 艾琳·马丁斯 :
Web服务健壮性评估的安全测试方法——案例:XML注入。 服务 2015 : 303-310 2013 [公元50年] Gizelle Sandrini柠檬 , 艾琳·马丁斯 :
用于分析稳健性测试结果的黄金路线:处理诊断问题。 DSN研讨会 2013 : 1-8 [公元49年] 阿琳·克里斯汀·法德尔 , 里贾娜·卢西亚·德·奥利维拉·莫莱斯 , 保罗·马丁斯 , 艾琳·马丁斯 :
自动化GPON网络的软件验证。 ISSRE(补充诉讼) 2013 : 59 [公元48年] M.I.P.萨拉斯 , 艾琳·马丁斯 :
Web服务和WS-Security中XSS漏洞检测的安全测试方法。 CLEI精选论文 2013 : 133-154 2012 [j9] 玛丽亚·德·法蒂玛·马蒂埃洛·弗兰西斯科 , 艾琳·马丁斯 , 安娜·R·卡瓦利 , 埃德加·托西罗·亚诺 :
InRob:一种测试实时嵌入式软件互操作性和健壮性的方法。 J.系统。 柔和。 85 ( 1 ) : 3-15 ( 2012 ) [公元47年] Gizelle Sandrini柠檬 , 艾琳·马丁斯 :
稳健测试结果分析的规范指导黄金运行。 塞尔维亚 2012 : 157-166 2011 [j8] 克劳迪娅·鲍泽·梅德罗斯 , 安德烈·桑坦奇 , 埃德蒙多·马德拉 , 艾琳·马丁斯 , Geovane C.Magalháes公司 , 玛丽亚·塞西莉亚·卡拉尼·巴拉诺斯卡斯 , Neucimar J.Leite公司 , 里卡多·达席尔瓦·托雷斯 :
LIS的数据驱动研究:UNICAMP的信息系统实验室。 J.信息数据管理。 2 ( 2 ) : 93-108 ( 2011 ) [c46] 泰泽亚诺 , 艾琳·马丁斯 , 法比亚诺·路易斯·德索萨 :
获取可变长度测试用例的多目标进化算法。 GECCO公司 2011 : 1875-1882 [公元45年] 泰泽亚诺 , 艾琳·马丁斯 , 法比亚诺·路易斯·德索萨 :
MOST:EFSM的基于多目标搜索的测试。 ICST研讨会 2011 : 164-173 [公元44年] 杰弗森·费雷拉 , 艾琳·马丁斯 , 塞西利亚·M·F·鲁比拉 , 帕特里克·恩里克·达席尔瓦·布里托 :
基于可靠组件的软件系统开发中异常处理的验证。 拉丁美洲发展中心 2011 : 136-145 [公元43年] 安德森·奈斯·佩瓦·莫利斯(Anderson Nunes Paiva Morais) , 安娜·R·卡瓦利 , 艾琳·马丁斯 :
用于安全验证的基于模型的攻击注入方法。 SIN公司 2011 : 103-110 2010 [公元42年] 马科斯·萨伦科·吉马雷斯 , 玛丽亚·塞西莉亚·卡拉尼·巴拉诺斯卡斯 , 艾琳·马丁斯 :
关键系统中的交互设计和冗余策略。 ICISO公司 2010 : 165-172 [公元41年] 泰泽亚诺 , 艾琳·马丁斯 , 法比亚诺·路易斯·德索萨 :
使用多目标方法从可执行模型生成可行的测试路径。 ICST研讨会 2010 : 236-239 [公元40年] 安娜·R·卡瓦利 , 田敦曹 , 维萨姆·马卢利 , 艾琳·马丁斯 , 安德烈·萨多维奇 , 塞巴斯蒂安·萨尔瓦 , 法提哈·扎伊迪 :
WebMov:Web服务组合建模和测试的专用框架。 ICWS公司 2010 : 377-384 [公元39年] 费萨尔·贝萨亚 , 安娜·R·卡瓦利 , 威利安·马加 , 艾琳·马丁斯 , 安德烈·威利克·瓦伦蒂 :
用于测试Web服务组合的故障注入工具。 TAIC零件 2010 : 137-146
2000 – 2009
2009 [j7] 帕特里克·H·S·布里托 , 罗杰里奥·德莱莫斯 , 塞西利亚·M·F·鲁比拉 , 艾琳·马丁斯 :
使用异常处理构建容错:验证和验证。 J.计算。 科学。 Technol公司。 24 ( 2 ) : 212-237 ( 2009 ) [公元38年] 安德森·奈斯·佩瓦·莫利斯(Anderson Nunes Paiva Morais) , 艾琳·马丁斯 , 安娜·R·卡瓦利 , 威利·希梅内兹 :
使用攻击树进行安全协议测试。 CSE(2) 2009 : 690-697 [公元37年] 泰泽亚诺 , 艾琳·马丁斯 , 法比亚诺·路易斯·德索萨 :
稳健测试的进化方法。 国际JCCI 2009 : 277-280 [公元36年] 费萨尔·贝萨亚 , 安娜·R·卡瓦利 , 艾琳·马丁斯 :
一种规范和验证故障注入过程的形式化方法。 ICIS公司 2009 : 883-890 [公元35年] 里贾娜·卢西亚·德·奥利维拉·莫莱斯 , 布鲁诺·特谢拉·德·阿布鲁(Bruno Teixeira de Abreu) , 艾琳·马丁斯 :
将基于Web的应用程序故障映射到故障。 拉丁美洲发展中心 2009 : 89-94 [公元34年] 帕特里克·H·S·布里托 , 罗杰里奥·德莱莫斯 , 艾琳·马丁斯 , 里贾娜·卢西亚·德·奥利维拉·莫莱斯 , 塞西利亚·M·F·鲁比拉 :
容错软件的基于体系结构的验证。 拉丁美洲发展中心 2009 : 103-110 2008 [j6] 卡米拉·里贝罗·罗查 , 艾琳·马丁斯 :
一种用于组件测试的基于模型的测试线束生成方法。 J.布拉兹。 计算。 Soc公司。 14 ( 1 ) : 7-23 ( 2008 ) [公元33年] 玛丽亚·何塞·埃斯卡洛娜·库亚雷斯马 , 阿图罗·亨利·托雷斯(Arturo Henry Torres-Zenteno) , 哈维尔·古铁雷斯 , 艾琳·马丁斯 , 里卡多·达席尔瓦·托雷斯 , 玛丽亚·塞西莉亚·卡拉尼·巴拉诺斯卡斯 :
网络地理信息系统的开发过程——案例研究。 冰岛(5) 2008 : 112-117 [公元32年] 马科斯·萨伦科·吉马雷斯 , 玛丽亚·塞西莉亚·卡拉尼·巴拉诺斯卡斯 , 艾琳·马丁斯 :
关键系统中基于通信的建模和检查。 冰岛(5) 2008 : 215-220 [公元31年] 安娜·R·卡瓦利 , 艾琳·马丁斯 , 安德森·奈斯·佩瓦·莫利斯(Anderson Nunes Paiva Morais) :
使用不变属性来评估基于故障注入的协议实现鲁棒性测试的结果。 ICST研讨会 2008 : 21-30 [公元30年] 埃里卡·R.C.de Almeida , 布鲁诺·T·德·阿布鲁 , 里贾娜·莫莱斯 , 艾琳·马丁斯 :
Avaliaço de um Método para Estimativa de Esforço para Testes baseado em Casos de Uso。 SBQS公司 2008 : 331-338 2007 [公元29年] 里贾娜·卢西亚·德·奥利维拉·莫莱斯 , 乔安·杜兰斯 , 里卡多·巴博萨 , 艾琳·马丁斯 , 亨利克·马德拉 :
使用软件故障注入进行实验风险评估和比较。 直接序列号 2007 : 512-521 [公元28年] 布鲁诺·特谢拉·德·阿布鲁(Bruno Teixeira de Abreu) , 艾琳·马丁斯 , 法比亚诺·路易斯·德索萨 :
广义极值优化:测试数据生成的一个有吸引力的替代方案。 GECCO公司 2007 : 1138 [公元27年] 马科斯·萨伦科·吉马良斯 , 玛丽亚·塞西莉亚·卡拉尼·巴拉诺斯卡斯 , 艾琳·马丁斯 :
关键系统中的交互:征服与挑战。 冰岛(5) 2007 : 170-175 [公元26年] 帕特里克·恩里克·达·布里托 , 罗杰里奥·德·莱莫斯 , 艾琳·马丁斯 , 塞西利亚·M·F·鲁比拉 :
以体系结构为中心的容错和异常处理。 拉丁美洲发展中心 2007 : 75-94 [公元25年] 安娜·玛丽亚·安布罗西奥 , 玛丽亚·德·法蒂玛·马蒂埃洛·弗兰西斯科 , 小瓦尔迪维奥·亚历山大·德·圣地亚哥。 , 温德尔·佩雷拉·达席尔瓦 , 艾琳·马丁斯 :
使用基于状态的模型设计故障注入实验来测试空间软件。 拉丁美洲发展中心 2007 : 170-178 [公元24年] 里贾娜·卢西亚·德·奥利维拉·莫莱斯 , 乔安·杜兰斯 , 艾琳·马丁斯 , 亨利克·马德拉 :
基于实验风险评估的基于组件的软件认证。 拉丁美洲发展中心 2007 : 179-197 【c23】 布鲁诺·T·德·阿布鲁 , 艾琳·马丁斯 , 法比亚诺·路易斯·德索萨 :
广义极值优化:一种生成测试数据的竞争算法。 SBES公司 2007 : 342-358 2006 [j5] 安娜·玛丽亚·安布罗西奥 , 艾琳·马丁斯 , Nandamudi L.Vijaykumar公司 , 索隆·V·卡瓦略 :
空间应用软件服务的一致性测试过程。 J.航空公司。 计算。 信息通信。 三 ( 4 ) : 146-158 ( 2006 ) [公元22年] 阿图罗·亨利·托雷斯·曾特诺 , 艾琳·马丁斯 , 里卡多·达席尔瓦·托雷斯 , 玛丽亚·何塞·埃斯卡洛娜·库亚雷斯马 :
Test de Desempenho em Aplicaçoes SIG网站。 CIbSE公司 2006 : 449-462 【c21】 小瓦尔迪维奥·亚历山大·德·圣地亚哥。 , 安娜·西尔维娅·马丁斯·多·阿马拉 , Nandamudi L.Vijaykumar公司 , 玛丽亚·德·法蒂玛·马蒂埃洛·弗兰西斯科 , 艾琳·马丁斯 , Odnei Cuesta Lopes公司 :
使用状态图自动生成测试用例的实用方法。 COMPSAC(2)公司 2006 : 183-188 [公元20年] 里贾娜·卢西亚·德·奥利维拉·莫莱斯 , 里卡多·巴博萨 , 乔安·杜兰斯 , 纳利尔·门德斯 , 艾琳·马丁斯 , 亨利克·马德拉 :
在组件接口和组件代码内部注入故障:它们是等效的吗? EDCC公司 2006 : 53-64 2005 【j4】 罗杰里奥·德莱莫斯 , 艾琳·马丁斯 :
可靠计算。 J.布拉兹。 计算。 Soc公司。 10 ( 三 ) : 3-4 ( 2005 ) [第19条] 里贾娜·卢西亚·德·奥利维拉·莫拉斯 , 艾琳·马丁斯 , 纳列尔·文森特·门德斯 :
基于依赖分析的故障注入方法。 COMPSAC(2)公司 2005 : 181-188 [第18条] 艾琳·马丁斯 , 凡妮莎·金德丽·维埃拉 :
可测试类的回归测试选择。 EDCC公司 2005 : 453-470 [第17条] 加布里埃拉·雅克·席尔瓦 , 罗伯托·荣·德雷布斯 , 泰西·席尔瓦·韦伯 , 艾琳·马丁斯 :
注入通信故障以实验验证Java分布式应用程序。 ISSADS公司 2005 : 235-245 [第16条] 里贾娜·卢西亚·德·奥利维拉·莫莱斯 , 艾琳·马丁斯 , 伊莱恩·卡塔帕尼·波莱蒂 , 纳列尔·文森特·门德斯 :
使用分层采样进行故障注入。 拉丁美洲发展中心 2005 : 9-19 [第15条] 帕特里克·恩里克·达·布里托 , 卡米拉·里贝罗·罗查 , 费尔南多·卡斯托·菲略 , 艾琳·马丁斯 , 塞西利亚·M·F·鲁比拉 :
基于组件的软件开发中的异常建模和测试方法。 拉丁美洲发展中心 2005 : 61-79 [第14条] 布鲁诺·T·德·阿布鲁 , 艾琳·马丁斯 , 法比亚诺·路易斯·德索萨 :
使用新的随机算法为路径测试自动生成测试数据。 SBES公司 2005 : 247-262 2004 [第13条] 里贾娜·卢西亚·德·奥利维拉·莫莱斯 , 艾琳·马丁斯 :
基于体系结构依赖的故障注入方法。 WADS公司 2004 : 300-321 [第12条] 卡米拉·里贝罗·罗查 , 艾琳·马丁斯 :
无需源代码即可提高组件可测试性的策略。 SOQUA/TECOS公司 2004 : 47-62 2003 [第11条] 里贾娜·卢西亚·德·奥利维拉·莫莱斯 , 艾琳·马丁斯 :
Jaca-一种软件故障注入工具。 直接序列号 2003 : 667 [第10条] 里贾娜·卢西亚·德·奥利维拉·莫莱斯 , 艾琳·马丁斯 :
使用高级软件故障注入工具验证ODBMS组件的策略。 拉丁美洲发展中心 2003 : 56-68 【c9】 艾琳·马丁斯 , 玛丽亚·德·法蒂玛·马蒂埃洛·弗兰西斯科 :
分布式系统的故障注入和一致性测试工具。 拉丁美洲发展中心 2003 : 282-302 2002 【c8】 艾琳·马丁斯 , 塞西利亚·M·F·鲁比拉 , 纳尔逊·勒姆 :
Jaca:基于模式的反射式故障注入工具。 直接序列号 2002 : 483-482 【c7】 艾琳·马丁斯 , 玛丽亚·德·法蒂玛·马蒂埃洛·弗兰西斯科 , 安德森·奈斯·佩瓦·莫利斯(Anderson Nunes Paiva Morais) :
Sofast na validaço de uma aplicaçao espacial的测试用例。 JIISIC公司 2002 : 179-188 2001 【c6】 艾琳·马丁斯 , 克里斯蒂娜·玛丽亚·丰田 , Rosileny Lie Yanagawa公司 :
构建可自我测试的软件组件。 直接序列号 2001 : 151-160 【c5】 卢西亚诺·哈亚托·乌库马 , 艾琳·马丁斯 :
开发自测试软件组件。 LATW公司 2001 : 52-55 2000 【c4】 艾琳·马丁斯 , 阿曼达·C·A·罗莎 :
一种基于反射编程的故障注入方法。 直接序列号 2000 : 407-416 【c3】 艾琳·马丁斯 , 塞尔玛·B·萨比昂 , 安娜·玛丽亚·安布罗西奥 :
ConData:通信系统基于规范的测试用例自动生成工具。 HICSS公司 2000 : 8012-
1990 – 1999
1999 [j3] 艾琳·马丁斯 , 塞尔玛·B·萨比昂 , 安娜·玛丽亚·安布罗西奥 :
ConData:通信系统基于规范的测试用例自动生成工具。 柔和。 资格。 J。 8 ( 4 ) : 303-320 ( 1999 ) 1995 [注2] 大卫·鲍威尔 , 艾琳·马丁斯 , 让·阿拉特 , 伊夫·克鲁泽 :
容错覆盖评估的估计器。 IEEE传输。 计算机 44 ( 2 ) : 261-274 ( 1995 ) 【c2】 艾琳·马丁斯 :
意大利法尔哈斯公学协会(Integrando injeço de falhas e testes formais na validaçao da toleráncia a falhas。 SBES公司 1995 : 223-239 1993 【c1】 大卫·鲍威尔 , 艾琳·马丁斯 , 让·阿拉特 , 伊夫·克鲁泽 :
容错覆盖评估的估计器。 FTCS公司 1993 : 228-237 1990 [j1] 让·阿拉特 , 马丁娜·阿奎拉 , 路易斯·阿马特 , 伊夫·克鲁泽 , Jean-Charles Fabre公司 , Jean-Claude Laprie女士 , 艾琳·马丁斯 , 大卫·鲍威尔 :
可靠性验证的故障注入:一种方法和一些应用。 IEEE传输。 软件工程。 16 ( 2 ) : 166-182 ( 1990 )
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)