Extending Typestate Checking Using Conditional Liveness Analysis.

Robert E. Strom Daniel M. Yellin

Published in: IEEE Trans. Software Eng. (1993)

Keyphrases

artificial intelligence
cooperative
data analysis
statistical analysis
data sets
databases
neural network
computer vision
information systems
decision trees
artificial neural networks