Searching for "LCLint A Tool for Using Specifications to Check Code." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

LCLint: A Tool for Using Specifications to Check Code
by David Evans, John Guttag, James Horning, Yang Meng Tan — 1994 — In FSE
…LCLint: A Tool for Using Specifications to Check Code David Evans, John Guttag, James Horning…
Cited by 95 (1 self) – Add To MetaCart

Classified Larch Bibliography
by Stephen J. Garland, Jeannette M. Wing, Amy Moormann, Zaremski Unintrusive, W. J. Toetenel, Vdm Formal, Software Development Methods, Department Of Electrical, Mark T. V, Specification-based Analysis — 1996
… tool for using specifications to check code. In Symposium on the Foundations of Software Engineering…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB