LCLint: A Tool for Using Specifications to Check Code.

David E. Evans John V. Guttag James J. Horning Yang Meng Tan

Published in: SIGSOFT FSE (1994)

Keyphrases

unit testing
program understanding
neural network
java code
source code
test cases
error detection
user friendly
software tools
code snippets
code generation
control flow
functional requirements
database
relational databases
image sequences
data sets