| A concise specification language for trace monitoring | 0 | 0.34 | 2015 |
| A Dynamic Approach to Locating Memory Leaks. | 2 | 0.41 | 2013 |
| A low-overhead, value-tracking approach to information flow security | 2 | 0.41 | 2012 |
| A review of procedures to evolve quantum algorithms | 4 | 0.43 | 2009 |
| Self-replicating expressions in the Lambda Calculus | 0 | 0.34 | 2004 |
| A schema for interprocedural modification side-effect analysis with pointer aliasing | 66 | 5.73 | 2001 |
| Incremental analysis of side effects for C software system | 10 | 0.68 | 1997 |
| A framework for specification-based testing | 143 | 8.57 | 1996 |
| A Tale of Two Paradigms: Formal Methods and Software Testing | 35 | 3.59 | 1994 |
| Modelling open distributed systems in Z | 1 | 0.34 | 1992 |
