A Theory of "May" Testing for Asynchronous Languages.

Michele Boreale Rocco De Nicola Rosario Pugliese

Published in: FoSSaCS (1999)

Keyphrases

theoretical framework
theoretical basis
expressive power
database
test set
language independent
general theory
neural network
computational model
first order logic
information theory
software testing
multi lingual