Scalable Software Testing and Verification Through Heuristic Search and Optimization: Experiences and Lessons Learned

05/13/2016 - 10:00
05/13/2016 - 11:00
Lionel Briand, University of Luxembourg
Colloquium DIRO Université de Montréal, Pavillon Claire-McNicoll, salle Z-317

 Testing and verification problems in the software industry come in many different forms, due to significant differences across domains and contexts. But one common challenge is scalability, the capacity to test and verify increasingly large, complex systems. Another concern relates to practicality. Can the inputs required by a given technique be realistically provided by engineers?

This talk reports on 10 years of research tackling verification and testing as a search and optimization problem, often but not always relying on abstractions and models of the system under test. Our observation is that most of the problems we faced could be re-expressed so as to make use of appropriate search and optimization techniques to automate a specific testing or verification strategy.

Last edited by on Mon, 05/09/2016 - 15:45