GAssert: A Fully Automated Tool to Improve Assertion Oracles

This demo presents the implementation and usage details of GASSERT, the first tool to automatically improve assertion oracles. Assertion oracles are executable boolean expressions placed inside the program that should pass (return true) for all correct executions and fail (return false) for all inco...

Celý popis

Podrobná bibliografia

Vydané v:	2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) s. 85 - 88
Hlavní autori:	Terragni, Valerio, Jahangirova, Gunel, Tonella, Paolo, Pezze, Mauro
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.05.2021
Predmet:	automated test generation evolutionary algorithm genetic programming Java mutation analysis oracle improvement program assertions Software algorithms Software engineering Software quality Space exploration the oracle problem
ISBN:	1665412194, 9781665412193
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!