Automating Targeted Property-Based Testing.

Andreas Löscher Konstantinos Sagonas

Published in: ICST (2018)

Keyphrases

software testing
white box testing
data sets
search engine
expert systems
artificial neural networks
evolutionary algorithm
test cases
desirable properties