dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

David Owen (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Menzies, David Owen, Julian Richardson: The Strangest Thing About Software. IEEE Computer 40(1): 54-60 (2007)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies: On the Distribution of Property Violations in Formal Models: An Initial Study. COMPSAC (1) 2006: 150-160
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Owen, Tim Menzies: Lurch: a Lightweight Alternative to Model Checking. SEKE 2003: 158-165
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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: 75
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Owen, Tim Menzies, Bojan Cukic: What Makes Finite-State Models More (or Less) Testable? ASE 2002: 237-240
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Menzies, David Owen, Bojan Cukic: You Seem Friendly, But Can I Trust You? FAABS 2002: 208-219
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Owen, Bojan Cukic, Tim Menzies: An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models. HASE 2002: 119-128
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Menzies, David Owen, Bojan Cukic: Saturation Effects in Testing of Formal Models. ISSRE 2002: 15-26

Selection of 8 from 15 records - David Owen has 18 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page