Preprint
Combining Genetic Programming and Model Checking to Generate Environment Assumptions
Abstract
Software verification may yield spurious failures when environment
assumptions are not accounted for. Environment assumptions are the expectations
Authors
Gaaloul K; Menghi C; Nejati S; Briand LC; Parache YI
Publication date
January 6, 2021
DOI
10.48550/arxiv.2101.01933
Preprint server
arXiv