David Owen

According to our database, David Owen authored at least 11 papers between 2002 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Fault Tolerant Sorting - Theoretical and Empirical Analyses of the Randomized QuickMergesort Algorithm.

K. Subramani, C. Tauras, David Owen

J. Math. Model. Algorithms, 2008

2007

The Strangest Thing About Software.

Tim Menzies, David Owen, Julian Richardson

Computer, 2007

2006

Random testing of formal software models and induced coverage.

David Owen, Dejan Desovski, Bojan Cukic

Proceedings of the 1st International Workshop on Random Testing, 2006

Effectively Combining Software Verification Strategies: Understanding Different Assumptions.

David Owen, Dejan Desovski, Bojan Cukic

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

On the Distribution of Property Violations in Formal Models: An Initial Study.

Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2003

On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate.

David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

Lurch: a Lightweight Alternative to Model Checking.

David Owen, Tim Menzies

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

2002

What Makes Finite-State Models More (or Less) Testable?

David Owen, Tim Menzies, Bojan Cukic

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Saturation Effects in Testing of Formal Models.

Tim Menzies, David Owen, Bojan Cukic

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models.

David Owen, Bojan Cukic, Tim Menzies

Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

You Seem Friendly, But Can I Trust You?

Tim Menzies, David Owen, Bojan Cukic

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002