MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Model Checking Implicit-Invocation Systems." – 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.

ATOM

A Transformational Framework for Testing and Model Checking Implicit Invocation Systems
by Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Juergen Dingel — 2004 — In Proc. of the Int. Work. on Distributed Event-Based Systems (DEBS ’04
…A Transformational Framework for Testing and Model Checking Implicit Invocation Systems 1 Hongyu…
Cited by 3 (3 self) – Add To MetaCart

Using Source Transformation to Test and
by Model Check Implicit-Invocation, Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Juergen Dingel — 2006 — Special Issue on Source Code Analysis and Manipulation, Science of Computer Programming
…Using Source Transformation to Test and Model Check Implicit-Invocation Systems ⋆ Abstract Hongyu…
Add To MetaCart

Showing 1 through 2.

ATOM

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