Test Case Generation for Concurrent Systems Using Event Structures.
Konstantinos AthanasiouHernán Ponce de LeónStefan SchwoonPublished in: TAP@STAF (2015)
Keyphrases
- concurrent systems
- test case generation
- test cases
- temporal logic
- process algebra
- distributed systems
- software testing
- model checking
- object oriented systems
- petri net
- formal specification
- test suite
- test data generation
- transition systems
- multi agent systems
- genetic algorithm
- database
- case study
- real world
- fine grained
- building blocks
- java programs
- neural network
- databases