フォロー
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