Send email Copy Email Address
2019-11-11

Systematically Covering Input Structure

Summary

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.

Conference / Medium

ASE 2019

Date published

2019-11-11

Date last modified

2020-03-10 11:36:21