1 code implementation • 4 Mar 2021 • Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè
This demo presents the implementation and usage details of GASSERT, the first tool to automatically improve assertion oracles.
Software Engineering
no code implementations • 30 Jan 2020 • Stefano Ruberto, Valerio Terragni, Jason H. Moore
The evolution in each run is guided by a new (dynamic) target based on the residual errors.