关注
Lucas Serpa Silva
Lucas Serpa Silva
Swiss Big-Data Solutions
在 sbds.ch 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Automated fixing of programs with contracts
Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, B Meyer, A Zeller
Proceedings of the 19th international symposium on Software testing and …, 2010
3292010
Evolutionary testing of object-oriented software
LS Silva, M van Someren
Proceedings of the 2010 ACM Symposium on Applied Computing, 1126-1130, 2010
112010
Evotec: Evolving the best testing strategy for contract-equipped programs
LS Silva, Y Wei, B Meyer, M Oriol
2011 18th Asia-Pacific Software Engineering Conference, 290-297, 2011
72011
Automated object-oriented software testing using genetic algorithms and static-analysis
LS Silva
Master’s thesis, Swiss Federal Institute of Technology Zurich, 2010 …, 2010
22010
Evolutionary Object-Oriented Testing
LS Silva
2009
General Terms
SA Weil, AW Leung, SA Brandt, C Maltzahn
系统目前无法执行此操作，请稍后再试。
文章 1–6