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 (35)

    2011
    • "Exploring the Effort of General Software Project Activities with Data Mining" by Topi Haapio and Tim Menzies. International Journal of Software Engineering and Knowledge Engineering pages 725-753 2011 . .
    • "On the Value of Ensemble Effort Estimation" by E. Kocaguneli and Tim Menzies and J. Keung. IEEE Transactions on Software Engineering 2011 . Available from http://menzies.us/pdf/11comba.pdf .
    • "Learning Better Inspection Optimization Policies" by M. Lumpe and R. Vasa and T. Menzies and R. Rush and R. Turhan. Accepted, to appear in the International Journal of Software Engineering and Knowledge Engineering 2011 . .
    • "Kernel methods for software effort estimation" by Kocaguneli, E. and Menzies, T. and Keung, J.. Empirical Software Engineering pages 1-24 2011 . .
    • "Learning patterns of university student retention" by Ashutosh Nandeshwar and Tim Menzies and Adam Nelson. Expert Systems with Applications pages 14984 - 14996 2011 . .
    • " Exploiting the Essential Assumptions of Analogy-Based Effort Estimation" by Kocaguneli, E. and Menzies, T. and Bener, A. and Keung, J.. IEEE Transactions on Software Engineering (to appear) 2011 . Available from http://menzies.us/pdf/11teak.pdf .
    • "What is Enough Quality for Data Repositories?" by Tim Menzies and Adam Brady and Ekrem Kocaguneli. Software Quality Professional 2011 . .
    2010
    • "Defect Prediction from Static Code Features: Current Results, Limitations, New Approaches" by Tim Menzies and Z. Milton and B. Turhan and B. Cukic and Y. Jiang and A. Bener. Automated Software Engineering December 2010 . Available from http://menzies.us/pdf/10which.pdf .
    • "Case-Based Reasoning for Reducing Software Development Effort" by Adam Brady and Tim Menzies and Oussama El-Rawas and Ekrem Kocaguneli and Jacky Keung. Journal of Software Engineering and Applications 2010 . Available from http://menzies.us/pdf/10w0.pdf .
    • "Finding robust solutions in requirements models" by G. Gay and Tim Menzies and O. Jalali and G. Mundy and B. Gilkerson and M. Feather and J. Kiper. Automated Software Engineering pages 87-116 2010 . Available from http://menzies.us/pdf/09keys2.pdf .
    • "Stable Rankings for Different Effort Models" by Tim Menzies and Omid Jalali and Jairus Hihn and Dan Baker and Karen Lum. Automated Software Engineering December 2010 . Available from http://menzies.us/pdf/10stable.pdf .
    • "Automatically finding the control variables for complex system behavior" by Gregory Gay and Tim Menzies and Misty Davies and Karen Gundy-Burlet. Automated Software Engineering December 2010 . Available from http://menzies.us/pdf/10tar34.pdf .
    • "Genetic Algorithms for Randomized Unit Testing" by James H. Andrews and Tim Menzies and Felix C.H. Li. IEEE Transactions on Software Engineering March 2010 . Available from http://menzies.us/pdf/10nighthawk.pdf .
    • "A Second Look at Faster, Better, Cheaper" by Oussama El-Rawas and Tim Menzies. Innovations Systems and Software Engineering pages 319-335 2010 . Available from http://menzies.us/pdf/10bfc.pdf .
    2009
    • "Accurate Estimates Without Local Data?" by Tim Menzies and S. Williams and Oussama El-Rawas 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 .
    • "Explanation vs Performance in Data Mining: A Case Study with Predicting Runaway Projects" by Tim Menzies and O. Mizuno and Y. Takagi and Y. Kikuno. Journal of Software Engineering and Applications pages 221-236 November 2009 . .
    • "On the Relative Value of Cross-Company and Within-Company Data for Defect Prediction" by B. Turhan and Tim Menzies and A. Bener and J. Distefano. Empirical Software Engineering pages 278-290 2009 . Available from http://menzies.us/pdf/08ccwc.pdf .
    2008
    • "Learning Better IV&V Practices" by Tim Menzies and Markland Benson and Ken Costello and Christina Moats and Michelle Northey and Julian Richarson. Innovations in Systems and Software Engineering March 2008 . Available from http://menzies.us/pdf/07ivv.pdf .
    2007
    • "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 .
    • "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 .
    • "Just Enough Learning (of Association Rules): The TAR2 Treatment Learner" by Tim Menzies and Y. Hu. Artificial Intelligence Review 2007 . Available from http://menzies.us/pdf/07tar2.pdf .
    2006
    • "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 Tim Menzies and R. Gunnalan and K. Appukutty and A Srinivasan and Y. Hu. International Journal on Artificial Intelligence Tools (IJAIT) 2005 . Available from http://menzies.us/pdf/03select.pdf .
    2003
    • "Applications of Abduction: Testing Very Long Qualitative Simulations" by Tim Menzies and Robert Cohen and Sam Waugh and Simon Goss. IEEE Transactions of Data and Knowledge Engineering pages 1362-1375 November/December 2003 . Available from http://menzies.us/pdf/97iedge.pdf .
    • "Simulations for very early lifecycle quality evaluations" by E. Chiang and Tim Menzies. Software Process: Improvement and Practice pages 141-159 2003 . Available from http://menzies.us/pdf/03spip.pdf .
    • "More Success and Failure Factors in Software Reuse" by Tim Menzies and J.S. Di Stefano. IEEE Transactions on Software Engineering May 2003 . Available from http://menzies.us/pdf/02sereuse.pdf .
    2000
    • "Meta-Knowledges in systems design: panacea... or undelivered promise?" by Y. Kalfoglou and Tim 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 Tim 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 .
    • "Adequacy of Limited Testing for Knowledge Based Systems" by Tim Menzies and B. Cukic. International Journal on Artificial Intelligence Tools (IJAIT) June 2000 . Available from http://menzies.us/pdf/00ijait.pdf .
    1999
    • "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 Tim Menzies. The Knowledge Engineering Review pages 1-46 1999 . Available from http://menzies.us/pdf/97kmall.pdf .
    1998
    • "Towards Situated Knowledge Acquisition" by Tim 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 Tim Menzies and Paul Compton. Artificial Intelligence in Medicine pages 145-175 1997 . Available from http://menzies.us/pdf/96aim.pdf .
    • "OO Patterns: Lessons from Expert Systems" by Tim 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 Tim Menzies. International Journal of Human Computer Studies pages 305-355 1996 . Available from http://menzies.us/pdf/96abkl.pdf .

     

    Conference papers (86)

      2011
      • "How to Find Relevant Data for Effort Estimation?" by Kocaguneli, E. and Menzies, T.. Proceedings ESEM11 (to appear) 2011 . .
      • "Local vs Global Models for Effort Estimation and Defect Prediction" by Menzies, Tim and Butcher, Andrew and Marcus, Andrian and Zimmermann, Thomas and Cok, David. IEEE ASE11 2011 . Available from http://menzies.us/pdf/11ase.pdf .
      2010
      • "When to Use Data from Other Projects for Effort Estimation" by Ekrem Kocaguneli and Gregory Gay and Tim Menzies and Ye Yang and Jacky W. Keung. IEEE ASE10 2010 . Available from http://menzies.us/pdf/10other.pdf .
      • "Case-Based Reasoning vs Parametric Models for Software Quality optimization" by Adam Brady and Tim Menzies. PROMISE10 2010 . Available from http://menzies.us/pdf/10cbr.pdf .
      • "On the Value of Learning From Defect Dense Components for Software Defect Prediction" by Hongyu Zhang and Adam Nelson and Tim Menzies. Proceedings of PROMISE10 2010 . Available from http://menzies.us/pdf/10dense.pdf .
      • "Text mining in supporting software systems risk assurance" by Huang, LiGuo and Port, Daniel and Wang, Liang and Xie, Tao and Menzies, Tim. IEEE ASE10 pages 163--166 2010 . Available from http://menzies.us/pdf/10textrisk.pdf .
      • "Regularities in Learning Defect Predictors" by Burak Turhan and Ayse Bener and Tim Menzies. Profes 2010 2010 . .
      2009
      • "Understanding the Value of Software Engineering Technologies" by P. Green and Tim 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 Tim Menzies and Oussama El-Rawas and J. Hihn and B. Boehm. PROMISE09 2009 . Available from http://menzies.us/pdf/09bfc.pdf .
      • "Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development" by B. Lemon and A. Riesbeck and Tim 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 .
      • "How to Build Repeatable Experiments" by G. Gay and Tim Menzies and B. Cukic and Burak Turhan. PROMISE09 2009 . Available from http://menzies.us/pdf/09ourmine.pdf .
      • "How to Avoid Drastic Software Process Change (using Stochastic Stability)" by Tim Menzies and S. Williams and Oussama El-Rawas and B. Boehm and J. Hihn. ICSE09 2009 . Available from http://menzies.us/pdf/08drastic.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 .
      • "Variance analysis in software fault prediction models" by B. Cukic and Tim Menzies and Y. Jiang. IEEE ISSRE09 2009 . Available from http://menzies.us/pdf/09irrf.pdf .
      • "On the use of Relevance Feedback in IR-based Concept Location" by G. Gay and S. Haiduc and A. Marcus and Tim Menzies. IEEE ICSM09 2009 . Available from http://menzies.us/pdf/09irrf.pdf .
      • "Parametric Analysis of a Hover Test Vehicle Using Advanced Test Generation and Data Analysis" by K. Gundy-Burlet and J. Schumann and Tim Menzies and T. Barrett. AIAA Aerospace, 2009 2009 . .
      2008
      • "2CEE, A TWENTY FIRST CENTURY EFFORT ESTIMATION METHODOLOGY" by J. Hihn and T. Menzies and K. Lum and Tim Menzies and D. Baker and O. Jalali. ISPA08: International Society of Parametric Analysis 2008 . Available from http://menzies.us/pdf/08ispa.pdf .
      • "Parametric Analysis of ANTARES Re-entry Guidance Algorithms Using Advanced Test Generation and DAta Analysis" by K. Gundy-Burlet and J. Schumann and Tim Menzies and T. Barrett. 9th International Symposium on Artifical Intelligence, Robotics and Automation in Space 2008 . Available from http://menzies.us/pdf/08antares.pdf .
      • "Accurate Estimates without Calibration" by Tim Menzies and Oussama El-Rawas 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 Tim 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 Tim Menzies. Proceedings, ISSRE08 2008 . Available from http://menzies.us/pdf/08costcurves.pdf .
      • "Using Simulation to Investigate Requirements Prioritization Strategies" by D. Port and A. Olkov and Tim Menzies. IEEE ASE08 2008 . Available from http://menzies.us/pdf/08simrequire.pdf .
      2007
      • "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 .
      • "The Business Case for Automated Software Engineerng" by Tim Menzies and Oussama El-Rawas and J. Hihn and M. Feather 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 .
      • "Fault Prediction using Early Lifecycle Data" by Y. Jiang and B. Cukic and Tim Menzies. ISSRE07 2007 . Available from http://menzies.us/pdf/07issre.pdf .
      2006
      • "Studies in Software Cost Model Behavior: Do we Really Understand Cost Model Performance?" by K. Lum and J. Hihn and Tim Menzies. ISPA Conference Proceedings 2006 . Available from http://menzies.us/pdf/06ispa.pdf .
      • "Learning IV&V Strategies" by M.S. Fisher and Tim 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 Tim Menzies. COMPSAC 06 2006 . Available from http://menzies.us/pdf/06compsac.pdf .
      2005
      • "Validation Methods for Calibrating Software Effort Models" by Tim Menzies and D. Port and Z. Chen and J. Hihn and S. Stukes. Proceedings, ICSE 2005 . Available from http://menzies.us/pdf/04coconut.pdf .
      • "Specialization and Extrapolation of Induced Domain Models: Case Studies in Software Effort Estimation" by Tim Menzies and D. Port and Z. Chen and J. Hihn and S. Stukes. IEEE ASE, 2005 2005 . Available from http://menzies.us/pdf/05learncost.pdf .
      2003
      • "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 .
      • "Lurch: a Lightweight Alternative to Model Checking" by D. Owen and Tim Menzies. SEKE 03 2003 . Available from http://menzies.us/pdf/03lurch.pdf .
      • "Relating Practitioner Needs to Research Activities" by M.S. Feather and Tim 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 .
      • "Identifying Fruitful Connections Between and Among Researchers and Practitioners" by M.S. Feather and Tim 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 .
      • "Matching Software Practitioner Needs to Researcher Activities" by M.S. Feather and Tim 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 .
      • "When Can We Test Less?" by Tim 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 .
      • "Learning Early Lifecycle IVV Quality Indicators" by Tim 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 Tim Menzies. Proceedings of the IEEE Aerospace Conference, Big Sky, Montana 2003 . Available from http://menzies.us/pdf/03aero.pdf .
      • "Position Paper: Summary of simulations for Very Early Lifecycle Quality Evaluations" by E. Chiang and Tim Menzies. Prosim 03 2003 . Available from http://menzies.us/pdf/03prosim.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 .
      • "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 .
      2002
      • "Data Sniffing - Monitoring of Machine Learning for Online Adaptive Systems" by Y. Liu and Tim Menzies and B. Cukic. IEEE Tools with AI 2002 . Available from http://menzies.us/pdf/03datasniffing.pdf .
      • "Converging on the Optimal Attainment of Requirements" by M.S. Feather and Tim 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 .
      • "Machine Learning for Software Engineering: Case Studies in Software Reuse" by J.S. Di Stefano and Tim Menzies. Proceedings, IEEE Tools with AI, 2002 2002 . Available from http://menzies.us/pdf/02reusetai.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 Tim Menzies and B. Cukic. IEEE Conference on Automated Software Engineering (ASE 02) 2002 . Available from http://menzies.us/pdf/02moretest.pdf .
      • "Saturation Effects in Testing of Formal Models" by Tim Menzies and D. Owen and B. Cukic. ISSRE 2002 2002 . Available from http://menzies.us/pdf/02sat.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 Tim Menzies. 7th IEEE International Symposium on High Assurance Systems Engineering pages 119 2002 . .
      2001
      • "Fast Formal Analysis of Requirements via Topoi Diagrams" by Tim Menzies and J. Powell and M. E. Houle. ICSE 2001 2001 . Available from http://menzies.us/pdf/00fastre.pdf .
      • "How AI can help SE; or: Randomized Search Not Considered Harmful" by Tim 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 .
      • "Better reasoning about software engineering activities" by Tim Menzies and J.D. Kiper. ASE-2001 2001 . Available from http://menzies.us/pdf/01ase.pdf .
      2000
      • "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 .
      • "Practical Large Scale What-if Queries: Case Studies with Software Risk Assessment" by Tim Menzies and E. Sinsel. Proceedings ASE 2000 2000 . Available from http://menzies.us/pdf/00ase.pdf .
      1999
      • "Fewer Slices of PIE: Optimising Mutation Testing via Abduction" by Tim Menzies and C.C. Michael. SEKE 99, June 17-19, Kaiserslautern Germany. 1999 . Available from http://menzies.us/pdf/99seke.pdf .
      • "An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering" by Tim Menzies and S. Easterbrook and Bashar Nuseibeh and Sam Waugh. RE 99 1999 . Available from http://menzies.us/pdf/99re.pdf .
      • "On the Sufficiency of Limited Testing for Knowledge Based Systems" by Tim Menzies and B. Cukic. The Eleventh IEEE International Conference on Tools with Artificial Intelligence. November 9-11 1999. Chicago IL USA. 1999 . .
      1998
      • "Lower Limits on the Size of Test Data Sets" by Tim 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 Tim 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 Tim Menzies. Proceedings of the Australain AI 98 conference 1998 . Available from http://menzies.us/pdf/97links.pdf .
      1997
      • "Evaluating a Qualitative Reasoner" by S. Waugh and Tim 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 Decision Support Tool for Tuning Parameters in a Machine Leraning Algorithm" by M. Postema and Tim 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 .
      • "A Tuning Aid for Discretization in Rule Induction" by M.Posterma and X. Wu and Tim Menzies. First Pacific Asia Conference on Knowledge Discovery and Data Mining (PAKDD97) 1997 . Available from http://menzies.us/pdf/97paces.pdf .
      1996
      • "An Ongoing Experiment in O-O Software Process and Product Measurements" by S Ramakrishnan and Tim Menzies. Proceedings SEEP96, New Zealand 1996 . .
      • "Comparing and Generalising Models for Metrics Repositories" by Tim 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 Tim Menzies. Tools Pacific, 1996, Melbourne 1996 . Available from http://menzies.us/pdf/96conel.pdf .
      • "On the Practicality of Abductive Validation" by Tim Menzies. ECAI 96 1996 . Available from http:/menzies.us/pdf/96ok.pdf .
      • "Visual Programming, Knowledge Engineering, and Visual Programming" by Tim Menzies. Proceedings of the Eighth International Conference on Software Engineering and Knowledge Engineering 1996 . Available from http://menzies.us/pdf/96seke.pdf .
      • "On Building an Effective Measurement System for OO Software Process, Product and Resource Tracking" by S Ramakrishnan and Tim Menzies and M. Hasslinger and P. Bok and H. McCarthy and B. Devakadadcham and D. Moulder. Tools Pacific, 1996 1996 . .
      • "On Building an Effective Measurement System for OO Software Process" by S. Ramakrishnan and Tim 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 .
      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 Tim 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 Tim Menzies. Australian Cognitive Science Society, 3rd Conference 1995 . Available from http://menzies.us/pdf/cogsci95.pdf .
      1994
      • "A Precise Semantics for Vague Diagrams" by Tim Menzies and P. Compton. Proceedings of Australian AI94 pages 149--156 1994 . Available from http://menzies.us/pdf/ai94.pdf .
      • "The Effects of Class Coupling on Class Size in Smalltalk Systems" by P. Haynes and Tim Menzies. Tools 94 pages 121-129 1994 . .
      • "The Methodologies of Methodologies; or Evaluating Current Methodologies: Why and How" by Tim Menzies and P. Haynes. Tools Pacific 94 pages 83-92 1994 . Available from http://menzies.us/pdf/tools94.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 Tim Menzies. Tools Pacific 1993 pages 75-82 1993 . .
      1992
      • "Maintaining Procedural Knowledge: Ripple-Down-Functions" by Tim Menzies. Proceedings of AI 92, Australia 1992 . Available from http://menzies.us/pdf/ai92.pdf .
      • "Inventing Causal Qualitative Models: A Tool for Experimental Research" by A.J. Mahidadia and P. Compton and Tim Menzies and C. Sammut and G.A. Smythe. AI 92, Horbart, Australia 1992 . .
      • "An Expert System for Raising Pigs" by Tim 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 .
      • "The Mysterious Case of the Missing Re-usable Class Libraries" by Tim Menzies and J. Edwards and K. Ng. Tools Pacific 1992 pages 421-428 1992 . Available from http://menzies.us/pdf/tools92.pdf .
      1991
      • "Beyond the MVC Triad: Quality Assurance via Interactive Specification Editors" by Tim 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 Tim Menzies. Tools Pacific 4 1991 . Available from http://menzies.us/pdf/tools91.pdf .
      1990
      • "Isa Object Part-of Knowledge Representation?" by Tim Menzies. Proceedings AI 90 1990 . .
      1987
      • "Worlds in Prolog" by Tim 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 Tim Menzies and B.R. Markey. Proceedings of the Third Australian Conference on Expert Systems, May 13-15 1987 . .

       

      Workshop papers (70)

        2011
        • "The inductive software engineering manifesto: principles for industrial data mining" by Menzies, Tim and Bird, Christian and Zimmermann, Thomas and Schulte, Wolfram and Kocaganeli, Ekrem. Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering 19--26 2011 . .
        2010
        2008
        • "Comparing Design and Code Metrics for Software Quality Prediction" by Y. Jiang and B. Cukic and Tim 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 Tim Menzies. Defects 2008 2008 . Available from http://menzies.us/pdf/08transform.pdf .
        • "Optimizing Requirements Decisions With KEYS" by O. Jalali and Tim 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 Tim 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 Tim Menzies and Oussama El-Rawas 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
        • "The Deviance Problem in Effort Estimation" by T. Menzies and K. Lum and J. Hihn. PROMISE, 2006 2006 . Available from http://menzies.us/06deviations.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 Tim Menzies. First International Workshop on Requirements Engineering Visualization 2006 . Available from http://menzies.us/pdf/06rev.pdf .
        • "Bayesian Anomaly Detection (BAD v1.0)" by Tim 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 .
        2005
        2004
        • "Data Mining from Process Models" by Tim 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 Tim 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 Tim 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 Tim Menzies. International Workshop on Mining Software Repositories 2004 . Available from http://menzies.us/pdf/04msrtext.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 . .
        • "Model-Based Software Testing via Treatment Learning" by D. Geletko and Tim Menzies. IEEE NASE SEW 2003 2003 . Available from http://menzies.us/pdf/03radar.pdf .
        • "Improved software engineering decision support through automatic argument reduction tools" by Tim 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 .
        • "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 NASA SEW 2003 2003 . Available from http://menzies.us/pdf/03lurchc.pdf .
        2002
        • "Some Prolog Macros for Rule-Based Programming: Why? How?" by Tim 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 Tim Menzies and D. Owen and B. Cukic. Formal Aspects of Agent-Based Systems 2002 . Available from http://menzies.us/pdf/02trust.pdf .
        • "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 Tim 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 .
        2001
        • "Many Maybes Mean (Mostly) the Same Thing" by Tim 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 Tim 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 Tim Menzies and B. Cukic. AAAI Stanford Spring Symposium on Model-based Validation of AI Systems 2001 . Available from http://menzies.us/pdf/01validint.pdf .
        • "Applictions of Computational Intelligence to Quantitative Software Engineering" by Tim Menzies. ASERC workshop on Quantiative Software Engineering 2001 . Available from http://menzies.us/pdf/01quase.pdf .
        • "Constraining discussions in requirements engineering" by Tim Menzies and Y. Hu. First International Workshop on Model-based Requirements Engineering 2001 . Available from http://menzies.us/pdf/01lesstalk.pdf .
        • "Reusing models for requirements engineering" by Tim Menzies and Y. Hu. First International Workshop on Model-based Requirements Engineering 2001 . Available from http://menzies.us/pdf/01reusere.pdf .
        2000
        • "Maintaining Maintainability = Recognizing Reachability" by Tim 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 .
        • "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 Tim Menzies. Proceedings of 10th International Workshop on Software Specification and Design (IWSSD-10) 2000 . Available from http://menzies.us/pdf/00iwssd.pdf .
        • "Learning to Reduce Risks with COCOMO-II" by Tim 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 .
        1999
        • "Smaller, Faster Dialogues via Conversational Probing" by Tim Menzies and B. Cukic and E. Coiera. AAAI99 workshop on Conflicts and Identifying Opportunities. 1999 . Available from http://menzies.us/pdf/99aaaic.pdf .
        • "hQkb- The High Quality Knowledge Base Initiative (Sisyphus V: Learning Design Assessment Knowledge)" by Tim Menzies. KAW99: the 12th Workshop on Knowledge Acquisition Modeling and Management, Oct 16-22 1999 . Available from http://menzies.us/pdf/99hqkb.pdf .
        • "Intelligent Testing can be Very Lazy" by Tim Menzies and B. Cukic. Proceedings, AAAI 99 workshop on Intelligent Software Engineering, Orlando, Florida July 1999 . Available from http://menzies.us/pdf/99waaai.pdf .
        1998
        • "Evaluating Conceptual Qualitative Modeling Languages" by Tim 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 Tim Menzies. Banff Knowledge Acquisition workshop, 1998 1998 . Available from http://menzies.us/pdf/97eval.pdf .
        • "Evaluation Issues with Critical Success Metrics" by Tim Menzies. Banff KA 98 workshop. 1998 . Available from http://menzies.us/pdf/97langevl.pdf .
        • "Applications of Abduction: A Unified Framework for Software and Knowledge Engineering" by Tim Menzies. 1998 . Available from http://menzies.us/pdf/98apwise.pdf .
        • "Extending the SISYPHUS III Experiment from a Knowledge Engineering Task to a Requirements Engineering Task" by D. Richards and Tim Menzies. Banff Workshop on Knowledge Acquisition 1998 . Available from http://menzies.us/pdf/98kawre.pdf .
        • "Evaluation Issues for Problem Visual Programming Languages" by Tim Menzies. 1998 . Banff KA workshop, 1998. Available from http://menzies.us/pdf/97evalvp.pdf .
        • "More Results on the Practical Lower Limits of Test Set Size" by Tim Menzies and S. Waugh. Proceedings Pacific Knowledge Acquisition Workshop Singapore, November, 1998 1998 . Available from http://menzies.us/pdf/98pkaw.pdf .
        1997
        • "A Graph-Theoretic Optimisation of Temporal Abductive Validation" by Tim 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 .
        • "Ripple-Down Rationality: A Framework for Maintaining PSMs" by Tim 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 .
        • "Extending Knowledge Engineering to Requirements Engineering from Multiple Perspectives" by D. Richards and Tim Menzies. Third Australian Knowledge Acquisition Workshop Perth 1997 . Available from http://menzies.us/pdf/97akawre.pdf .
        • "Qualitative Causal Diagrams for Requirements Engineering" by Tim Menzies. The Second Australian Workshop on Requirements Engineering (AWRE97) 1997 . Available from http://menzies.us/pdf/97awre.pdf .
        1996
        • "Applications of Abduction: Intelligent Decision Support Systems" by Tim Menzies. Proceedings of the Melbourne Workshop on Intelligent Decision Support 1996 . Available from http://menzies.us/pdf/95idss.pdf .
        • "Generalised Test = Generalised Inference" by Tim Menzies. Proceedings of the ECAI 96 workshop on Validation Verification, and Refinement of KBS 1996 . Available from http://menzies.us/pdf/96ecaivv.pdf .
        • "Assessing Responses to Situated Congition" by Tim Menzies. Proceedings of the 10th Knowledge Acquisition Workshop for Knowledge-Based Systems, Banff,Canada 1996 . Available from http://menzies.us/pdf/96sitcog.pdf .
        • "Vague Models and Their Implications for the KBS Design Cycle" by Tim 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
        • "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 Tim Menzies and G. Phipps. OOPSLA Workshop on OO Process and Metrics for Effort Estimation 1995 . .
        • "Applications of Abduction #3: ``Black-Box to ``Gray-Box Model" by Tim Menzies and Simon 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 .
        • "Applications of Abduction #1: Intelligent Decision Support Systems." by Tim 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 Tim Menzies and Paul Compton. Proceedings of the 9th AAAI-Sponsored Banff Knowledge Acquisition for Knowledge Based Systems 1995 . Available from http://menzies.us/pdf/banff95.pdf .
        1994
        • "Exhaustive Abduction: A Practical Model Validation Tool" by Tim 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 Tim 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 Tim Menzies. DX-93: The International Workshop on Principles on Model-Based Diagnosis 1993 . .
        1992
        • "Qualitative Compartmental Modeling" by Tim 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 Tim Menzies and A. Mahidadia and P. Compton. Proceedings of the 7th AAAI-Sponsored Banff Knowledge Acquisition for Knowledge-Based Systems Workshop 1992 . .
        • "Using Causality as a Generic Knowledge Representation, or Why and How Centralised Knowledge Servers Can Use Causality" by Tim 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 Tim Menzies and P. Compton and A. Mahidadia. Communicating Scientific and Technical Knowledge, an AAAI 92 workshop 1992 . .
        • "Causal Explanations as a Tool for Refining Qualitative Models" by Tim Menzies and P. Compton. ECAI 92 Workshop on Improving the Use of Knowledge-Based Systems with Explanations, Vienna 1992 . .
        1991
        • "Ripple down rules: possibilities and limitations" by P. Compton and G. Edwards and B. Kang and L. Lazarus and R. Malor and Tim 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 Tim Menzies. IJCAI 91 Knowledge Acquisition Workshop 1991 . .

         

        Editorials (8)

          2009
          • "Editorial, Special issue on information retrieval for program comprehension" by L. Etzkorn and Tim Menzies. Empirical Software Engineering pages 1-4 2009 . Available from http://menzies.us/pdf/09ir4pc.pdf .
          2008
          • "Editorial, special issue, repeatable experiments in software engineering" by Tim Menzies. Empirical Software Engineering October 2008 . Available from http://menzies.us/pdf/08promised.pdf .
          2003
          • "Editorial, Requirements Engineering Journal, Special Issue on Model-based Requirements Engineering" by Tim Menzies. Requirements Engineering 2003 . Available from http://menzies.us/pdf/03mbre.pdf .
          • "$21^st$ century AI: proud, not smug" by Tim 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 Tim 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 Tim 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 Tim Menzies. Automated Software Engineering pages 315-320 1999 . Available from http://menzies.us/desert.html .
          1998
          • "Editorial, Special Issue on Situated Cognition" by Tim Menzies and B. Clancey. International Journal of Human-Computer Studies 1998 . Available from http://menzies.us/pdf/98evaled.pdf .

           

          Book Chapters (12)

            2010
            • "The Quest for Convincing Evidence" by Tim Menzies and Forrest Shull. Making Software: What Really Works and We Believe it 2010 . .
            2006
            2005
            • "Verification and Validation and Artificial Intelligence" by Tim Menzies and C. Pecheur. Advances in Computing 2005 . Available from http://menzies.us/pdf/04aivv.pdf .
            2003
            • "Many Maybes Mean (Mostly) the Same Thing" by Tim Menzies and H. Singh. Soft Computing in Software Engineering 2003 . Available from http://menzies.us/pdf/03maybe.pdf .
            • "Condensing uncertainty via Incremental Treatment Learning" by Tim 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 .
            2002
            • "How Many Tests are Enough?" by Tim 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 Tim 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 Tim 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 Tim 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 Tim Menzies. Handbook of Software Engineering and Knowledge Engineering December 2001 . Available from http://menzies.us/pdf/00ml.pdf .
            2000
            • "Expert Systems Maintenance" by Tim Menzies and J. Debenham. Encyclopedia of Computer Science and Technology pages 35-54 2000 . Available from http://menzies.us/pdf/00cst.pdf .
            1997