Lucas Serpa Silva
Lucas Serpa Silva
Swiss Big-Data Solutions
Verified email at quantica-capital.com - Homepage
Title
Cited by
Cited by
Year
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
2462010
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
Automated Debugging of Programs with Contracts
Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, B Meyer, A Zeller
General Terms
Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, MA Zeller
The system can't perform the operation now. Try again later.
Articles 1–7