Although considerable effort has been invested in developing methods for testing and failure detection, synthesis of programs from abstract models and verification of programs (and models), techniques for locating the root cause of observed program failures are still relatively immature. Therefore, the utility for general testing and debugging techniques remain limited to specific programs, execution environments, and problem contexts. Furthermore, no plug&play toolset exists providing state-of-the-art techniques to help developers with testing and debugging. In this talk, we will discuss current state-of-the-art techniques for testing and debugging and how the combination of all these techniques helps to gain a better understanding of the software application. The techniques discussed in the talk are available within a plugin for the Eclipse IDE, coined GZoltar/Crowbar.

face  Speaker: Rui Maranhão  

Biografia: DEI - Instituto Superior Técnico, Universidade de Lisboa