Selecting and mapping test sequences from formal specifications of concurrent programs.
Jian ChenRichard H. CarverPublished in: HASE (1996)
Keyphrases
- formal specification
- test sequences
- process algebra
- concurrent programs
- model checking
- concurrent systems
- test cases
- video sequences
- formal methods
- bit rate
- object oriented design
- test generation
- asynchronous circuits
- temporal logic
- communication protocols
- software testing
- reverse engineering
- software components
- petri net
- formal specification language
- building blocks
- web services composition
- programming language
- data model
- high quality