A Theory of Specification-Based Testing for Object-Oriented Software.
Stéphane BarbeyDidier BuchsCécile PérairePublished in: EDCC (1996)
Keyphrases
- object oriented software
- data flow
- design patterns
- software architecture
- regression testing
- object oriented
- software development
- software engineering
- theoretical framework
- formal methods
- formal verification
- theoretical basis
- asynchronous circuits
- computational model
- artificial intelligence
- software projects
- information technology
- test case generation
- e learning