An Automated Approach to Specification-Based Program Inspection.

Shaoying Liu Fumiko Nagoya Yuting Chen Masashi Goya John Alexander McDermid

Published in: ICFEM (2005)

Keyphrases

control program
formal specification
control flow
real time
information retrieval
computer science
computer programs
program execution
data mining
artificial intelligence
information systems
expert systems
formal verification
automatic inspection