You are here



Like a telegraphy system, a phone system or a computer network, software can be viewed as a means of information transmission. Different kinds of programs, e.g.  interactive, distributed, parallel, batch programs, can have more or less complex models using information theory. Slightly surprisingly, information theory models seem to be able to tell us things about the software testing process. In the context of input/output semantics, test suite adequacy and diversity, test generation efficiency, oracles, and coincidental correctness have all been modelled.


Marcio Barros from Universidade Federal do Estado do Rio de Janeiro, Brazil, co-supervisor of our visiting PhD student Mauricio Pitangueira, gives a talk on the Next Release Problem.


SSBSE 2015, the seventh edition of the annual symposium dedicated to Search Based Software Engineering (SBSE), will be held in Bergamo, Italy, between September 5-7, 2015. Paolo Tonella will be General Chair of the event, which is organized by FBK. Search-based Software Engineering studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance. More information is available at:


Angelo Susi gives the tutorial "T09 - Business and Software Ecosystems: How to model, analyze, and survive!" at the Requirements Engineering (RE) conference in Ottawa, Canada:


Kickoff of the H2020 European project SUPERSEDE.


Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency

Mariano Ceccato, Alessandro MarchettoLeonardo MarianiCu D. Nguyen, Paolo Tonella



The paper "Using Multi-Locators to Increase the Robustness of Web Test Cases" by Maurizio Leotta, Andrea Stocco, Filippo Ricca, Paolo Tonella has been accepted for presentation at 8th IEEE International Conference on Software Testing, Verification and Validation, in Graz, Austria, on April 13-17, 2015.


Paper "Reformulating Branch Coverage as a Many-Objective Optimization Problem", by Annibale Panichella, Fitsum Meshesha Kifetew and Paolo Tonella, has been accepted for presentation at the 8th IEEE International Conference on Software Testing, Verification and Validation (ICST), to be held in Graz, Austria, on April 13-17, 2015.


The paper: Surafel Lemma Abebe, Paolo Tonella, "Extraction of Domain Concepts from the Source Code" has been accepted for publication by Science of Computer Programming.


RISCOSS wins the best 1-minute madness and the best project summary awards at the EU CloudWatchHUB Concertation meeting in Brussels