Reference : A Guided Genetic Algorithm for Automated Crash Reproduction
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/30020
A Guided Genetic Algorithm for Automated Crash Reproduction
English
Soltani, Mozhan []
Panichella, Annibale mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
van Deursen, Arie [Delft University of Technology > EWI]
May-2017
Proceedings of the 39th International Conference on Software Engineering (ICSE 2017)
ACM
Yes
No
International
39th International Conference on Software Engineering (ICSE 2017)
from 20-05-2017 to 28-05-2017
Buenos Aires
Argentina
[en] Search-Based Software Testing ; Genetic Algorithms ; Automated Crash Reproduction
[en] To reduce the effort developers have to make for crash debugging, researchers have proposed several solutions for automatic failure reproduction. Recent advances proposed the use of symbolic execution, mutation analysis, and directed model checking as underling techniques for post-failure analysis of crash stack traces. However, existing approaches still cannot reproduce many real-world crashes due to such limitations as environment dependencies, path explosion, and time complexity. To address these challenges, we present EvoCrash, a post-failure approach which uses a novel Guided Genetic Algorithm (GGA) to cope with the large search space characterizing real-world software programs. Our empirical study on three open-source systems shows that EvoCrash can replicate 41 (82%) of real-world crashes, 34 (89%) of which are useful reproductions for debugging purposes, outperforming the state-of-the-art in crash replication.
Researchers ; Professionals
http://hdl.handle.net/10993/30020

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
ICSE2017.pdfAuthor preprint284.29 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.