Reference : ZoomIn: Discovering Failures by Detecting Wrong Assertions

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/19573

Title :	ZoomIn: Discovering Failures by Detecting Wrong Assertions
Language :	English
Author, co-author :	Pastore, Fabrizio [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Mariani, Leonardo [Universita degli Studi di Milano - Bicocca > Department of Informatics Systems and COmmunication]
Publication date :	May-2015
Main document title :	Proceedings of the 37th International Conference on Software Engineering (ICSE)
Peer reviewed :	Yes
Audience :	International
Event name :	37th International Conference on Software Engineering
Event date :	from 16-05-2015 to 24-05-2015
Keywords :	[en] Test Oracles ; Software Testing ; Test Generation
Abstract :	[en] Automatic testing, although useful, is still quite ineffective against faults that do not cause crashes or uncaught exceptions. In the majority of the cases automatic tests do not include oracles, and only in some cases they incorporate assertions that encode the observed behavior instead of the intended behavior, that is if the application under test produces a wrong result, the synthesized assertions will encode wrong expectations that match the actual behavior of the application. In this paper we present ZoomIn, a technique that extends the fault-revealing capability of test case generation techniques from crash-only faults to faults that require non-trivial oracles to be detected. ZoomIn exploits the knowledge encoded in the manual tests written by developers and the similarity between executions to automatically determine an extremely small set of suspicious assertions that are likely wrong and thus worth manual inspection. Early empirical results show that ZoomIn has been able to detect 50% of the analyzed non-crashing faults in the Apache Commons Math library requiring the inspection of less than 1.5% of the assertions automatically generated by EvoSuite.
Research centres :	Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Target :	Researchers ; Students
Permalink :	http://hdl.handle.net/10993/19573

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Limited access main.pdf Author preprint 504.3 kB Request a copy

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map