5 papers
GAssert: A Fully Automated Tool to Improve Assertion Oracles
Valerio Terragni, Gunel Jahangirova, Paolo Tonella +1
This demo presents the implementation and usage details of GASSERT, the first tool to automatically improve assertion oracles. Assertion oracles are executable boolean expressions…
On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned
Matteo Brunetto, Giovanni Denaro, Leonardo Mariani +1
The level and quality of automation dramatically affects software testing activities, determines costs and effectiveness of the testing process, and largely impacts on the quality…
Predicting Failures in Multi-Tier Distributed Systems
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli +1
Many applications are implemented as multi-tier software systems, and are executed on distributed infrastructures, like cloud infrastructures, to benefit from the cost reduction th…
Localizing Faults in Cloud Systems
Leonardo Mariani, Cristina Monni, Mauro Pezzé +2
By leveraging large clusters of commodity hardware, the Cloud offers great opportunities to optimize the operative costs of software systems, but impacts significantly on the relia…
An Exploratory Study of Field Failures
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore +1
Field failures, that is, failures caused by faults that escape the testing phase leading to failures in the field, are unavoidable. Improving verification and validation activities…