Verified symbolic execution with Kripke specification monads (and no meta-programming).
Steven KeuchelSander HuyghebaertGeorgy LukyanovDominique DevriesePublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- symbolic execution
- specification language
- programming language
- formal specification
- static analysis
- model checking
- test data generation
- description language
- temporal logic
- test generation
- modal logic
- object oriented
- source code
- reactive systems
- high level
- genetic algorithm
- software engineering
- search algorithm
- genetic programming
- relational databases
- decision trees
- web services
- data sets