Verification by abstraction as a preamble for interoperability test suite generation.
Pierre de Saqui-SannesJean-Pierre CourtiatRené CasadessusPublished in: PSTV (1994)
Keyphrases
- test suite
- test cases
- regression testing
- test suite reduction
- software testing
- high level
- hardware designs
- mutation testing
- static analysis
- metadata
- number of test cases
- web services
- information systems
- semantic web
- model checking
- generation process
- test generation
- databases
- database
- signature verification
- bounded model checking
- verification method
- test sequences
- formal verification
- feature selection
- life cycle
- computer simulation
- training data