Estimating the correctness of computer programs.

Joe W. Duran John J. Wiorkowski

Published in: Inf. Sci. (1982)

Keyphrases

computer programs
programming language
expert systems
computer programming
turing test
software agents
artificial intelligence
high quality
database
rigid body
general purpose
domain specific
knowledge acquisition
object detection
video sequences
trading strategies
computer hardware