The YogiProject: Software Property Checking via Static Analysis and Testing.
Aditya V. NoriSriram K. RajamaniSaiDeep TetaliAditya V. ThakurPublished in: TACAS (2009)
Keyphrases
- static analysis
- dynamic analysis
- symbolic execution
- test suite
- test generation
- source code
- test case generation
- test cases
- software testing
- malicious code
- abstract interpretation
- regular expressions
- java card
- open source
- test data generation
- artificial intelligence
- software maintenance
- reverse engineering
- integrity constraints
- learning algorithm
- databases