TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing.
Leesa MurrayDavid A. CarringtonIan MacCollPaul A. StrooperPublished in: TOOLS (32) (1999)
Keyphrases
- test case generation
- test cases
- software testing
- test data
- test generation
- statistical tests
- regression testing
- test data generation
- case study
- real time
- code coverage
- formal verification
- test suite
- artificial intelligence
- real world
- inductive inference
- conceptual model
- statistically significant
- software systems
- high level
- code generation
- testing process
- machine learning
- database
- set of test cases