In this paper we provide insight into the larger problem of how to make model checking a better analysis and verification tool for software systems.

In this paper we provide insight into the larger problem of how to make model checking a better analysis and verification tool for software systems.

In this paper we extend an existing approach to model checking implicit invocation to allow for the mod- eling of larger and more realistic systems. Our focus ...

This research will extend an existing approach to model checking implicit-invocation systems and evaluate the technique on several non-trivial examples.

In this paper we extend an existing approach to model checking implicit invocation to allow for the modeling of larger and more realistic systems. Our focus ...

Evaluating and improving the automatic analysis of implicit invocation systems. ESEC-FSE, 2003. ESEC FSE 2003 · DBLP · Scholar · DOI. Full names. Links ISxN.

This research will extend an existing approach to model checking implicit-invocation systems and evaluate the technique on several non-trivial examples to ...

Co-authors ; Evaluating and improving the automatic analysis of implicit invocation systems. JS Bradbury, J Dingel. ACM SIGSOFT Software Engineering Notes 28 (5) ...

It is the goal of this research to gain insight into the larger problem of how to make model checking a better analysis and verification tool for software ...

2016. Evaluating and improving the automatic analysis of implicit invocation systems. JS Bradbury, J Dingel. ACM SIGSOFT Software Engineering Notes 28 (5), 78 ...