Petri Net Based Verification of Causal Dependencies in Electronic Control Unit Test Cases.
Sebastian ThielFrank DerichsweilerPublished in: COMPSAC Workshops (2011)
Keyphrases
- control unit
- test cases
- test generation
- causal dependencies
- control system
- power supply
- test data
- software testing
- test data generation
- test sequences
- test case selection
- test case generation
- test suite
- model checking
- test set
- regression testing
- model based testing
- number of test cases
- test suite reduction
- testing process
- object oriented
- software systems
- temporal logic
- fuzzy logic
- training set
- machine learning