Testing Concurrent Object-Oriented Systems with Spec Explorer.
Colin CampbellWolfgang GrieskampLev NachmansonWolfram SchulteNikolai TillmannMargus VeanesPublished in: FM (2005)
Keyphrases
- object oriented systems
- test case generation
- software maintenance
- object oriented
- object oriented design
- source code
- software engineering
- software systems
- test cases
- software testing
- object oriented technology
- benchmark suite
- concurrent programs
- regression testing
- test suite
- machine learning
- test data generation
- reverse engineering
- database
- data model
- decision trees
- social networks
- data sets