Category:Software Verification
From GradTurkey
A recent trend in software verification is combining static and dynamic analysis into a single tool, with output of test cases that reveal fatal executions. Some papers on this topic are:
- DART: Directed Automated Random Testing
- Compositional Dynamic Test Generation
- EXE: Automatically Generating Inputs of Death
Articles in category "Software Verification"
There are 4 articles in this category.
