Automatic generation of compact formal properties for effective error detection.

Michele Bertasi Giuseppe Di Guglielmo Graziano Pravadelli

Published in: CODES+ISSS (2013)

Keyphrases

error detection
error correction
error recovery
high quality
multi agent
neural network
artificial intelligence
formal model
automatically generate