Tutorial: Static Analysis and Dynamic Testing of Computer Software.
Richard E. FairleyPublished in: Computer (1978)
Keyphrases
- static analysis
- dynamic analysis
- computer software
- symbolic execution
- test generation
- source code
- test suite
- test case generation
- reverse engineering
- java card
- computer hardware
- abstract interpretation
- regular expressions
- programming education
- mathematical knowledge
- artificial intelligence
- test data generation
- computer systems
- software engineering
- object oriented
- data model
- training data