David Owen

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Publications

K. Subramani, C. Tauras, David Owen
Fault Tolerant Sorting - Theoretical and Empirical Analyses of the Randomized QuickMergesort Algorithm. J. Math. Model. Algorithms 7 (3) (2008)
Tim Menzies, David Owen, Julian Richardson
The Strangest Thing About Software. Computer 40 (1) (2007)
David Owen, Dejan Desovski, Bojan Cukic
Random testing of formal software models and induced coverage. Random Testing (2006)
David Owen, Dejan Desovski, Bojan Cukic
Effectively Combining Software Verification Strategies: Understanding Different Assumptions. ISSRE (2006)
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies
On the Distribution of Property Violations in Formal Models: An Initial Study. COMPSAC (1) (2006)
David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao
On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. SEW (2003)
David Owen, Tim Menzies
Lurch: a Lightweight Alternative to Model Checking. SEKE (2003)
Tim Menzies, David Owen, Bojan Cukic
Saturation Effects in Testing of Formal Models. ISSRE (2002)
David Owen, Bojan Cukic, Tim Menzies
An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models. HASE (2002)
David Owen, Tim Menzies, Bojan Cukic
What Makes Finite-State Models More (or Less) Testable? ASE (2002)
Tim Menzies, David Owen, Bojan Cukic
You Seem Friendly, But Can I Trust You? FAABS (2002)