Using Inspections to Investigate Program Correctness.

Robert N. Britcher

Published in: Computer (1988)

Keyphrases

computer programs
data sets
databases
experimental design
program execution
artificial intelligence
decision making
information technology
probability distribution
static analysis