Exploiting Symmetries for Testing Equivalence in the Spi Calculus.

Ivan Cibrario Bertolotti Luca Durante Riccardo Sisto Adriano Valenzano

Published in: ATVA (2004)

Keyphrases

test cases
test generation
information systems
decision trees
database systems
software testing
datalog programs