Correlating automatic static analysis and mutation testing: towards incremental strategies.
Cláudio Antônio de AraújoMárcio Eduardo DelamaroJosé Carlos MaldonadoAuri M. R. VincenziPublished in: J. Softw. Eng. Res. Dev. (2016)
Keyphrases
- static analysis
- mutation testing
- test generation
- test suite
- dynamic analysis
- test sequences
- symbolic execution
- source code
- java card
- abstract interpretation
- test cases
- malicious code
- regular expressions
- neural network
- semi automatic
- database applications
- regression testing
- artificial intelligence
- image sequences
- metadata
- knowledge base