David Owen

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