You Seem Friendly, But Can I Trust You? - Tim Menzies; David Owen 002; Bojan Cukic (FAABS, 2002)

An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models. - David Owen 002; Bojan Cukic; Tim Menzies (HASE, 2002)

Saturation Effects in Testing of Formal Models. - Tim Menzies; David Owen 002; Bojan Cukic (ISSRE, 2002)

What Makes Finite-State Models More (or Less) Testable? - David Owen 002; Tim Menzies; Bojan Cukic (ASE, 2002)

Lurch: a Lightweight Alternative to Model Checking. - David Owen 002; Tim Menzies (SEKE, 2003)

On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. - David Owen 002; Tim Menzies; Mats Per Erik Heimdahl; Jimin Gao (SEW, 2003)

On the Distribution of Property Violations in Formal Models: An Initial Study. - Jimin Gao; Mats Per Erik Heimdahl; David Owen 002; Tim Menzies (COMPSAC (1), 2006)

Effectively Combining Software Verification Strategies: Understanding Different Assumptions. - David Owen 002; Dejan Desovski; Bojan Cukic (ISSRE, 2006)

Random testing of formal software models and induced coverage. - David Owen 002; Dejan Desovski; Bojan Cukic (Random Testing, 2006)

The Strangest Thing About Software. - Tim Menzies; David Owen 002; Julian Richardson (Computer, 2007)

Fault Tolerant Sorting - Theoretical and Empirical Analyses of the Randomized QuickMergesort Algorithm. - K. Subramani 001; C. Tauras; David Owen 002 (J. Math. Model. Algorithms, 2008)