Software System Verification and Program Derivation.
Published in: German-Argentinian Workshop on Information Technology (1999)
Keyphrases
- hardware designs
- symbolic execution
- program understanding
- test data generation
- static analysis
- test cases
- software systems
- computer hardware
- source code
- software development
- formal verification
- search based software testing
- software tools
- computer programs
- control flow
- formal methods
- java programs
- programming environments
- program slicing
- software design
- software maintenance
- computer systems
- programming environment
- neural network
- commercial software
- modeling language
- open source
- high level
- software evolution
- software platform
- data flow
- design patterns
- legacy software
- artificial intelligence