Test Data Generation for Programs with Quantified First-Order Logic Specifications.
Christoph GladischPublished in: ICTSS (2010)
Keyphrases
- first order logic
- test data generation
- symbolic execution
- test cases
- control flow
- software testing
- expressive power
- simulated annealing algorithm
- search based testing
- specification language
- propositional logic
- inference rules
- theorem proving
- knowledge representation
- probabilistic reasoning
- inductive logic programming
- markov networks
- generation algorithm
- formal specification
- function symbols
- transitive closure
- horn clauses
- representation language
- theorem prover
- high level
- logical formulas
- markov logic
- probabilistic graphical models
- markov logic networks
- fitness function
- test data
- software development