Segui
Lucas Serpa Silva
Lucas Serpa Silva
Swiss Big-Data Solutions
Email verificata su sbds.ch - Home page
Titolo
Citata da
Citata da
Anno
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
4572010
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
82011
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–6