Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study.
Juan C. Burguillo-RialManuel J. Fernández IglesiasFrancisco J. González-CastañoMartín Llamas NistalPublished in: FME (2002)
Keyphrases
- formal specification
- test case selection
- specification languages
- test cases
- object oriented design
- model checking
- specification language
- optimal solution
- formal methods
- process algebra
- reverse engineering
- case study
- design methodology
- software testing
- protocol specification
- formal specification language
- concurrent systems
- software components
- data sets
- simulated annealing
- search algorithm
- databases
- temporal logic
- tabu search
- general purpose
- expert systems
- high level