Abstract Testing: Connecting Source Code Verification with Requirements.
Florian MerzCarsten SinzHendrik PostThomas GorgesThomas KropfPublished in: QUATIC (2010)
Keyphrases
- source code
- symbolic execution
- static analysis
- open source
- test generation
- software systems
- legacy systems
- open source software
- high level
- white box
- software artifacts
- software projects
- software evolution
- formal verification
- test cases
- software maintenance
- software testing
- plagiarism detection
- execution traces
- open source projects
- code reuse
- mining software repositories
- written in natural language
- linux kernel
- impact analysis
- test data generation
- text files
- source files
- software metrics
- software development
- automated tools
- free software
- java card