CISPA
Browse
- No file added yet -

Systematically Covering Input Structure

Download (227.46 kB)
conference contribution
posted on 2023-11-29, 18:11 authored by Nikolas Havrikov, Andreas ZellerAndreas Zeller
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.

History

Preferred Citation

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

Primary Research Area

  • Secure Connected and Mobile Systems

Name of Conference

Automated Software Engineering Conference (ASE)

Legacy Posted Date

2020-02-27

Open Access Type

  • Unknown

BibTeX

@inproceedings{cispa_all_2971, title = "Systematically Covering Input Structure", author = "Havrikov, Nikolas and Zeller, Andreas", booktitle="{Automated Software Engineering Conference (ASE)}", year="2019", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC