Just fuzz it: solving floating-point constraints using coverage-guided fuzzing
Conference proceeding (August 2019)
The most recent citing publications are shown below. View all 8 publications that cite this research output on Dimensions.
Automatic Business Process Test Case Selection: Coverage Metrics, Algorithms, and Performance Optimizations
Article in International Journal of Cooperative Information Systems (December 2016)
Solving complex path conditions through heuristic search on induced polytopes
Conference proceeding (November 2014)