Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442).
Cristian CadarVijay GaneshRaimondas SasnauskasKoushik SenPublished in: Dagstuhl Reports (2014)
Keyphrases
- constraint solving
- symbolic execution
- test generation
- static analysis
- constraint propagation
- test data generation
- constraint logic programming
- source code
- constraint satisfaction problems
- constraint solver
- specification language
- constraint satisfaction
- data flow
- constraint programming
- error rate
- open source
- programming language
- case study
- databases
- test cases
- general purpose
- reinforcement learning