Testing and Verification of Compilers (Dagstuhl Seminar 17502).
Junjie ChenAlastair F. DonaldsonAndreas ZellerHongyu ZhangPublished in: Dagstuhl Reports (2017)
Keyphrases
- formal verification
- programming language
- test generation
- hardware and software
- model checking
- symbolic execution
- test cases
- test set
- code generation
- general purpose
- database
- test data
- asynchronous circuits
- computer architecture
- formal methods
- software testing
- temporal logic
- relational databases
- decision trees
- search engine
- real time