Testing and Verification Aspects of Pascal-Like Languages.

Anthony I. Wasserman

Published in: Comput. Lang. (1979)

Keyphrases

symbolic execution
test generation
formal verification
model checking
expressive power
face verification
test cases
information systems
test set
test data
software testing
multi lingual
machine learning
artificial intelligence
language independent
text summarization