Test selection for object-oriented software based on formal specifications.
Cécile PéraireStéphane BarbeyDidier BuchsPublished in: PROCOMET (1998)
Keyphrases
- formal specification
- object oriented software
- regression testing
- software testing
- data flow
- software development
- object oriented design
- object oriented
- design patterns
- test cases
- specification language
- model checking
- software architecture
- reverse engineering
- formal methods
- design methodology
- specification languages
- software components
- machine learning
- multi agent systems
- information systems
- software systems
- relational databases
- metadata
- concurrent systems
- decision making