MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Slicing Software for Model Construction." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Slicing Software for Model Construction
by John Hatcliff, Matthew B. Dwyer, Hongjun Zheng — 1999 — Higher-order and Symbolic Computation
…Slicing Software for Model Construction John Hatcliff Matthew B. Dwyer Hongjun Zheng SAn…
Cited by 75 (16 self) – Add To MetaCart

A Formal Approach to Practical Software Verification
by Radu Iosif — 2000
… software for model construction. Proceedings of ACM SIGPLAN Partial Evaluation and Program Manipulation…
Add To MetaCart

Algorithm Results Reducible Nets Related Work Future Work
by Astrid Rakow
…–449 Hatcliff, J., Dwyer, M.B., Zheng, H.: Slicing software for model construction. In: Higher…
Add To MetaCart

Model-Checking and Program Analysis: Preliminaries
by Neil D. Jones, Julia Lawall, Henrik Reif Andersen
… be the identity relation on A. 6 [10] J. Hatcliff, M. B. Dwyer, H. Zheng. Slicing Software for Model Construction…
Add To MetaCart

Showing 1 through 4.

ATOM

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