A Family of Coverage Testing Criteria for Coloured Petri Nets.
Adenilso da Silva SimãoSimone do Rocio Senger de SouzaJosé Carlos MaldonadoPublished in: SBES (2003)
Keyphrases
- coloured petri nets
- formal verification
- test suite
- special case
- test cases
- set of test cases
- code coverage
- information retrieval
- evaluation criteria
- software testing
- selection criteria
- information systems
- model checking
- multi criteria
- test data
- testing process
- mobile robot
- artificial neural networks
- face recognition
- image processing
- social networks