Unpublished (18 papers)
| God Does Play Dice: Diagnosis and Validation for Autonomous Systems; S. Bayana and D. Owen and T. Menzies and S. Mukhopadhyay; 2004; Available from http:// menzies.us/pdf/03rmpllurch.pdf
|
| Finding Faults Quickly in Formal Models Using Random Search; David Owen and Tim Menzies and Mats Heimdahl and Jimin Gao; 2004; Available from http:// menzies.us/pdf/04fmdebug.pdf
|
| Detecting Novelties by Mining Association Rules; Y. Liu and T. Menzies and B. Cukic; 2003; Available fromhttp:// menzies.us/pdf/03novelty.pdf
|
| Feature Subset Selection with TAR2less; R. Gunnalan and T, Menzies and K. Appukuttyand A, Srinivasan and Y. Hu; 2003; Available from http:// menzies.us/pdf/03tar2less.pdf
|
| When is Pair Programming Better?; T. Menzies, J. Smith, and D. Raffo; 2003; Available from http:// menzies.us/pdf/04pairprog.pdf
|
| On the Advantages of Approximate vs. CompleteVerification:Bigger Models, Faster, Less Memory, Usually Accurate; David Owen and Tim Menzies and Mats Heimdahl and Jimin Gao; 2003; Available from http:// menzies.us/pdf/03lurchB.pdf
|
| A Fast Search for Temporal Properties of Requirements; M. Houle and T. Menzies and J. Powell; IEEE Transactions on Software Engineering (submitted); 2002; Available from http:// menzies.us/pdf/02sp2.pdf
|
| V&V of adaptive systems; T.Menzies; 2002; Department of Computer Science and ElectricalEngineering, West Virginia University; Available from http:// menzies.us/pdf/02vvadaptive.pdf
|
| Assessment of a Lightweight Formal Method for Specifying and Analyzing Requirements; Kendra Cooper, Tim Menzies, Mabo Ito; UBC ECE tech report; 2001; Available from http:// menzies.us/pdf/01testre.pdf
|
| First Contract: Better, Earlier Decisions for Software Projects; M. Feather and H. In and J. Kiper and J. Kurtz and T. Menzies; ECE UBC tech report; 2001; Available from http:// menzies.us/pdf/01first.pdf
|
| Validating Inconsistent Requirements Models using Graph-based Abduction; T. Menzies and S. Easterbrook and B. Nuseibeh and S. Waugh; Submitted for journal review; 2001; Available from http:// menzies.us/pdf/00gba.pdf
|
| How to Argue Less; T. Menzies and J.D. Kiper; 2001; Available from http:// menzies.us/pdf/01jane.pdf
|
| Machine Learning for Requirements Engineering; T. Menzies and J.D. Kiper; 2001; Available from http:// menzies.us/pdf/01ml4re.pdf
|
| Abduction: Experiments and Implications; T. Menzies and S. Waugh; 1999; Available fromhttp:// menzies.us/pdf/99ab.pdf
|
| When You Don't Need to Re-Test the System; T.J. Menzies and B. Cukic; Submitted to ISSRE-99; 1999;
|
| Simpler, Faster Abductive Validation; T. Menzies; Submitted to AAAI-99; 1999;
|
| Taming Chatter with Relevant Envisionments; T. Menzies and S. Waugh and S. Goss; 1998; Submitted to ECAI '98; Available from http:// menzies.us/pdf/98ecai.pdf
|
| Evaluating a Temporal Causal Ontology; T. Menzies and S. Waugh and S. Goss and Robert F. Cohen; 1997; Submitted to FOIS '97; Available from http:// menzies.us/pdf/97fois.pdf
|