Derivation of Test Cases for LAP-B from a LOTOS Specification.
Djaffar GueraichiLuigi LogrippoPublished in: FORTE (1989)
Keyphrases
- test cases
- test case generation
- temporal ordering
- software testing
- test data
- test sequences
- black box
- test data generation
- test suite
- test generation
- regression testing
- test set
- object oriented
- test case selection
- sequence diagrams
- formal specification
- high level
- model based testing
- unit testing
- number of test cases
- artificial intelligence
- machine learning
- domain specific languages
- testing process
- case study
- data sets