Mauro Pezzè, SIT Chair of Software Testing and Analysis, together with colleagues Valerio Terragni, Gunnel Jahangirova and Paolo Tonella recently published, “GAssert: A Fully Automated Tool to Improve Assertion Oracles” in the proceedings of the 43rd International Conference on Software Engineering - the most prestigious academic event in software engineering since 1975. They will present the demo this Friday, May 28th, showcasing the implementation and usage details of GASSERT - the first tool to automatically improve assertion oracles. 

“We highlight three promising future research directions: (i) leverage the feedback of OASIS not only after GASSERT has produced the final assertion, but also during the evolution, (ii) increase the expressiveness of the assertions (e.g., with universal quantifiers), and (iii) make the improved assertions easier to read and understand for humans.”
- Abstract excerpt, ‘GAssert: A Fully Automated Tool to Improve Assertion Oracles’

To tune into the demo and explore the full conference program, click here.

The full paper can be accessed and downloaded here.