From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems.
Bernhard K. AichernigCarlo Corrales DelgadoPublished in: FASE (2006)
Keyphrases
- test cases
- concurrent systems
- software testing
- test generation
- test data
- test suite
- model based testing
- test sequences
- number of test cases
- test case generation
- test data generation
- fault diagnosis
- testing process
- regression testing
- set of test cases
- code coverage
- black box
- test suite reduction
- fault detection
- test case selection
- temporal logic
- process algebra
- test set
- distributed systems
- petri net
- mutation testing
- model checking
- integration testing
- multiple faults
- object oriented
- fault model
- information systems
- neural network