Reference : Abstracting Failure-Inducing Inputs
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/46097
Abstracting Failure-Inducing Inputs
English
Gopinath, Rahul mailto [CISPA Helmholtz Center for Information Security Saarbrücken, Germany]
Kampmann, Alexander mailto [CISPA Helmholtz Center for Information Security Saarbrücken, Germany]
Havrikov, Nikolas mailto [CISPA Helmholtz Center for Information Security Saarbrücken, Germany]
Soremekun, Ezekiel mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal >]
Zeller, Andreas mailto [CISPA Helmholtz Center for Information Security Saarbrücken, Germany]
18-Jul-2020
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
237-248
Yes
International
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
8 - 22 July 2020
[en] debugging ; failure-inducing inputs ; grammar
[en] A program fails. Under which circumstances does the failure occur? Starting with a single failure-inducing input ("The input ((4)) fails") and an input grammar, the DDSET algorithm uses systematic tests to automatically generalize the input to an abstract failure-inducing input that contains both (concrete) terminal symbols and (abstract) nonterminal symbols from the grammar - for instance, "((⟨expr⟩))", which represents any expression ⟨expr⟩ in double parentheses. Such an abstract failure-inducing input can be used (1) as a debugging diagnostic, characterizing the circumstances under which a failure occurs ("The error occurs whenever an expression is enclosed in double parentheses"); (2) as a producer of additional failure-inducing tests to help design and validate fixes and repair candidates ("The inputs ((1)), ((3 * 4)), and many more also fail"). In its evaluation on real-world bugs in JavaScript, Clojure, Lua, and UNIX command line utilities, DDSET’s abstract failure-inducing inputs provided to-the-point diagnostics, and precise producers for further failure inducing inputs.
http://hdl.handle.net/10993/46097

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
issta2020-language-of-failure(3).pdfAuthor postprint316.95 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.