Towards Constraint Logic Programming over Strings for Test Data Generation.
Sebastian KringsJoshua SchmidtPatrick SkowronekJannik DunkelauDierk EhmkePublished in: DECLARE (2019)
Keyphrases
- constraint logic programming
- test data generation
- test cases
- search based testing
- simulated annealing algorithm
- constraint solving
- symbolic execution
- answer set programming
- logic programming
- software testing
- constraint programming
- generation algorithm
- constraint propagation
- temporal reasoning
- global constraints
- fitness function
- constraint satisfaction problems
- logic programs
- genetic algorithm
- simulated annealing
- constraint satisfaction
- databases
- quality assurance
- software development
- programming language
- video sequences
- machine learning