| 2007 |
|---|
| 13 | EE | Tim Menzies,
David Owen,
Julian Richardson:
The Strangest Thing About Software.
IEEE Computer 40(1): 54-60 (2007) |
| 2006 |
|---|
| 12 | EE | 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: 150-160 |
| 11 | EE | David Owen,
Dejan Desovski,
Bojan Cukic:
Effectively Combining Software Verification Strategies: Understanding Different Assumptions.
ISSRE 2006: 321-330 |
| 10 | EE | David Owen,
Dejan Desovski,
Bojan Cukic:
Random testing of formal software models and induced coverage.
Random Testing 2006: 20-27 |
| 2003 |
|---|
| 9 | | David Owen,
Tim Menzies:
Lurch: a Lightweight Alternative to Model Checking.
SEKE 2003: 158-165 |
| 8 | EE | 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: 75 |
| 2002 |
|---|
| 7 | EE | David Owen,
Tim Menzies,
Bojan Cukic:
What Makes Finite-State Models More (or Less) Testable?
ASE 2002: 237-240 |
| 6 | EE | Tim Menzies,
David Owen,
Bojan Cukic:
You Seem Friendly, But Can I Trust You?
FAABS 2002: 208-219 |
| 5 | EE | 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: 119-128 |
| 4 | EE | Tim Menzies,
David Owen,
Bojan Cukic:
Saturation Effects in Testing of Formal Models.
ISSRE 2002: 15-26 |
| 1987 |
|---|
| 3 | | David Owen:
Direct Manipulation and Procedural Reasoning.
HCI (2) 1987: 349-356 |
| 1982 |
|---|
| 2 | | David Owen:
Relating Object Models to Segmentation Strategies.
ECAI 1982: 205-210 |
| 1978 |
|---|
| 1 | | Aaron Sloman,
David Owen,
Geoffrey E. Hinton,
Frank Birch,
Frank O'Gorman:
Representation and Control in Vision.
AISB/GI (ECAI) 1978: 309-314 |
