Timed Test Case Generation Using Labeled Prioritized Time Petri Nets
Noureddine AdjirPierre de Saqui-SannesKamel Mustapha RahmouniAbdelkader AdlaPublished in: CoRR (2012)
Keyphrases
- petri net
- test case generation
- test cases
- software testing
- test data generation
- object oriented systems
- discrete event systems
- manufacturing systems
- petri net model
- colored petri nets
- training data
- test suite
- stochastic petri net
- ims ld
- simulated annealing algorithm
- service composition
- building blocks
- fuzzy petri net
- relational databases
- genetic algorithm
- real time