Automatically Inferring Temporal Properties for Program Evolution .

Jinlin Yang David Evans

Published in: ISSRE (2004)

Keyphrases

temporal properties
model checking
possibility theory
temporal logic
computer programs
neural network
automatically generated
artificial intelligence
cooperative
test cases
formal methods