Towards Constraint Logic Programming over Strings for Test Data Generation.
Sebastian KringsJoshua SchmidtPatrick SkowronekJannik DunkelauDierk EhmkePublished in: CoRR (2019)
Keyphrases
- constraint logic programming
- test data generation
- test cases
- simulated annealing algorithm
- search based testing
- constraint solving
- symbolic execution
- answer set programming
- logic programming
- constraint programming
- software testing
- generation algorithm
- temporal reasoning
- constraint propagation
- global constraints
- test generation
- artificial intelligence
- programming language
- lower bound
- machine learning
- data sets
- test data
- test set
- linear programming
- search algorithm
- neural network