 | 2009 |
|---|
| 94 |       | Tim Menzies,
Steve Williams,
Barry W. Boehm,
Jairus Hihn:
How to avoid drastic software process change (using stochastic stability).
ICSE 2009: 540-550 |
| 93 | | Andres S. Orrego,
Tim Menzies,
Oussama El-Rawas:
On the Relative Merits of Software Reuse.
ICSP 2009: 186-197 |
| 92 | | Letha H. Etzkorn,
Tim Menzies:
Special issue on information retrieval for program comprehension.
Empirical Software Engineering 14(1): 1-4 (2009) |
| 2008 |
|---|
| 91 | | Daniel Port,
Alexy Olkov,
Tim Menzies:
Using Simulation to Investigate Requirements Prioritization Strategies.
ASE 2008: 268-277 |
| 90 | | Johann Schumann,
Karen Gundy-Burlet,
Corina S. Pasareanu,
Tim Menzies,
Tony Barrett:
Tool Support for Parametric Analysis of Large Software Simulation Systems.
ASE 2008: 497-498 |
| 89 | | Yue Jiang,
Bojan Cukic,
Tim Menzies:
Can data transformation help in the detection of fault-prone modules?
DEFECTS 2008: 16-20 |
| 88 | | Burak Turhan,
Ayse Basar Bener,
Tim Menzies:
Nearest neighbor sampling for cross company defect predictors: abstract only.
DEFECTS 2008: 26 |
| 87 | | Gary D. Boetticher,
Tim Menzies,
Thomas J. Ostrand,
Günther Ruhe:
4th international workshop on predictor models in SE (PROMISE 2008).
ICSE Companion 2008: 1061-1062 |
| 86 | | Tim Menzies,
Andrian Marcus:
Automated severity assessment of software defect reports.
ICSM 2008: 346-355 |
| 85 | | Tim Menzies,
Oussama El-Rawas,
Barry W. Boehm,
Raymond J. Madachy,
Jairus Hihn,
Daniel Baker,
Karen T. Lum:
Accurate Estimates without Calibration?.
ICSP 2008: 210-221 |
| 84 | | Yue Jiang,
Bojan Cukic,
Tim Menzies:
Cost Curve Evaluation of Fault Prediction Models.
ISSRE 2008: 197-206 |
| 83 | | Tim Menzies:
Editorial, special issue, repeatable experiments in software engineering.
Empirical Software Engineering 13(5): 469-471 (2008) |
| 82 | | Martin S. Feather,
Steven L. Cornford,
Kenneth A. Hicks,
James D. Kiper,
Tim Menzies:
A Broad, Quantitative Model for Making Early Requirements Decisions.
IEEE Software 25(2): 49-56 (2008) |
| 81 | | Tim Menzies,
Markland Benson,
Ken Costello,
Christina Moats,
Melissa Northey,
Julian Richardson:
Learning better IV&V practices.
ISSE 4(2): 169-183 (2008) |
| 2007 |
|---|
| 80 | | James H. Andrews,
Felix Chun Hang Li,
Tim Menzies:
Nighthawk: a two-level genetic-random unit test data generator.
ASE 2007: 144-153 |
| 79 | | Tim Menzies,
Oussama El-Rawas,
Jairus Hihn,
Martin S. Feather,
Raymond J. Madachy,
Barry W. Boehm:
The business case for automated software engineering.
ASE 2007: 303-312 |
| 78 | | Tim Menzies,
David Owen,
Julian Richardson:
The Strangest Thing About Software.
IEEE Computer 40(1): 54-60 (2007) |
| 77 | | Tim Menzies,
Jeremy Greenwald,
Art Frank:
Data Mining Static Code Attributes to Learn Defect Predictors.
IEEE Trans. Software Eng. 33(1): 2-13 (2007) |
| 76 | | Tim Menzies,
Alex Dekhtyar,
Justin Distefano,
Jeremy Greenwald:
Problems with Precision: A Response to "Comments on 'Data Mining Static Code Attributes to Learn Defect Predictors'".
IEEE Trans. Software Eng. 33(9): 637-640 (2007) |
| 2006 |
|---|
| 75 | | Jimin Gao,
Mats Per Erik Heimdahl,
David Owen,
Tim Menzies:
On the Distribution of Property Violations in Formal Models: An Initial Study.
COMPSAC (1) 2006: 150-160 |
| 74 | | Marcus S. Fisher,
Tim Menzies:
Learning IV&V Strategies.
HICSS 2006 |
| 73 | | Tim Menzies,
Julian Richardson:
Qualitative Modeling for Requirements Engineering.
SEW 2006: 11-20 |
| 72 | | Tim Menzies,
Ying Hu:
Just enough learning (of association rules): the TAR2 "Treatment" learner.
Artif. Intell. Rev. 25(3): 211-229 (2006) |
| 71 | | Tim Menzies,
Julian Richardson:
Making Sense of Requirements, Sooner.
IEEE Computer 39(10): 112-114 (2006) |
| 70 | | Tim Menzies,
Jairus Hihn:
Evidence-Based Cost Estimation for Better-Quality Software.
IEEE Software 23(4): 64-66 (2006) |
| 69 | | Tim Menzies,
Zhihao Chen,
Jairus Hihn,
Karen T. Lum:
Selecting Best Practices for Effort Estimation.
IEEE Trans. Software Eng. 32(11): 883-895 (2006) |
| 2005 |
|---|
| 68 | | Tim Menzies,
Daniel Port,
Zhihao Chen,
Jairus Hihn:
Specialization and extrapolation of software cost models.
ASE 2005: 384-387 |
| 67 | | Tim Menzies,
Daniel Port,
Zhihao Chen,
Jairus Hihn,
Sherry Stukes:
Validation methods for calibrating software effort models.
ICSE 2005: 587-595 |
| 66 | | Jelber Sayyad-Shirabad,
Tim Menzies:
Predictor models in software engineering (PROMISE).
ICSE 2005: 692 |
| 65 | | Zhihao Chen,
Tim Menzies,
Daniel Port,
Barry W. Boehm:
Feature subset selection can improve software cost estimation accuracy.
ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005) |
| 64 | | Tim Menzies,
Daniel Port,
Zhihao Chen,
Jairus Hihn:
Simple software cost analysis: safe or unsafe?
ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005) |
| 63 |  | Tim Menzies,
Charles Pecheur:
Verification and Validation and Artificial Intelligence.
Advances in Computers 65: 154-203 (2005) |
| 62 | | Zhihao Chen,
Barry W. Boehm,
Tim Menzies,
Daniel Port:
Finding the Right Data for Software Cost Modeling.
IEEE Software 22(6): 38-46 (2005) |
| 2004 |
|---|
| 61 | | Tim Menzies,
Justin S. Di Stefano:
How Good Is Your Blind Spot Sampling Policy?
HASE 2004: 129-138 |
| 2003 |
|---|
| 60 | | Martin S. Feather,
Tim Menzies,
Judith R. Connelly:
Matching Software Practitioner Needs to Researcher Activities.
APSEC 2003: 6-16 |
| 59 | | Yan Liu,
Srikanth Gururajan,
Bojan Cukic,
Tim Menzies,
Marcello R. Napolitano:
Validating an Online Adaptive System Using SVDD.
ICTAI 2003: 384- |
| 58 | | Tim Menzies,
Justin S. Di Stefano,
Mike Chapman:
Learning Early Lifecycle IV&V Quality Indicators.
IEEE METRICS 2003: 88-97 |
| 57 | | Tim Menzies,
Justin S. Di Stefano,
Kareem Ammar,
Kenneth McGill,
Pat Callis,
Robert (Mike) Chapman,
John Davis:
When Can We Test Less?
IEEE METRICS 2003: 98- |
| 56 | | Martin S. Feather,
Tim Menzies,
Judith R. Connelly:
Relating Practitioner Needs to Research Activities.
RE 2003: 352- |
| 55 | | David Owen,
Tim Menzies:
Lurch: a Lightweight Alternative to Model Checking.
SEKE 2003: 158-165 |
| 54 | | Tim Menzies,
Robyn R. Lutz,
Ines Carmen Mikulski:
Better Analysis of Defect Data at NASA.
SEKE 2003: 607-611 |
| 53 | | Tim Menzies,
James D. Kiper,
Martin S. Feather:
Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools.
SEKE 2003: 655-662 |
| 52 | | David Owen,
Tim Menzies,
Mats Per Erik Heimdahl,
Jimin Gao:
On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate.
SEW 2003: 75 |
| 51 | | Dustin Geletko,
Tim Menzies:
Model-Based Software Testing via Incremental Treatment Learning.
SEW 2003: 82 |
| 50 | | Tim Menzies,
Ying Hu:
Data Mining for Very Busy People.
IEEE Computer 36(11): 22-29 (2003) |
| 49 | | Tim Menzies:
Guest Editor's Introduction: 21st Century AI--Proud, Not Smug.
IEEE Intelligent Systems 18(3): 18-24 (2003) |
| 48 | | Tim Menzies,
Justin S. Di Stefano:
More Success and Failure Factors in Software Reuse.
IEEE Trans. Software Eng. 29(5): 474-477 (2003) |
| 47 | | Tim Menzies:
Editorial: model-based requirements engineering.
Requir. Eng. 8(4): 193-194 (2003) |
| 2002 |
|---|
| 46 | | Tim Menzies,
Lindsay Mason:
Some prolog macros for rule-based programming: why? how?
ACM SIGPLAN Workshop on Rule-Based Programming 2002: 79-92 |
| 45 | | Tim Menzies,
David Raffo,
Siri-on Setamanit,
Ying Hu,
Sina Tootoonia:
Model-Based Tests of Truisms.
ASE 2002: 183- |
| 44 | | David Owen,
Tim Menzies,
Bojan Cukic:
What Makes Finite-State Models More (or Less) Testable?
ASE 2002: 237-240 |
| 43 | | Tim Menzies,
Adrian R. Pearce,
Clinton Heinze,
Simon Goss:
What Is an Agent and Why Should I Care?
FAABS 2002: 1-14 |
| 42 | | Tim Menzies,
David Owen,
Bojan Cukic:
You Seem Friendly, But Can I Trust You?
FAABS 2002: 208-219 |
| 41 | | David Owen,
Bojan Cukic,
Tim Menzies:
An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models.
HASE 2002: 119-128 |
| 40 | | Yan Liu,
Tim Menzies,
Bojan Cukic:
Data Sniffing - Monitoring of Machine Learning for Online Adaptive Systems.
ICTAI 2002: 16-21 |
| 39 | | Justin S. Di Stefano,
Tim Menzies:
Machine Learning for Software Engineering: Case Studies in Software Reuse.
ICTAI 2002: 246-251 |
| 38 | | Tim Menzies,
David Owen,
Bojan Cukic:
Saturation Effects in Testing of Formal Models.
ISSRE 2002: 15-26 |
| 37 | | Martin S. Feather,
Tim Menzies:
Converging on the Optimal Attainment of Requirements.
RE 2002: 263-272 |
| 36 | | Tim Menzies,
Robert F. Cohen,
Sam Waugh,
Simon Goss:
Applications of Abduction: Testing Very Long Qualitative Simulations.
IEEE Trans. Knowl. Data Eng. 14(6): 1362-1375 (2002) |
| 35 | | Eliza Chiang,
Tim Menzies:
Simulations for very early lifecycle quality evaluations.
Software Process: Improvement and Practice 7(3-4): 141-159 (2002) |
| 2001 |
|---|
| 34 | | Tim Menzies,
James D. Kiper:
Better Reasoning About Software Engineering Activities.
ASE 2001: 391-394 |
| 33 | | Tim Menzies,
Harshinder Singh:
How AI Can Help SE; or: Randomized Search Not Considered Harmful.
Canadian Conference on AI 2001: 100-110 |
| 32 | | Tim Menzies,
John D. Powell,
Michael E. Houle:
Fast Formal Analysis of Requirements via "Topoi Diagrams".
ICSE 2001: 391-400 |
| 2000 |
|---|
| 31 | | Tim Menzies,
Erik Sinsel:
Practical Large Scale What-If Queries: Case Studies with Software Risk Assessment.
ASE 2000: 165- |
| 30 | | Tim Menzies,
Bojan Cukic,
Harshinder Singh:
Agents Talking Faster.
FAABS 2000: 194-208 |
| 29 | | Tim Menzies:
WISE3: the Third International Workshop on Intelligent Software Engineering (workshop session).
ICSE 2000: 812-813 |
| 28 | | Tim Menzies,
Bojan Cukic,
Harshinder Singh,
John D. Powell:
Testing Nondeterminate Systems.
ISSRE 2000: 222-233 |
| 27 | | Tim Menzies:
The Complexity of TRMCS-like Spiral Specification.
IWSSD 2000: 183-190 |
| 26 | | Brian Drabble,
Laurent Chaudron,
Catherine Tessier,
Sue Abu-Hakima,
Steven Willmott,
Jim Austin,
Boi Faltings,
Eugene C. Freuder,
Gerhard Friedrich,
Alex Alves Freitas,
Ulises Cortés,
Miquel Sànchez-Marrè,
David W. Aha,
Irma Becerra-Fernandez,
Héctor Muñoz-Avila,
Aditya Ghose,
Tim Menzies,
Ken Satoh,
Mary Elaine Califf,
Michael T. Cox,
Sandip Sen,
Patrick Brézillon,
Jean-Charles Pomerol,
Roy M. Turner,
Elise H. Turner:
Reports on the AAAI 1999 Workshop Program.
AI Magazine 21(1): 95-100 (2000) |
| 25 | | Tim Menzies,
Bojan Cukic:
When to Test Less.
IEEE Software 17(5): (2000) |
| 24 | | Tim Menzies,
Bojan Cukic:
Adequacy of Limited Testing for Knowledge Based Systems.
International Journal on Artificial Intelligence Tools 9(1): 153-172 (2000) |
| 1999 |
|---|
| 23 | | Tim Menzies,
Bojan Cukic:
On the Sufficiency of Limited Testing for Knowledge Based Systems.
ICTAI 1999: 431-440 |
| 22 | | Tim Menzies,
Steve M. Easterbrook,
Bashar Nuseibeh,
Sam Waugh:
An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering.
RE 1999: 100- |
| 21 | | Tim Menzies:
Desert Island Column.
Autom. Softw. Eng. 6(3): 315-320 (1999) |
| 20 | | Tim Menzies,
Frank van Harmelen:
Editorial: Evaluating knowledge engineering techniques.
Int. J. Hum.-Comput. Stud. 51(4): 715-727 (1999) |
| 19 | | Tim Menzies:
Critical success metrics: evaluation at the business level.
Int. J. Hum.-Comput. Stud. 51(4): 783-799 (1999) |
| 18 | | Tim Menzies:
Cost benefits of ontologies.
Intelligence 10(3): 26-32 (1999) |
| 1998 |
|---|
| 17 | | Tim Menzies,
Sam Waugh:
Lower Bounds on the Size of Test Data Sets.
Australian Joint Conference on Artificial Intelligence 1998: 227-237 |
| 16 | | Sam Waugh,
Brian Hanlon,
Tim Menzies:
The Temporal QCM Modelling Language.
Australian Joint Conference on Artificial Intelligence 1998: 262-272 |
| 15 | | Tim Menzies,
Sam Waugh:
On the Practicality of Viewpoint-Based Requirements Engineering.
PRICAI 1998: 110-121 |
| 14 | | Tim Menzies,
William J. Clancey:
Editorial: the challenge of situated cognition for symbolic knowledge-based systems.
Int. J. Hum.-Comput. Stud. 49(6): 767-769 (1998) |
| 13 | | Tim Menzies:
Towards situated knowledge acquisition.
Int. J. Hum.-Comput. Stud. 49(6): 867-893 (1998) |
| 1997 |
|---|
| 12 | | Sam Waugh,
Tim Menzies,
Simon Goss:
Evaluating a Qualitative Reasoner.
Australian Joint Conference on Artificial Intelligence 1997: 505-514 |
| 11 | | Tim Menzies,
Robert F. Cohen:
A Graph Theoretic Optimisation of Temporal Abductive Validation.
EUROVAV 1997: 55-68 |
| 10 | | Tim Menzies,
Paul Compton:
Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models.
Artificial Intelligence in Medicine 10(2): 145-175 (1997) |
| 9 | | Tim Menzies:
Object-Oriented Patterns: Lessons from Expert Systems.
Softw., Pract. Exper. 27(12): 1457-1478 (1997) |
| 1996 |
|---|
| 8 | | Tim Menzies:
On the Practicality of Abductive Validation.
ECAI 1996: 23-27 |
| 7 | | Tim Menzies:
Visual Programming, Knowledge Engineering, and Software Engineering.
SEKE 1996: 506-513 |
| 1993 |
|---|
| 6 | | Tim Menzies,
Richard Spurrett:
How to Edit "It"; or: A "Black-box" Constraint-Based Framework for User-Interaction with Arbitrary Structures.
TOOLS (12/9) 1993: 213-224 |
| 5 | | Tim Menzies,
Julian M. Edwards,
Kekwee Ng:
The Mysterious Case of the Missing Reusable Class Libraries.
TOOLS (12/9) 1993: 421-427 |
| 4 | | Philip Haynes,
Tim Menzies:
"C++ is Better Than Smalltalk"??
TOOLS (12/9) 1993: 75-82 |
| 1992 |
|---|
| 3 | | Tim Menzies:
Is-a Object Part-of Knowledge Representation (Part 2).
TOOLS (6) 1992: 213-223 |
| 1989 |
|---|
| 2 | | Tim Menzies:
An Investigation of AI and Expert Systems Literature: 1980-1984.
AI Magazine 10(2): 53-61 (1989) |
| 1988 |
|---|
| 1 | | Tim Menzies,
M. Dean,
J. L. Black,
J. F. Fleming:
Combining Heuristics and Simulation Models: An Expert System for the Optimal Management of Pigs.
Australian Joint Conference on Artificial Intelligence 1988: 48-61 |
