- Learning Tiny Theories Tim Menzies
- To appear,15th IEEE International Conference on Automated Software Engineering September 11-15, 2000, IMAG Grenoble, France. http://sigart.acm.org/Conferences/ase/
- Evaluating a Qualitative Reasoner , Tim Menzies2
- Verification and Validation and Artificial Intelligence
- 0 7 4 0 -7459/00/$10.00 2000 IEEE September/October 2000 IEEE SOFTWARE 107 testing methods--for example, they might
- MAY/JUNE 2002 1094-7167/02/$17.00 2002 IEEE 81 Editor: Scott L. Andresen
- 0 74 0 -74 5 9 / 0 8 / $ 2 5 . 0 0 2 0 0 8 I E E E March/April 2008 I E E E S O F T WA R E 3 focussoftware quality requirements
- WVU eSEI: SURVEY RESULTS ANALYSIS Instructor: Timothy Menzies 86374CRN
- Fault Prediction using Early Lifecycle Data Yue Jiang, Bojan Cukic, Tim Menzies
- Empirical Software Engineering manuscript No. On the Relative Value of Cross-Company and
- You seem friendly, but can I trust you? Tim Menzies, David Owen, Bojan Cukic
- !#" $%&'(0)1 2436587@9BADCB369EFG9BHDIP!QRTSUQRVIXW`Ybac9dFG9Bef9Bg6QHD59BAUIihU7pQfAqYbEcrpsAt3uef9BacEv36IXwUhUxTyDEIcavYg63YU''tv'fdtecUfgffheUUUijgkUkflUlUlTvVtbDDemfUfcfDkUnoU
- Optimizing Requirements Decisions With KEYS Omid Jalali, Tim Menzies
- Simulations for Very Early Lifecycle Quality Evaluations Eliza Chiang
- Data Mining Static Code Attributes to Learn Defect Predictors
- Experiences using Visualization Techniques to Present Requirements, Risks to Them, and Options for Risk Mitigation
- To appear: International Journal of Human Computer Studies, Special Issue on Evaluation of Knowledge Engineering Techniques, 2000, WP:b/97/quench/words/words(July 3, 1999).
- Int. J. HumanComputer Studies (1996) 45, 305335 Applications of abduction: knowledge-level modelling
- Automated Severity Assessment of Software Defect Reports Tim Menzies
- The Business Case for Automated Software Engineering Tim Menzies
- To appear, Artificial Intelligence in Medicine, 10, 1997, 145-175, http: www.cse.unsw.edu.au ~timm pub docs 96aim.ps.gz WP:a 96 a aim wordsMay 11, 1999.
- Constraining Discussions in Requirements Engineering via Models Tim Menzies , Ying Hu
- Can We Build Software Faster and Better and Cheaper? Tim Menzies, Oussama
- SOFTWARE--PRACTICE AND EXPERIENCE, VOL. 1(1), 1 (DECEMBER 1997) Object-Oriented Patterns: Lessons from Expert Systems
- Tim Menzies Artificial Intelligence Laboratory, School of Computer Science and Engineering,
- When to Use Data from Other Projects for Effort Estimation Ekrem Kocaguneli,
- Annals of Software Engineering, special issue on Computational Intelligence. To appear. Condensing Uncertainty via Incremental Treatment Learning
- 1. Introduction ......................................................................................................4 1.1. About Doubting ...........................................................................................4
- Learning Defect Predictors:Lessons from the Trenches Learning Defect Predictors
- Nighthawk: A Two-Level Genetic-Random Unit Test Data Generator
- Practical Considerations in Deploying Statistical Methods for Defect Prediction: A Case Study within the Turkish Telecommunications
- Autom Softw Eng DOI 10.1007/s10515-010-0072-x
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 1, NO. 1, JANUARY 2001 1 Genetic Algorithms for Randomized Unit Testing
- SOFTWARE PROCESS IMPROVEMENT AND PRACTICE Softw. Process Improve. Pract. (2009)
- C O V E R F E A T U R E 0018-9162/07/$20.00 2007 IEEE54 Computer Published by the IEEE Computer Society
- JOURNAL OF ???, VOL. 6, NO. 1, JANUARY 2007 1 Problems with Precision
- October 2006 93 S O F T W A R E T E C H N O L O G I E S
- SOFTWARE PROCESS IMPROVEMENT AND PRACTICE Softw. Process Improve. Pract. 2003; 8: 000000 (DOI: 10.1002/spip.161)
- SUBMITTED TO IEEE TRANS. SOFT. ENG. VOL. XX, NO. Y, MONTH 2002 1 More Success and Failure Factors in Software Reuse
- Adequacy of Limited Testing for Knowledge Based Systems
- JOURNAL OF SE & KE, 10(4), 1 (DECEMBER 2000) Issues with Meta-Knowledge
- To appear: International Journal of Human-Computer Studies, 1998, 49, pages 867-893 Towards Situated Knowledge Acquisition
- Case-Based Reasoning vs Parametric Models for Software Quality Optimization
- Software is Data Too Andrian Marcus
- On the Shoulders of Giants Earl Barr Christian Bird Eric Hyatt Tim Menzies Gregorio Robles
- ISPA / SCEA 2008 Joint International Conference Huis ter Duin, Noordwijk, The Netherlands, 12 14 May 2008
- Accurate Estimates without Calibration? Tim Menzies1
- Studies in Software Cost Model Behavior: Do We Really Understand Cost Model Performance?
- XOMO: Understanding Development Options for Autonomy Tim Menzies
- August 23, 2005 WP ref: our/src/sh/xomoglue/doc/out1.tex
- Validation Methods for Calibrating Software Effort Models Tim Menzies
- Lurch: a Lightweight Alternative to Model Checking David Owen, Tim Menzies
- How Good is Your Blind Spot Sampling Policy? Tim Menzies
- Validating an Online Adaptive System Using SVDD Yan Liu Srikanth Gururajan Bojan Cukic Tim Menzies Marcello Napolitano
- Model-Based Tests of Truisms Tim Menzies
- Machine Learning for Software Engineering: Case Studies in Software Reuse
- What Makes Finite-State Models more (or less) Testable?1 David Owen, Tim Menzies, Bojan Cukic
- Better reasoning about software engineering activities Tim Menzies
- Submitted to the 23rd International Conference on Software Engineering (ICSE 2001), Toronto, Canada http://www.csr.uvic.ca/icse2001
- Testing Nondeterminate Systems Tim Menzies
- Quality Metrics: Test Coverage Analysis for Smalltalk Mark Connell
- ABSTRACT: We develop a general abductive description of testing models. We find that this
- How to Edit "It"; A "Black-box" Constraint-Based Framework
- Comparing Design and Code Metrics for Software Quality Yue Jiang, Bojan Cukic, Tim Menzies, Nick Bartlow
- On the Value of Stochastic Abduction (if you fix everything, you lose fixes for everything else)
- Bayesian Anomaly Detection (BAD v0.1) Tim Menzies TIM@MENZIES.US
- Simple Software Cost Analysis: Safe or Unsafe? Tim Menzies
- Data Mining from Process Models: Visualizations or Induction for Better Comprehension?
- Assessing Predictors of Software Defects Tim Menzies
- Text is Software Too Alexander Dekhtyar
- LEAN = (LURCH+TAR3) = Reusable Modeling Tools Tom Burkleaux, Tim Menzies
- Average Case Coverage for Validation of AI Systems Tim Menzies
- Applictions of Computational Intelligence to Quantitative Software Engineering
- Reusing Models For Requirements Engineering Tim Menzies , Ying Hu
- Submitted to the first Goddard Workshop on Formal Approaches to Agent-Based Systems will be held 6th-7th April 2000 at NASA Goddard Space Flight Center, Greenbelt, MD, USA. http://fmw.gsfc.nasa.gov/
- hQkb-The High Quality Knowledge Base Initiative (Sisyphus V: Learning Design Assessment Knowledge)
- Knowledge Acquisition for Performance Systems; When can "Tests" Replace "Tasks"?
- Target: editorial for International Journal of Human Computer Studies, Special Issue on Evaluation of Knowledge Engineering Techniques, 2000, WP:b/99/evalke/eke(August 7, 1999).
- Submitted to the Handbook of Software Engineering and Knowledge Engineering, Volume 2 (see http://www.ksi.edu/seke/hand.html)
- Submitted to the Handbook of Software Engineering and Knowledge Engineering, Volume 2 (see http://www.ksi.edu/seke/hand.html)
- Submitted to the Handbook of Software Engineering and Knowledge Engineering, Volume 2 (see http://www.ksi.edu/seke/hand.html)
- Extending Knowledge Engineering to Requirements Engineering
- Innovations Syst Softw Eng DOI 10.1007/s11334-008-0046-3
- Page 1 of 8Feather & Menzies Converging on the Optimal Attainment of Requirements
- A PRECISE SEMANTICS FOR VAGUE DIAGRAMS TIM MENZIES,
- SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2010; 00:17 Prepared using speauth.cls [Version: 2002/09/23 v2.2]
- To appear: SEKE '99, June 17-19, Kaiserslautern, Germany. Available from research.ivv.nasa.gov/docs/techreports/1999/NASA-IVV-99-007.pdf. WP:b/99/seke/words(May 11, 1999).
- Learning IV&V Strategies Marcus S. Fisher
- J. Software Engineering & Applications, 2010, 3, ** doi:10.4236/jsea.2010.311118 Published Online November 2010 (http://www.SciRP.org/journal/jsea)
- Metrics That Matter Tim Menzies, Justin S. Di Stefano, Mike Chapman, Ken McGill
- "What is an Agent and Why Should I Care?" Tim Menzies1
- July 20, 1969 The day software bugs nearly
- Model-Based Software Testing via Incremental Treatment Learning Dustin Geletko, Tim Menzies
- ! " # $ % & ' " % ( ) 0 1 2 " 3 & 4 5 6 3 7 5 ( ) 8 % 9 6 % % @ A B C D E E F E G H I G E P Q R S T E I B U V S W Q V X Y ` a R P ` V b
- Improved software engineering decision support through automatic argument reduction tools
- On the Value of Learning From Defect Dense Components for Software Defect Prediction
- How to Avoid Drastic Software Process Change (using Stochastic Stability) Tim Menzies
- On the Distribution of Property Violations in Formal Models: An Initial Study Jimin Gao, Mats Heimdahl
- Handbook of Software Engineering and Knowledge Engineering World Scientific Publishing Company
- 0740-7459/06/$20.00 2006 IEEE July/August 2006 IEEE SOFTWARE 2 3 qualitytimeE d i t o r s : N a n c y E i c k e l m a n n M o t o r o l a n a n c y. e i c k e l m a n n @ m o t o r o l a . c o m
- Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development
- Smaller, Faster Agent Dialogues via Conversational Probing Tim Menziesz
- Data Sniffing -Monitoring of Machine Learning for Online Adaptive Systems yanliu@csee.wvu.edu
- Saturation Effects in Testing of Formal Models Tim Menzies, David Owen, Bojan Cukic
- Artif Intell Rev (2006) 25:211229 DOI 10.1007/s10462-007-9055-0
- The Complexity of TRMCS-like Spiral Specification Tim Menzies
- Innovations Syst Softw Eng DOI 10.1007/s11334-010-0137-9
- How to Share Experiments Gregory Gay, Tim Menzies, Bojan Cukic
- Meta-Knowledge in systems design: panacea...or undelivered promise?
- Maybes Mean (Mostly) the Same Thing April 14, 2003
- Submitted to the Handbook of Software Engineering and Knowledge Engineering, Volume 2 (see http://www.ksi.edu/seke/hand.html)
- Identifying Fruitful Connections Between and Among Researchers and Practitioners
- Maintaining Maintainability = Recognizing Reachability Tim Menzies
- Special issue on information retrieval for program comprehension
- Intelligent Testing can be Very Lazy Tim Menzies1
- When Can We Test Less?1 Tim Menzies, Justin Di Stefano, Kareem Ammar
- Tim Menzies, Windy Gambetta Artificial Intelligence Laboratory,
- Notes for Chris Welty on Ontologies Cost-Benefits of Ontology. ? for inclusion to a journal submission on ontologies. WP:b/99/seke/abouton(August 7, 1999).
- Understanding the Value of Software Engineering Technologies Phillip Green II, Tim Menzies, Steven Williams, Oussama El-Rawas
- Random Search of AND-OR Graphs Representing Finite-State Models Tim Menzies David Owen
- On the Value of Combining Feature Subset Selection with Genetic Algorithms: Faster Learning of Coverage Models
- International Journal of Software Engineering and Knowledge Engineering ! World Scientific Publishing Company
- Learning Early Lifecycle IV&V Quality Indicators Tim Menzies, Justin S. Di Stefano, Mike Chapman
- Cost Curve Evaluation of Fault Prediction Models Yue Jiang, Bojan Cukic, Tim Menzies
- Empir Software Eng (2008) 13:469471 DOI 10.1007/s10664-008-9087-3
- On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate
- Target: editorial for International Journal of Human Computer Studies, Special Issue on Evaluation of Knowledge Engineering Techniques, 2000, WP:b/99/evalke/eke(July 3, 1999).
- 0018-9162/03/$17.00 2003 IEEE18 Computer C O M P U T I N G P R A C T I C E S
- ICSM 2009 submission On the use of Relevance Feedback in IR-based Concept Location
- '"(0)1324 56!78 9@A(0BC)(0D E 8 B9@1)F
- Autom Softw Eng DOI 10.1007/s10515-010-0069-5
- PARAMETRIC ANALYSIS OF ANTARES RE-ENTRY GUIDANCE ALGORITHMS USING ADVANCED TEST GENERATION AND DATA ANALYSIS
- Mining Repositories to Assist in Project Planning and Resource Allocation Tim Menzies
- Relating Practitioner Needs to Research Activities Martin S. Feather
- Many Maybes Mean (Mostly) the Same Thing Tim Menzies
- Expert System Maintenance Tim Menzies
- JOURNAL OF IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. X, NO. Y, SOMEMONTH 201Z 1 Exploiting the Essential Assumptions of
- Selecting Best Practices for Effort Estimation Tim Menzies, Member, IEEE, Zhihao Chen, Jairus Hihn, and Karen Lum
- How AI can help SE; or: Randomized Search Not Considered Harmful
- Can Data Transformation Help in the Detection of Fault-prone Modules?
- Using Simulation to Investigate Requirements Prioritization Strategies
- Finding Robust Solutions in Requirements Models Gregory Gay1
- Knowledge Maintenance Heresies: Meta-Knowledge Complicates KM
- Implications Of Ceiling Effects In Defect Predictors Tim Menziesa
- Tim Menzies, Paul Compton Artificial Intelligence Laboratory,
- Editorial: Model-based Requirements Engineering
- Local vs. Global Models for Effort Estimation and Defect Prediction
- Noname manuscript No. (will be inserted by the editor)
- JOURNAL OF IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. X, NO. Y, SOMEMONTH 201Z 1 On the Value of Ensemble Effort Estimation
- The Inductive Software Engineering Manifesto: Principles for Industrial Data Mining
- JOURNAL OF IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. X, NO. Y, SOMEMONTH 201Z 1 Exploiting the Essential Assumptions of
