Skip to: Site menu | Main content

 
 
 
 
 

  
 
  phd, com. sci., ai, unsw, oz
  assoc. prof. cs, wvu, usa

 

journal | conference | workshop | editorial | book chapter

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

 

Journal papers (33)

    2009
    • "On the Relative Value of Cross-Company and Within-Company Data for Defect Prediction" by B. Turhan and T. Menzies and A. Bener and J. Distefano. Empirical Software Engineering pages 278-290 2009 . Available from http://menzies.us/pdf/08ccwc.pdf .
    • "Accurate Estimates Without Local Data?" by T. Menzies and S. Williams and O. Elrawas and D. Baker and B. Boehm and J. Hihn and K. Lum and R. Madachy. Software Process Improvement and Practice pages 213-225 July 2009 . Available from http://menzies.us/pdf/09nodata.pdf .
    • "Finding robust solutions in requirements models" by G. Gay and T. Menzies and O. Jalali and G. Mundy and B. Gilkerson and M. Feather and J. Kiper. Automated Software Engineering December 2009 . Available from http://menzies.us/pdf/09keys2.pdf .
    • "Explanation vs Performance in Data Mining: A Case Study with Predicting Runaway Projects" by T. Menzies and O. Mizuno and Y. Takagi and Y. Kikuno. Journal of Software Engineering and Applications pages 221-236 November 2009 . .
    2008
    • "Learning Better IV&V Practices" by T. Menzies and M. Benson and K. Costello and C. Moats and M. Northey and J. Richarson. Innovations in Systems and Software Engineering March 2008 . Available from http://menzies.us/pdf/07ivv.pdf .
    • "Application of a broad-spectrum quantitative requirements model to early-lifecycle decision making" by M. Feather and S. Cornford and K Hicks and J. Kiper and T. Menzies. IEEE Software May 2008 . Available from http://menzies.us/pdf/08ddp.pdf .
    2007
    • "The Strangest Thing About Software" by T. Menzies and D.Owen and J. Richardson. IEEE Computer 2007 . http://menzies.us/pdf/07strange.pdf .
    • "Problems with Precision" by Tim Menzies and Alex Dekhtyar and Justin Distefano and Jeremy Greenwald. IEEE Transactions on Software Engineering September 2007 . http://menzies.us/pdf/07precision.pdf .
    • "Data Mining Static Code Attributes to Learn Defect Predictors" by Tim Menzies and Jeremy Greenwald and Art Frank. IEEE Transactions on Software Engineering January 2007 . Available from http://menzies.us/pdf/06learnPredict.pdf .
    • "Just Enough Learning (of Association Rules): The TAR2 Treatment Learner" by T. Menzies and Y. Hu. Artificial Intelligence Review 2007 . Available from http://menzies.us/pdf/07tar2.pdf .
    2006
    • "Making Sense of Requirements, Sooner" by T. Menzies and J. Richardson. IEEE Computer October 2006 . Available from http://menzies.us/pdf/06qrre.pdf .
    • "Evidence-Based Cost Estimation for Better Quality Software" by T. Menzies and J. Hihn. IEEE Software July/August 2006 . Available on-line at http://menzies.us/pdf/06costs.pdf .
    • "Selecting Best Practices for Effort Estimation" by Tim Menzies and Zhihao Chen and Jairus Hihn and Karen Lum. IEEE Transactions on Software Engineering November 2006 . Available from http://menzies.us/pdf/06coseekmo.pdf .
    2005
    • "Learning Tiny Theories" by T. Menzies and R. Gunnalan and K. Appukutty and A Srinivasan and Y. Hu. International Journal on Artificial Intelligence Tools (IJAIT), to appear 2005 . Available from http://menzies.us/pdf/03select.pdf .
    • "Finding the Right Data for Software Cost Modeling" by Zhihao Chen and Tim Menzies and Dan Port and Barry Boehm. IEEE Software Nov 2005 . .
    • "Verification and Validation and Artificial Intelligence" by T. Menzies and C. Pecheur. Advances in Computing 2005 . Available from http://menzies.us/pdf/04aivv.pdf .
    2003
    • "More Success and Failure Factors in Software Reuse" by T. Menzies and J.S. Di Stefano. IEEE Transactions on Software Engineering May 2003 . Available from http://menzies.us/pdf/02sereuse.pdf .
    • "Simulations for very early lifecycle quality evaluations" by E. Chiang and T. Menzies. Software Process: Improvement and Practice pages 141-159 2003 . Available from http://menzies.us/pdf/03spip.pdf .
    • "Data Mining for Very Busy People" by T. Menzies and Y. Hu. IEEE Computer November 2003 . Available from http://menzies.us/pdf/03tar2.pdf .
    • "Applications of Abduction: Testing Very Long Qualitative Simulations" by T.J. Menzies and R.F. Cohen and S. Waugh and S. Goss. IEEE Transactions of Data and Knowledge Engineering pages 1362-1375 November/December 2003 . Available from http://menzies.us/pdf/97iedge.pdf .
    2000
    • "Meta-Knowledges in systems design: panacea... or undelivered promise?" by Y. Kalfoglou and T. Menzies and K.F. Althoff and E. Motta. The Knowledge Engineering Review December 2000 . Available from http://menzies.us/pdf/00ker.pdf .
    • "Issues with Meta-Knowledge" by T. Menzies and K.D. Althoff and Y. Kalfoglou and E. Motta. International Journal of Software Engineering and Knowledge Engineering August 2000 . Available from http://menzies.us/pdf/00sekej.pdf .
    • "When to Test Less" by T. Menzies and B. Cukic. IEEE Software pages 107-112 2000 . Available from http://menzies.us/pdf/00iesoft.pdf .
    • "Adequacy of Limited Testing for Knowledge Based Systems" by T. Menzies and B. Cukic. International Journal on Artificial Intelligence Tools (IJAIT) June 2000 . Available from http://menzies.us/pdf/00ijait.pdf .
    1999
    • "Cost Benefits of Ontologies" by T. Menzies. ACM SIGART Intelligence magazine Fall 1999 . Available from http://menzies.us/pdf/99sigart.pdf .
    • "Critical Success Metrics: Evaluation at the Business-Level" by Tim Menzies. International Journal of Human-Computer Studies special issue on evaluation of KE techniques pages 783-799 October 1999 . Available from http://menzies.us/pdf/99csm.pdf .
    • "Knowledge Maintenance: The State of the Art" by T. Menzies. The Knowledge Engineering Review pages 1-46 1999 . Available from http://menzies.us/pdf/97kmall.pdf .
    1998
    • "Towards Situated Knowledge Acquisition" by T.J. Menzies. International Journal of Human-Computer Studies pages 867-893 1998 . Available from http://menzies.us/pdf/98ijhcs.pdf .
    1997
    • "Applications of Abduction: Hypothesis Testing of Neuroendocrinological Qualitative Compartmental Models" by T.J. Menzies and P. Compton. Artificial Intelligence in Medicine pages 145-175 1997 . Available from http://menzies.us/pdf/96aim.pdf .
    • "OO Patterns: Lessons from Expert Systems" by T.J. Menzies. Software Practice and Experience pages 1457-1478 December 1997 . Available from http://menzies.us/pdf/97patern.pdf .
    1996
    • "Applications of Abduction: Knowledge Level Modeling" by T.J. Menzies. International Journal of Human Computer Studies pages 305-355 1996 . Available from http://menzies.us/pdf/96abkl.pdf .
    1989
    • "An Investigation of the AI and Expert Systems Literature 1980-1984" by T.J. Menzies. AI Magazine Summer 1989 . .
    • "Domain-Specific Knowledge Representations" by T.J. Menzies. AI Expert Summer 1989 . .

     

    Conference papers (84)

      2009
      • "Understanding the Value of Software Engineering Technologies" by P. Green and T. Menzies and S. Williams and O. El-waras. IEEE ASE09 2009 . Available from http://menzies.us/pdf/09value.pdf .
      • "Can We Build Software Faster and Better and Cheaper?" by T. Menzies and O. El-Rawas and J. Hihn and B. Boehm. PROMISE09 2009 . Available from http://menzies.us/pdf/09bfc.pdf .
      • "Parametric Analysis of a Hover Test Vehicle Using Advanced Test Generation and Data Analysis" by K. Gundy-Burlet and J. Schumann and T. Menzies and T. Barrett. AIAA Aerospace, 2009 2009 . .
      • "How to Avoid Drastic Software Process Change (using Stochastic Statbility)" by T. Menzies and S. Williams and O. El-rawas and B. Boehm and J. Hihn. ICSE09 2009 . Available from http://menzies.us/pdf/08drastic.pdf .
      • "On the use of Relevance Feedback in IR-based Concept Location" by G. Gay and S. Haiduc and A. Marcus and T. Menzies. IEEE ICSM09 2009 . Available from http://menzies.us/pdf/09irrf.pdf .
      • "Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development" by B. Lemon and A. Riesbeck and T. Menzies and J. Price and J DAlessandro and R. Carlsson and T. Prifiti and F. Peters and H. Lu and D. Port. IEEE ASE09 2009 . Available from http://menzies.us/pdf/09pom2.pdf .
      • "On the Value of Combining Feature Subset Selection with Genetic Algorithms: Faster Learning of Coverage Models" by Jamie Andrews and Tim Menzies. PROMISE09 2009 . Available from http://menzies.us/pdf/09fssga.pdf .
      • "How to Build Repeatable Experiments" by G. Gay and T. Menzies and B. Cukic and Burak Turhan. PROMISE09 2009 . Available from http://menzies.us/pdf/09ourmine.pdf .
      • "Variance analysis in software fault prediction models" by B. Cukic and T. Menzies and Y. Jiang. IEEE ISSRE09 2009 . Available from http://menzies.us/pdf/09irrf.pdf .
      2008
      • "Parametric Analysis of ANTARES Re-entry Guidance Algorithms Using Advanced Test Generation and DAta Analysis" by K. Gundy-Burlet and J. Schumann and T. Menzies and T. Barrett. 9th International Symposium on Artifical Intelligence, Robotics and Automation in Space 2008 . Available from http://menzies.us/pdf/08antares.pdf .
      • "2CEE, A TWENTY FIRST CENTURY EFFORT ESTIMATION METHODOLOGY" by J. Hihn and T. Menzies and K. Lum and T. Menzies and D. Baker and O. Jalali. ISPA08: International Society of Parametric Analysis 2008 . Available from http://menzies.us/pdf/08ispa.pdf .
      • "Using Simulation to Investigate Requirements Prioritization Strategies" by D. Port and A. Olkov and T. Menzies. IEEE ASE08 2008 . Available from http://menzies.us/pdf/08simrequire.pdf .
      • "Accurate Estimates without Calibration" by T. Menzies and O. Elrawas and B. Barry and R. Madachy and J. Hihn and D. Baker and K. Lum. International Conference on Software Process 2008 . Available from http://menzies.us/pdf/08icsp.pdf .
      • "Automated Severity Assessment of Software Defect Reports" by T. Menzies and A. Marcus. ICSM08 2008 . Available from http://menzies.us/pdf/08severis.pdf .
      • "Cost Curve Evaluation of Fault Prediction Models" by Y. Jiang, B. Cukic and T. Menzies. Proceedings, ISSRE08 2008 . Available from http://menzies.us/pdf/08costcurves.pdf .
      2007
      • "Fault Prediction using Early Lifecycle Data" by Y. Jiang and B. Cukic and T. Menzies. ISSRE07 2007 . Available from http://menzies.us/pdf/07issre.pdf .
      • "The Business Case for Automated Software Engineerng" by T. Menzies and O. Elrawas and J. Hihn and M. Feathear and B. Boehm and R. Madachy. ASE 07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering pages 303--312 location = Atlanta, Georgia, USA doi = http://doi.acm.org/10.1145/1321631.1321676 2007 . Available from http://menzies.us/pdf/07casease-v0.pdf .
      • "Nighthawk: A Two-Level Genetic-Random Unit Test Data Generator" by J.H. Andrews and F.C.H. Li and T. Menzies. IEEE ASE07 2007 . Available from http://menzies.us/pdf/07ase-nighthawk.pdf .
      2006
      • "Sudies in Software Cost Model Behavior: Do we Really Understand Cost Model Performance?" by K. Lum and J. Hihn and T. Menzies. ISPA Conference Proceedings 2006 . Available from http://menzies.us/pdf/06ispa.pdf .
      • "Agents in a Wild World" by T. Menzies and Y. Hu. Agent Technology from a Formal Perspective 2006 . Available from http://menzies.us/pdf/01agents.pdf .
      • "Learning IVV Strategies" by M.S. Fisher and T. Menzies. HICSS06 2006 . Available from http://menzies.us/pdf/06hicss.pdf .
      • "On the Distribution of Property Violations in Formal Models: An Initial Study" by J. Gao and M. Heimdahl and D. Owen and T. Menzies. COMPSAC 06 2006 . Available from http://menzies.us/pdf/06compsac.pdf .
      2005
      2003
      • "On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory Usually Accurate" by David Owen and Tim Menzies and Mats Heimdahl and Jimin Gao. IEEE NASE SEW 2003 2003 . Available from http://menzies.us/pdf/03lurchc.pdf .
      • "Matching Software Practitioner Needs to Researcher Activities" by M.S. Feather and T. Menzies and J.R. Connelly. Proceedings of the 2003 Asia-Pacific Software Engineering Conference (APSEC 2003); Chiangmai Thailand December 2003 . Available from http://menzies.us/pdf/03iemc.pdf .
      • "Identifying Fruitful Connections Between and Among Researchers and Practitioners" by M.S. Feather and T. Menzies and J.R. Connelly. Proceedings of the 2003 IEEE International Engineering Management Conference (IEMC-2003) on Managing Technologically Driven Organizations; Albany, NY pages 451-455 November 2003 . Available from http://menzies.us/pdf/03iemc.pdf .
      • "Model-Based Software Testing via Treatment Learning" by D. Geletko and T. Menzies. IEEE NASE SEW 2003 2003 . Available from http://menzies.us/pdf/03radar.pdf .
      • "Relating Practitioner Needs to Research Activities" by M.S. Feather and T. Menzies and J.R. Connelly. Proceedings of the 11th IEEE International Requirements Engineering Conference; Monterey Bay, California September 2003 . Available from http://menzies.us/pdf/03ieeere.pdf .
      • "Lurch: a Lightweight Alternative to Model Checking" by D. Owen and T. Menzies. SEKE 03 2003 . Available from http://menzies.us/pdf/03lurch.pdf .
      • "How Good is Your Blind Spot Sampling Policy?" by Tim Menzies and Justin S. Di~Stefano. 2004 IEEE Conference on High Assurance Software Engineering 2003 . Available from http://menzies.us/pdf/03blind.pdf .
      • "When Can We Test Less?" by T. Menzies and J. Di Stefano and K. Ammar and K. McGill and P. Callis and R. Chapman and J, Davis. IEEE Metrics03 2003 . Available from http://menzies.us/pdf/03metrics.pdf .
      • "Validating an Online Adaptive System Using SVDD" by Yan Liu and Srikanth Gururajan and Bojan Cukic and Tim Menzies and Marcello Napolitano. IEEE Tools with AI 2003 . Available from http://menzies.us/pdf/03svdd.pdf .
      • "Better Analysis of Defect Data at NASA" by Tim Menzies and Robyn Lutz and Carmen Mikulski. SEKE03 2003 . Available from url http://menzies.us/pdf/03superodc.pdf .
      • "Position Paper: Summary of simulations for Very Early Lifecycle Quality Evaluations" by E. Chiang and T. Menzies. Prosim 03 2003 . Available from http://menzies.us/pdf/03prosim.pdf .
      • "Learning Early Lifecycle IVV Quality Indicators" by T. Menzies and J.S. Di Stefano and M. Chapman. IEEE Metrics 03 2003 . Available from http://menzies.us/pdf/03early.pdf .
      • "Optimizing Spacecraft Design Optimization Engine Development: Progress and Plans" by S. L. Cornford and M. S. Feather and J.R. Dunphy and J. Salcedo and T. Menzies. Proceedings of the IEEE Aerospace Conference, Big Sky, Montana 2003 . Available from http://menzies.us/pdf/03aero.pdf .
      2002
      • "Saturation Effects in Testing of Formal Models" by T. Menzies and D. Owen and B. Cukic. ISSRE 2002 2002 . Available from http://menzies.us/pdf/02sat.pdf .
      • "Converging on the Optimal Attainment of Requirements" by M.S. Feather and T. Menzies. IEEE Joint Conference On Requirements Engineering ICRE02 and RE02, 9-13th September, University of Essen, Germany 2002 . Available from http://menzies.us/pdf/02re02.pdf .
      • "Model-based Tests of Truisms" by Tim Menzies and David Raffo and Siri-on Setamanit and Ying Hu and Sina Tootoonian. Proceedings of IEEE ASE 2002 2002 . Available from http://menzies.us/pdf/02truisms.pdf .
      • "What Makes Finite-State Models more (or less) Testable?" by D. Owen and T. Menzies and B. Cukic. IEEE Conference on Automated Software Engineering (ASE 02) 2002 . Available from http://menzies.us/pdf/02moretest.pdf .
      • "Data Sniffing - Monitoring of Machine Learning for Online Adaptive Systems" by Y. Liu and T. Menzies and B. Cukic. IEEE Tools with AI 2002 . Available from http://menzies.us/pdf/03datasniffing.pdf .
      • "Machine Learning for Software Engineering: Case Studies in Software Reuse" by J.S. Di Stefano and T. Menzies. Proceedings, IEEE Tools with AI, 2002 2002 . Available from http://menzies.us/pdf/02reusetai.pdf .
      • "An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models" by D. Owen and B. Cukic and T. Menzies. 7th IEEE International Symposium on High Assurance Systems Engineering pages 119 2002 . .
      2001
      • "How AI can help SE; or: Randomized Search Not Considered Harmful" by T. Menzies and H. Singh. AI2001: the Fourteenth Canadian Conference on Artificial Intelligence, June 7-9, Ottawa, Canada 2001 . Available from http://menzies.us/pdf/00funnel.pdf .
      • "Fast Formal Analysis of Requirements via Topoi Diagrams" by T. Menzies and J. Powell and M. E. Houle. ICSE 2001 2001 . Available from http://menzies.us/pdf/00fastre.pdf .
      • "Better reasoning about software engineering activities" by T. Menzies and J.D. Kiper. ASE-2001 2001 . Available from http://menzies.us/pdf/01ase.pdf .
      2000
      • "Practical Large Scale What-if Queries: Case Studies with Software Risk Assessment" by T. Menzies and E. Sinsel. Proceedings ASE 2000 2000 . Available from http://menzies.us/pdf/00ase.pdf .
      • "Testing Nondeterminate Systems" by Tim Menzies and Bojan Cukic and Harhsinder Singh and John Powell. ISSRE 2000 2000 . Available from http://menzies.us/pdf/00issre.pdf .
      1999
      • "Fewer Slices of PIE: Optimising Mutation Testing via Abduction" by T. Menzies and C.C. Michael. SEKE 99, June 17-19, Kaiserslautern Germany. 1999 . Available from http://menzies.us/pdf/99seke.pdf .
      • "On the Sufficiency of Limited Testing for Knowledge Based Systems" by T. Menzies and B. Cukic. The Eleventh IEEE International Conference on Tools with Artificial Intelligence. November 9-11 1999. Chicago IL USA. 1999 . .
      • "An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering" by T.J. Menzies and S. Easterbrook and Bashar Nuseibeh and Sam Waugh. RE 99 1999 . Available from http://menzies.us/pdf/99re.pdf .
      1998
      • "Lower Limits on the Size of Test Data Sets" by T.J. Menzies and S. Waugh. Proceedings of the Australian AI 98 conference 1998 . Available from http://menzies.us/pdf/98ozai.pdf .
      • "On the Practicality of Viewpoint-based Requirements Engineering" by T.J. Menzies and S. Waugh. Proceedings, Pacific Rim Conference on Artificial Intelligence, Singapore 1998 . Available from http://menzies.us/pdf/98pracai.pdf .
      • "The Temporal Qualitative Compartmental Modeling Language" by S. Waugh and J. Blogs and T. Menzies. Proceedings of the Australain AI 98 conference 1998 . Available from http://menzies.us/pdf/97links.pdf .
      1997
      • "A Decision Support Tool for Tuning Parameters in a Machine Leraning Algorithm" by M. Postema and T.J. Menzies and X. Wu. The Joint Pacific Asia Conference on Expert Systems/Singapore International Conference on Intelligent Systems. (PACES/SPICIS 97) 1997 . Available from http://menzies.us/pdf/97pakdd.pdf .
      • "Evaluating a Qualitative Reasoner" by S. Waugh and T.J. Menzies and S. Goss. Advanced Topics in Artificial Intelligence: 10th Australian Joint Conference on AI 1997 . http://www.cse.unsw.edu.au/~timm/pub/docs .
      • "A Tuning Aid for Discretization in Rule Induction" by M.Posterma and X. Wu and T.J. Menzies. First Pacific Asia Conference on Knowledge Discovery and Data Mining (PAKDD97) 1997 . Available from http://menzies.us/pdf/97paces.pdf .
      1996
      • "On Building an Effective Measurement System for OO Software Process" by S. Ramakrishnan and T. Menzies and M. Hasslinger and P. Bok and H. Mccarthy and B. Devakadadcham and D. Moulder. Proceedings of Tools-Pacific, Melbourne 1996 . Available from http://menzies.us/pdf/96process.pdf .
      • "On Building an Effective Measurement System for OO Software Process, Product and Resource Tracking" by S Ramakrishnan and T. Menzies and M. Hasslinger and P. Bok and H. McCarthy and B. Devakadadcham and D. Moulder. Tools Pacific, 1996 1996 . .
      • "An Ongoing Experiment in O-O Software Process and Product Measurements" by S Ramakrishnan and T. Menzies. Proceedings SEEP96, New Zealand 1996 . .
      • "Comparing and Generalising Models for Metrics Repositories" by T. Menzies and S. Ramakrishnan. Tools Pacific, Melbourne 1996 . Available from http://menzies.us/pdf/96metrics.pdf .
      • "Quality Metrics: Test Coverage Analysis for Smalltalk" by M. Connell and T.J. Menzies. Tools Pacific, 1996, Melbourne 1996 . Available from http://menzies.us/pdf/96conel.pdf .
      • "On the Practicality of Abductive Validation" by T.J. Menzies. ECAI 96 1996 . Available from http:/menzies.us/pdf/96ok.pdf .
      • "Visual Programming, Knowledge Engineering, and Visual Programming" by T.J. Menzies. Proceedings of the Eighth International Conference on Software Engineering and Knowledge Engineering 1996 . Available from http://menzies.us/pdf/96seke.pdf .
      1995
      • "Providing Software Engineering Students with an Experience in Big-Computing" by R.F. Cohen and T. J. Menzies. Software Education Conference (SRIG-ET94) pages 71-76 1995 . .
      • "Limits to Knowledge Level-B Modeling (and KADS)" by T.J. Menzies. Proceedings of AI 95, Australia 1995 . Available from http://menzies.us/pdf/95akads.pdf .
      • "Situated Semantics is a Side-Effect of the Computational Complexity of Abduction" by T.J. Menzies. Australian Cognitive Science Society, 3rd Conference 1995 . Available from http://menzies.us/pdf/cogsci95.pdf .
      1994
      • "The Effects of Class Coupling on Class Size in Smalltalk Systems" by P. Haynes and T.J. Menzies. Tools 94 pages 121-129 1994 . .
      • "The Methodologies of Methodologies; or Evaluating Current Methodologies: Why and How" by T.J. Menzies and P. Haynes. Tools Pacific 94 pages 83-92 1994 . Available from http://menzies.us/pdf/tools94.pdf .
      • "A Precise Semantics for Vague Diagrams" by T.J. Menzies and P. Compton. Proceedings of Australian AI94 pages 149--156 1994 . Available from http://menzies.us/pdf/ai94.pdf .
      1993
      • "How to Edit it; or a Black-Box Constraint Based Framework for User Interaction with Arbitrary Structures" by T.J Menzies and R Spurret. Tools Pacific 12 pages 213-224 1993 . Available from http://menzies.us/pdf/tools93.pdf .
      • "C++ is Better than Smalltalk?" by P. Haynes and T.J. Menzies. Tools Pacific 1993 pages 75-82 1993 . .
      1992
      • "The Mysterious Case of the Missing Re-usable Class Libraries" by T.J. Menzies and J. Edwards and K. Ng. Tools Pacific 1992 pages 421-428 1992 . Available from http://menzies.us/pdf/tools92.pdf .
      • "Inventing Causal Qualitative Models: A Tool for Experimental Research" by A.J. Mahidadia and P. Compton and T.J. Menzies and C. Sammut and G.A. Smythe. AI 92, Horbart, Australia 1992 . .
      • "An Expert System for Raising Pigs" by T.J. Menzies and J. Black and J. Fleming and M. Dean. The first Conference on Practical Applications of Prolog 1992 . Available from http://menzies.us/pdf/ukapril92.pdf .
      • "Maintaining Procedural Knowledge: Ripple-Down-Functions" by T.J. Menzies. Proceedings of AI 92, Australia 1992 . Available from http://menzies.us/pdf/ai92.pdf .
      1991
      • "Beyond the MVC Triad: Quality Assurance via Interactive Specification Editors" by T.J. Menzies. Tools 3: Proceedings of the third International Technology of Object-Oriented Languages and; Systems conference 1991 . .
      • "ISA Object PARTOF Knowledge Representation (Part Two)?" by T.J. Menzies. Tools Pacific 4 1991 . Available from http://menzies.us/pdf/tools91.pdf .
      1990
      • "Isa Object Part-of Knowledge Representation?" by T.J. Menzies. Proceedings AI 90 1990 . .
      1988
      • "Combining Heuristics with Simulation Models: An Expert System for the Optimal Management of Pig" by T.J. Menzies and M. Dean and J. Black and J. Fleming. AI 88 1988 . Adelaide, Australia .
      1987
      • "Worlds in Prolog" by T.J. Menzies and C. Worral. Proceedings of AI 87 1987 . .
      • "A Micro-Computer, Rule-Based Prolog Expert-System for Process Control in a Petrochemical Plant" by T.J. Menzies and B.R. Markey. Proceedings of the Third Australian Conference on Expert Systems, May 13-15 1987 . .

       

      Workshop papers (64)

        2008
        • "Comparing Design and Code Metrics for Software Quality Prediction" by Y. Jiang and B. Cukic and T. Menzies and N. Bartlow. Proceedings of the PROMISE 2008 Workshop (ICSE) 2008 . Available from http://menzies.us/pdf/08compare.pdf .
        • "Does Transformation Help?" by Y. Jiang and B. Cukic and T. Menzies. Defects 2008 2008 . Available from http://menzies.us/pdf/08transform.pdf .
        • "Optimizing Requirements Decisions With KEYS" by O. Jalali and T. Menzies and M. Feather. Proceedings of the PROMISE 2008 Workshop (ICSE) 2008 . Available from http://menzies.us/pdf/08keys.pdf .
        • "Implications of Ceiling Effects in Defect Predictors" by T. Menzies and B. Turhan and A. Bener and G. Gay and B. Cukic and Y. Jiang. Proceedings of PROMISE 2008 Workshop (ICSE) 2008 . Available from http://menzies.us/pdf/08ceiling.pdf .
        2007
        • "On the Value of Stochastic Abduction (if you fix everything, you lose fixes for everything else)" by T. Menzies and O. Elrawas and D. Baker and J. Hihn and K. Lum. International Workshop on Living with Uncertainty (an ASE07 co-located event) 2007 . Available from http://menzies.us/pdf/07fix.pdf .
        2006
        • "Bayesian Anomaly Detection (BAD v1.0)" by T. Menzies and D. Allen and A. Orrego. Proceedings of the Machine Learning Algorithms for Surveillance and Event Detection Workshop, ICML06 2006 . Available from http://menzies.us/pdf/06bad.pdf .
        • "Experiences using Visualization Techniques to Present Requirements Risks to Them, and Options for Risk Mitigation" by M. . Feather and S.. Cornford and J. Kiper and T. Menzies. First International Workshop on Requirements Engineering Visualization 2006 . Available from http://menzies.us/pdf/06rev.pdf .
        • "The Deviance Problem in Effort Estimation" by T. Menies and K. Lum and J. Hihn. PROMISE, 2006 2006 . Available from http://menzies.us/06deviations.pdf .
        2005
        • "Simple Software Cost Estimation: Safe or Unsafe?" by Tim Menzies and Zhihao Chen and Dan Port and Jairus Hihn. Proceedings, PROMISE workshop, ICSE 2005 2005 . Available from http://menzies.us/pdf/05safewhen.pdf .
        • "Feature Subset Selection Can Improve Software Cost Estimation" by Zhihoa Chen and Tim Menzies and Dan Port. PROMISE05 2005 . Available from http://menzies.us/pdf/05/fsscocomo.pdf .
        2004
        • "Data Mining from Process Models" by T. Menzies and S. Setamanit and D. Raffo. PROSIM 2004 2004 . Available from http://menzies.us/pdf/04dmpm.pdf .
        • "Mining Repositories to Assist in Project Planning and Resource Allocation" by T. Menzies and Justin S. Di~Stefano and Chris Cunanan and Robert (Mike) Chapman. International Workshop on Mining Software Repositories 2004 . Available from http://menzies.us/pdf/04msrdefects.pdf .
        • "Assessing Predictors of Software Defects" by T. Menzies and J. DiStefano and A. Orrego and R. Chapman. Proceedings, workshop on Predictive Software Models, Chicago 2004 . Available from http://menzies.us/pdf/04psm.pdf .
        • "Text is Software Too" by A. Dekhtyar and J. Huffman Hayes and T. Menzies. International Workshop on Mining Software Repositories (submitted) 2004 . Available from http://menzies.us/pdf/04msrtext.pdf .
        • "LEAN = (LURCH+TAR3) = Reusable Modeling Tools" by T. Burkleaux and T. Menzies and D. Owen. Proceedings of WITSE 2005 2004 . Available from http://menzies.us/pdf/04lean.pdf .
        2003
        • "Model-Based Software Testing via Incremental Treatment Learning" by Dustin Geletko and Tim Menzies. 28th Annual NASA Goddard Software Engineering Workshop (SEW03) December 2003 . .
        • "Improved software engineering decision support through automatic argument reduction tools" by T. Menzies and J. Kiper and M. Feather. SEDECS2003: the 2nd International Workshop on Software Engineering Decision Support (part of SEKE2003) June 2003 . Available from http://menzies.us/pdf/03star1.pdf .
        2002
        • "Metrics that Matter" by Tim Menzies and Justin S. DiStefeno and Mike Chapman and Kenneth Mcgill. 27th NASA SEL workshop on Software Engineering 2002 . Available from http://menzies.us/pdf/02metrics.pdf .
        • "What is an agent and why should I care?" by T. Menzies and A. Pearce and C. Heinze, and S. Goss. Formal Aspects of Agent-Based Systems 2002 . Available from http://menzies.us/pdf/02agentis.pdf .
        • "Some Prolog Macros for Rule-Based Programming: Why? How?" by T. Menzies and L. Mason. Third ACM SIGPLAN Workshop on Rule-Based Programming (RULE02) Pittsburgh, PA, October 5 2002 . Available from http://menzies.us/pdf/03datasniffing.pdf .
        • "You seem friendly, but can I trust you?" by T. Menzies and D. Owen and B. Cukic. Formal Aspects of Agent-Based Systems 2002 . Available from http://menzies.us/pdf/02trust.pdf .
        2001
        • "Many Maybes Mean (Mostly) the Same Thing" by T. Menzies and H. Singh. 2nd International Workshop on Soft Computing applied to Software Engineering (Netherlands), February 2001 . Available from http://menzies.us/pdf/00maybe.pdf .
        • "Random Search of AND-OR Graphs Representing Finite-State Models" by D. Owen and T. Menzies. Proceedings of the First International Workshop on Model-based Requirements Engineering 2001 . Available from http://menzies.us/pdf/01randandor.pdf .
        • "Average Case Coverage for Validation of AI Systems" by T. Menzies and B. Cukic. AAAI Stanford Spring Symposium on Model-based Validation of AI Systems 2001 . Available from http://menzies.us/pdf/01validint.pdf .
        • "Constraining discussions in requirements engineering" by T. Menzies and Y. Hu. First International Workshop on Model-based Requirements Engineering 2001 . Available from http://menzies.us/pdf/01lesstalk.pdf .
        • "Applictions of Computational Intelligence to Quantitative Software Engineering" by T. Menzies. ASERC workshop on Quantiative Software Engineering 2001 . Available from http://menzies.us/pdf/01quase.pdf .
        • "Reusing models for requirements engineering" by T. Menzies and Y. Hu. First International Workshop on Model-based Requirements Engineering 2001 . Available from http://menzies.us/pdf/01reusere.pdf .
        2000
        • "Learning to Reduce Risks with COCOMO-II" by T. Menzies and E. Sinsel and T. Kurtz. Workshop on Intelligent Software Engineering, an ICSE workshop, and NASA/WVU Software Research Lab, Fairmont, WV, Tech report # NASA-IVV-99-027 2000 . Available from http://menzies.us/pdf/00wise.pdf .
        • "Agents Talking Faster" by Tim Menzies and Bojan Cukic and Harhsinder Singh. April 2000 . NASA Goddard Workshop on Formal Aspects of Agent-Oriented Systems. Available from http://menzies.us/pdf/00godd.pdf .
        • "The Complexity of TRMCS-like Spiral Specification" by T.J. Menzies. Proceedings of 10th International Workshop on Software Specification and Design (IWSSD-10) 2000 . Available from http://menzies.us/pdf/00iwssd.pdf .
        • "Maintaining Maintainability = Recognizing Reachability" by T. Menzies and B. Cukic. International Workshop on Empirical Studies of Software Maintenance (WESS 2000), October 14, San Jose CA 2000 . Available from http://menzies.us/pdf/00wess.pdf .
        1999
        • "Smaller, Faster Dialogues via Conversational Probing" by T. Menzies and B. Cukic and E. Coiera. AAAI99 workshop on Conflicts and Identifying Opportunities. 1999 . Available from http://menzies.us/pdf/99aaaic.pdf .
        • "Intelligent Testing can be Very Lazy" by T. Menzies and B. Cukic. Proceedings, AAAI 99 workshop on Intelligent Software Engineering, Orlando, Florida July 1999 . Available from http://menzies.us/pdf/99waaai.pdf .
        • "hQkb- The High Quality Knowledge Base Initiative (Sisyphus V: Learning Design Assessment Knowledge)" by T. Menzies. KAW99: the 12th Workshop on Knowledge Acquisition Modeling and Management, Voyager Inn, Banff Alberta, Canada Oct 16-22, 1999 1999 . Available from http://menzies.us/pdf/99hqkb.pdf .
        1998
        • "Evaluating Conceptual Qualitative Modeling Languages" by T.J. Menzies and R.F. Cohen and S. Waugh. Banff KAW 98 workshop. 1998 . Available from http://menzies.us/pdf/97modlan.pdf .
        • "Evaluation Issues for Problem Solving Methods" by T.J. Menzies. Banff Knowledge Acquisition workshop, 1998 1998 . Available from http://menzies.us/pdf/97eval.pdf .
        • "Evaluation Issues with Critical Success Metrics" by T.J. Menzies. Banff KA 98 workshop. 1998 . Available from http://menzies.us/pdf/97langevl.pdf .
        • "Evaluation Issues for Problem Visual Programming Languages" by T.J. Menzies. 1998 . Banff KA workshop, 1998. Available from http://menzies.us/pdf/97evalvp.pdf .
        • "Applications of Abduction: A Unified Framework for Software and Knowledge Engineering" by T. Menzies. 1998 . Available from http://menzies.us/pdf/98apwise.pdf .
        • "More Results on the Practical Lower Limits of Test Set Size" by T.J. Menzies and S. Waugh. Proceedings Pacific Knowledge Acquisition Workshop Singapore, November, 1998 1998 . Available from http://menzies.us/pdf/98pkaw.pdf .
        • "Extending the SISYPHUS III Experiment from a Knowledge Engineering Task to a Requirements Engineering Task" by D. Richards and T.J. Menzies. Banff Workshop on Knowledge Acquisition 1998 . Available from http://menzies.us/pdf/98kawre.pdf .
        1997
        • "A Graph-Theoretic Optimisation of Temporal Abductive Validation" by T.J. Menzies and R.E. Cohen. European Symposium on the Validation and Verification of Knowledge Based Systems, Leuven Belgium 1997 . Available from http://menzies.us/pdf/97eurvav.pdf .
        • "Extending Knowledge Engineering to Requirements Engineering from Multiple Perspectives" by D. Richards and T.J. Menzies. Third Australian Knowledge Acquisition Workshop Perth 1997 . Available from http://menzies.us/pdf/97akawre.pdf .
        • "Ripple-Down Rationality: A Framework for Maintaining PSMs" by T.J. Menzies and A. Mahidadia. Workshop on Problem-Solving Methods for Knowledge-based Systems, IJCAI 97, August 23. 1997 . Available from http://menzies.us/pdf/97rdra.pdf .
        • "Qualitative Causal Diagrams for Requirements Engineering" by T.J. Menzies. The Second Australian Workshop on Requirements Engineering (AWRE97) 1997 . Available from http://menzies.us/pdf/97awre.pdf .
        1996
        • "Assessing Responses to Situated Congition" by T.J. Menzies. Proceedings of the 10th Knowledge Acquisition Workshop for Knowledge-Based Systems, Banff,Canada 1996 . Available from http://menzies.us/pdf/96sitcog.pdf .
        • "Generalised Test = Generalised Inference" by T. Menzies. Proceedings of the ECAI 96 workshop on Validation Verification, and Refinement of KBS 1996 . Available from http://menzies.us/pdf/96ecaivv.pdf .
        • "Applications of Abduction: Intelligent Decision Support Systems" by T. J. Menzies. Proceedings of the Melbourne Workshop on Intelligent Decision Support 1996 . Available from http://menzies.us/pdf/95idss.pdf .
        • "Vague Models and Their Implications for the KBS Design Cycle" by T.J. Menzies and S. Goss. Proceedings PKAW 96: Pacific Knowledge Acquisition Workshop and Monash University Department of Software Development Technical Report TR96-15 1996 . Available from http://menzies.us/pdf/96abmod.pdf .
        • "Expert Systems Inference = Modeling Conflicts" by Tim Menzies. Proceedings of the ECAI 96 workshop on Modelling Conflicts in AI 1996 . Available from http://menzies.us/pdf/96ecaimc.pdf .
        1995
        • "Applications of Abduction #1: Intelligent Decision Support Systems." by T.J. Menzies. Proceedings of the Melbourne Workshop on Intelligent Decision Support Department of Information Systems Monash University, Caulfield Campus, Melbourne Monday, March 20, 1995 1995 . Available from http://menzies.us/pdf/95idss.pdf .
        • "The (Extensive) Implications of Evaluation on the Development of Knowledge-Based Systems" by T.J. Menzies and P. Compton. Proceedings of the 9th AAAI-Sponsored Banff Knowledge Acquisition for Knowledge Based Systems 1995 . Available from http://menzies.us/pdf/banff95.pdf .
        • "Applications of Abduction #3: ``Black-Box to ``Gray-Box Model" by T.J. Menzies and S. Goss. AI in Defence Workshop, Australian AI95, also Technical Report TR95-31, Department of Software Development, Monash University 1995 . Available from http://menzies.us/pdf/95gray.pdf .
        • "Using The Size of Classes and Methods as the Basis for Early Effort Prediction; Empirical Observations Initial Application; A Practitioners Experience Report" by P. Haynes and T. Menzies and G. Phipps. OOPSLA Workshop on OO Process and Metrics for Effort Estimation 1995 . .
        1994
        • "Exhaustive Abduction: A Practical Model Validation Tool" by T.J. Menzies and W. Gambetta. ECAI 94 Workshop on Validation of Knowledge-Based Systems 1994 . Available from http://menzies.us/pdf/ecai94.pdf .
        • "Knowledge Acquisition for Performance Systems; or: When can tests replace tasks?" by T.J. Menzies and P. Compton. Proceedings of the 8th AAAI-Sponsored Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada 1994 . http://menzies.us/pdf/banff94.pdf .
        1993
        • "The Complexity of Model Review" by T.J. Menzies. DX-93: The International Workshop on Principles on Model-Based Diagnosis 1993 . .
        1992
        • "Causal Explanations as a Tool for Refining Qualitative Models" by T.J. Menzies and P. Compton. ECAI 92 Workshop on Improving the Use of Knowledge-Based Systems with Explanations, Vienna 1992 . .
        • "Qualitative Compartmental Modeling" by T.J. Menzies and P. Compton and B. Feldman and T. Toft. Proceedings of the AAAI Symposium on Diagrammatic Reasoning Stanford University, March 25-27 1992 . .
        • "Using Causality as a Generic Knowledge Representation, or Why and How Centralised Knowledge Servers Can Use Causality" by T. Menzies and A. Mahidadia and P. Compton. Proceedings of the 7th AAAI-Sponsored Banff Knowledge Acquisition for Knowledge-Based Systems Workshop Banff, Canada, October 11-16 1992 . .
        • "Communicating Research Models of Human Physiology using Qualitative Compartmental Modeling" by T.J. Menzies and P. Compton and A. Mahidadia. Communicating Scientific and Technical Knowledge, an AAAI 92 workshop 1992 . .
        • "Using Causality as a Generic Knowledge Representation, or Why and How Centralised Knowledge Servers Can Use Causality" by T. Menzies and A. Mahidadia and P. Compton. Proceedings of the 7th AAAI-Sponsored Banff Knowledge Acquisition for Knowledge-Based Systems Workshop 1992 . .
        1991
        • "Ripple down rules: possibilities and limitations" by P. Compton and G. Edwards and B. Kang and L. Lazarus and R. Malor and T. Menzies and P. Preston and A. Srinivasan and C. Sammut. 6th Banff AAAI Knowledge Acquisition for Knowledge Based Systems 1991 . .
        • "Concerning the User of Procedural Construct as a Knowledge Acquisition Technique" by T.J. Menzies. IJCAI 91 Knowledge Acquisition Workshop 1991 . .

         

        Editorials (8)

          2009
          • "Editorial, Special issue on information retrieval for program comprehension" by L. Etzkorn and T. Menzies. Empirical Software Engineering pages 1-4 2009 . Avialable from http://menzies.us/pdf/09ir4pc.pdf .
          2008
          • "Editorial, special issue, repeatable experiments in software engineering" by T. Menzies. Empirical Software Engineering October 2008 . Avialable from http://menzies.us/pdf/08promised.pdf .
          2003
          • "Editorial, Requirements Engineering Journal, Special Issue on Model-based Requirements Engineering" by T. Menzies. Requirements Engineering 2003 . Available from http://menzies.us/pdf/03mbre.pdf .
          • "$21^st$ century AI: proud, not smug" by T. Menzies. Editorial, Special Issue on AI Pride IEEE Intelligent Systems 2003 . Available from http://menzies.us/pdf/03aipride.pdf .
          1999
          • "Editorial: Evaluating Knowledge Engineering Techniques" by T. Menzies and F. van Harmelen. International Journal of Human-Computer Studies special issue on evaluation of Knowledge Engineering Techniques pages 717-727 October 1999 . Available from http://menzies.us/pdf/99ekeed.pdf .
          • "Knowledge Maintenance Heresies: Meta-Knowledge Complicates KM" by T. Menzies. 11th Annual International Conference on Software Engineering and Knowledge Engineering Kaiserslautern, Germany, June 17 - 19, 1999 1999 . Available from http://menzies.us/pdf/99sekekm.pdf .
          • "Desert Island Column" by T. Menzies. Automated Software Engineering pages 315-320 1999 . Available from http://menzies.us/desert.html .
          1998
          • "Editorial, Special Issue on Situated Cognition" by T.J. Menzies and B. Clancey. International Journal of Human-Computer Studies 1998 . Available from http://menzies.us/pdf/98evaled.pdf .

           

          Book Chapters (9)

            2003
            • "Condensing uncertainty via Incremental Treatment Learning" by T. Menzies and E. Chiang and M. Feather and Y. Hu and J.D. Kiper. Software Engineering with Computational Intelligence 2003 . Available from http://menzies.us/pdf/02itar2.pdf .
            • "Many Maybes Mean (Mostly) the Same Thing" by T. Menzies and H. Singh. Soft Computing in Software Engineering 2003 . Available from http://menzies.us/pdf/03maybe.pdf .
            2002
            • "How Many Tests are Enough?" by T.J. Menzies and B. Cukic. Handbook of Software Engineering and Knowledge Engineering, Volume II 2002 . Available from http://menzies.us/pdf/00ntests.pdf .
            • "SE/KE Reuse Research: Common Themes and Empirical Results" by T.J. Menzies. Handbook of Software Engineering and Knowledge Engineering, Volume II 2002 . Available from http://menzies.us/pdf/00reuse.pdf .
            • "Knowledge Elicitation: the State of the Art" by T.J. Menzies. Handbook of Software Engineering and Knowledge Engineering, Volume II 2002 . Available from http://menzies.us/pdf/00getknow.pdf .
            • "Evaluation Issues for Visual Programming Languages" by T. Menzies. Handbook of Software Engineering and Knowledge Engineering, Volume II 2002 . Available from http://menzies.us/pdf/00vp.pdf .
            2001
            • "Practical Machine Learning for Software Engineering and Knowledge Engineering" by T. Menzies. Handbook of Software Engineering and Knowledge Engineering December 2001 . Available from http://menzies.us/pdf/00ml.pdf .
            2000
            • "Expert Systems Maintenance" by T.J. Menzies and J. Debenham. Encyclopedia of Computer Science and Technology pages 35-54 2000 . Available from http://menzies.us/pdf/00cst.pdf .
            1997