Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus.
Ivan Cibrario BertolottiLuca DuranteRiccardo SistoAdriano ValenzanoPublished in: Int. J. Found. Comput. Sci. (2006)
Keyphrases
- test generation
- symbolic execution
- formal verification
- test cases
- model checking
- face verification
- concurrent systems
- process algebra
- asynchronous circuits
- software testing
- test set
- formal language
- feature points
- test data generation
- computer algebra
- state space
- search algorithm
- false acceptance rate
- genetic algorithm