Systematically Covering Input Structure

Havrikov, Nikolas and Zeller, Andreas
(2019) Systematically Covering Input Structure.
In: ASE 2019.
Conference: ASE Automated Software Engineering Conference

[img]
Preview
 Text
ase19-paper381-published.pdf
Download (232kB) | Preview

Abstract

Grammar-based testing uses a given grammar to produce syntactically valid inputs. To cover program features, it is necessary to also cover input features - say, all URL variants for a URL parser. Our k-path algorithm for grammar production systematically covers syntactic elements as well as their combinations. In our evaluation, we show that this results in a significantly higher code coverage than state of the art.

Item Type: Conference or Workshop Item (A Paper) (Paper)
Divisions: Andreas Zeller (Software Engineering, ST)
Conference: ASE Automated Software Engineering Conference
Depositing User: Nikolas Havrikov
Date Deposited: 27 Feb 2020 13:08
Last Modified: 10 Mar 2020 11:36
Primary Research Area: NRA4: Secure Mobile and Autonomous Systems
URI: https://publications.cispa.saarland/id/eprint/2971

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.