A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, and Jürgen Dingel   View Paper (PDF)   Return to Engineering of Event-Based Applications Abstract V for event-based systems. Moreover, we plan on using it to explore the relationship between testing and model checking implicit invocation systems and gain insight into their combined benefits. ©2005 Association for Computing Machinery