\begin{thebibliography}{143}

\bibitem{hamid91}
T.~Abdel-Hamid and S.~Madnick.
\newblock {\em Software Project Dynamics: An Integrated Approach}.
\newblock Prentice-Hall Software Series, 1991.

\bibitem{cocomoII}
C.~Abts, B.~Clark, S.~Devnani-Chulani, E.~Horowitz, R.~Madachy, D.~Reifer,
  R.~Selby, and B.~Steece.
\newblock {COCOMO II} model definition manual.
\newblock Technical report, Center for Software Engineering, USC,, 1998.
\newblock \url{http://sunset.usc.edu/COCOMOII/cocomox.html#downloads}.

\bibitem{agrawal94}
R.~Agrawal and R.~Srikant.
\newblock Fast algorithms for mining association rules.
\newblock In {\em Proceedings of the 20th International Conference on Very
  Large Databases}, 1994.
\newblock Available from
  \url{http://www.almaden.ibm.com/cs/people/ragrawal/papers/vldb94_rj.ps}.

\bibitem{aguilarevolutionary}
Jesus~S. Aguilar-Ruiz, Isabel Ramos, Jose Riquelme, and Miguel Toro.
\newblock An evolutionary approach to estimating software development projects.
\newblock {\em Information and Software Technology}, 43(14):875--882, 2001.

\bibitem{akhavi93}
M.~Akhavi and W.~Wilson.
\newblock Dynamic simulation of software process models.
\newblock In {\em Proceedings of the 5th Software Engineering Process Group
  National Meeting (Held at Costa Mesa, California, April 26 - 29)}. Software
  engineering Institute, Carnegie Mellon University, 1993.

\bibitem{alvarez-data}
J.~L. Alvarez, J.~Mata, Jose~C. Riquelme, and I.~Ramos.
\newblock A data mining method to support decision making in software
  development projects.
\newblock In {\em ICEIS'2003: Fifth International Conference on Enterprise
  Information Systems}, 2003.

\bibitem{babovic98}
V.~Babovic.
\newblock Mining sediment transport data with genetic programming.
\newblock {\em Proceedings of the First International 10 Conference on New
  Information Technologies for Decision Making in Civil Engineering}, pages
  875--886, 1998.

\bibitem{baker-1987a}
James~E. Baker.
\newblock Reducing bias and inefficiency in the selection algorithm.
\newblock In {\em Proc. of the 2nd Intl Conf on GA}, pages 14--21. Lawrence
  Erlbaum Associates, Inc. Mahwah, NJ, USA, 1987.

\bibitem{bals04}
S.~Balsamo, A.~Di Marco, P.~Inverardi, and M.~Simeoni.
\newblock Model-based performance prediction in software development: A survey.
\newblock {\em IEEE Transactions on Software Engineering}, 30(5), May 2004.

\bibitem{bay99}
S.B. Bay and M.J. Pazzani.
\newblock Detecting change in categorical data: Mining contrast sets.
\newblock In {\em Proceedings of the Fifth International Conference on
  Knowledge Discovery and Data Mining}, 1999.
\newblock Available from
  \url{http://www.ics.uci.edu/~pazzani/Publications/stucco.pdf}.

\bibitem{bayes1764}
T~Bayes.
\newblock An essay toward solving a problem in the doctrine of chances.
\newblock {\em Philosophical Transactions of the Royal Society of London},
  53:370--418, 1764.

\bibitem{beizer90}
B.~Beizer.
\newblock {\em Software Testing Techniques}.
\newblock Van Nostrand Rheinold, New York, 1990.

\bibitem{bennet99}
Forrest~H. {Bennett III}, Martin~A. Keane, David Andre, and John~R. Koza.
\newblock Automatic synthesis of the topology and sizing for analog electrical
  circuits using genetic programming.
\newblock In Kaisa Miettinen, Marko~M. Makela, Pekka Neittaanmaki, and Jacques
  Periaux, editors, {\em Evolutionary Algorithms in Engineering and Computer
  Science}, pages 199--229, Jyvaskyla, Finland, 30 May - 3 June 1999. John
  Wiley \& Sons.

\bibitem{bentley96}
Peter~J. Bentley and Jonathan~P. Wakefield.
\newblock Generic reporesentation of solid-object geometry for genetic search.
\newblock {\em Microcomputers in civil engineering}, 11(3), 1996.

\bibitem{biere99}
Armin Biere, Alessandro Cimatti, Edmund Clarke, and Yunshan Zhu.
\newblock Symbolic model checking without {BDDs}.
\newblock {\em Lecture Notes in Computer Science}, 1579:193--207, 1999.

\bibitem{birge92}
Robert~R. Birge.
\newblock Protein-based optical computing and memories.
\newblock {\em Computer}, 25(11):56--67, 1992.

\bibitem{Blake+Merz:1998}
C.L. Blake and C.J. Merz.
\newblock {UCI} repository of machine learning databases, 1998.
\newblock URL: \url{http://www.ics.uci.edu/~mlearn/MLRepository.html}.

\bibitem{boehm81}
B.~Boehm.
\newblock {\em Software Engineering Economics}.
\newblock Prentice Hall, 1981.

\bibitem{boraso96software}
M.~Boraso, C.~Montangero, and H.~Sedehi.
\newblock Software cost estimation: an experimental study of model
  performances.
\newblock Technical Report TR-96-22, Departimento Di Informatatica, Universita
  Di Pisa, 6, 1996.

\bibitem{brouck03}
Remco Bouckaert.
\newblock Choosing between two learning algorithms based on calibrated tests.
\newblock In {\em International Conference on Machine Learning}, 2003.
\newblock Available from \url{http://www.cs.pdx.edu/~timm/dm/10x10way}.

\bibitem{breiman84}
L.~Breiman, J.~H. Friedman, R.~A. Olshen, and C.~J. Stone.
\newblock Classification and regression trees.
\newblock Technical report, Wadsworth International, Monterey, CA, 1984.

\bibitem{brooks95}
F.~P. Brooks.
\newblock {\em The Mythical Man-Month, Anniversary edition}.
\newblock Addison-Wesley, 1995.

\bibitem{cai98}
C.H. Cai, A.W.C. Fu, C.H. Cheng, and W.W. Kwong.
\newblock Mining association rules with weighted items.
\newblock In {\em Proceedings of International Database Engineering and
  Applications Symposium (IDEAS 98)}, August 1998.
\newblock Available from
  \url{http://www.cse.cuhk.edu.hk/~kdd/assoc_rule/paper.pdf}.

\bibitem{cerny85}
V.~Cerny.
\newblock A thermodynamical approach to the travelling salesman problem: an
  efficient simulation algorithm.
\newblock {\em Journal of Optimization Theory and Applications}, 45:41--51,
  1985.

\bibitem{chen98}
M.-S. Chen and F.~H. Liao.
\newblock Crossover operators with adaptive probability.
\newblock In {\em INTSYS '98: Proceedings of the IEEE International Joint
  Symposia on Intelligence and Systems}, page~10, Washington, DC, USA, 1998.
  IEEE Computer Society.

\bibitem{me03j}
E.~Chiang and T.~Menzies.
\newblock Simulations for very early lifecycle quality evaluations.
\newblock {\em Software Process: Improvement and Practice}, 7(3-4):141--159,
  2003.
\newblock Available from \url{http://menzies.us/pdf/03spip.pdf}.

\bibitem{chulani99b}
S.~Chulani and B.~Boehm.
\newblock Modeling software defect introduction and removal: {COQUALMO}.
\newblock Technical Report USC-CSE-99-510, University of Southern California,
  Center for Software Engineering, 1999.

\bibitem{clancey96a}
W.~Clancey, P.~Sachs, M.~Sierhuis, and R.~van Hoof.
\newblock Brahms: Simulating practice for work systems design.
\newblock In P.~Compton, R.~Mizoguchi, H.~Motoda, and T.~Menzies, editors, {\em
  Proceedings PKAW '96: Pacific Knowledge Acquisition Workshop}. Department of
  Artificial Intelligence, 1996.

\bibitem{clark06}
Ryan Clark.
\newblock Faster treatment learning.
\newblock Master's thesis, Portland State University, 2006.

\bibitem{clarke01}
Edmund~M. Clarke, Armin Biere, Richard Raimi, and Yunshan Zhu.
\newblock Bounded model checking using satisfiability solving.
\newblock {\em Formal Methods in System Design}, 19(1):7--34, 2001.

\bibitem{clarke03}
J.~Clarke, J.J. Dolado, M.~Harman, R.~Hierons, B.~Jones, M.~Lumkin,
  B.~Mitchell, S.~Mancoridis, K.~Rees, M.~Roper, and M.~Shepperd.
\newblock Reformulating software engineering as a search problem.
\newblock {\em ÒIEE Proceedings-SoftwareÓ}, 150(3):161--175, 2003.

\bibitem{clarke-reformulating}
John Clarke, Jose~J. Dolado, Mark Harman, R.~M. Hierons, M.~Lumkin,
  B.~Mitchell, S.~Mancoridis, K.~Rees, M.~Roper, M.~Shepperdand, and Bryan
  Jones.
\newblock Reformulating software engineering as a search problem, 2003.

\bibitem{on98evolutionary}
Oscar Cord\'{o}n, Francisco Herrera, and Luciano S\'{a}nchez.
\newblock {\em Evolutionary learning processes for data analysis in electrical
  engineering applications}.
\newblock John Wiley and Sons, 1997.

\bibitem{corn01}
S.L. Cornford, M.S. Feather, and K.A. Hicks.
\newblock {DDP} a tool for life-cycle risk management.
\newblock In {\em IEEE Aerospace Conference, Big Sky, Montana}, pages 441--451,
  March 2001.

\bibitem{denno03}
P.~Denno, M.~P. Steves, D.~Libes, and E.~J. Barkmeyer.
\newblock Model-drven integration using existing models.
\newblock {\em IEEE Software}, 20(5):59--63, Sept.-Oct. 2003.

\bibitem{dolado2000}
Jose~J. Dolado.
\newblock A validation of the component-based method for software size
  estimation.
\newblock {\em IEEE Transactions on Software Engineering}, 26(10):1006--1021,
  October 2000.

\bibitem{dolado01}
Jose~J. Dolado.
\newblock On the problem of the software cost function.
\newblock {\em Information and Software Technology}, 43(1):61--72, 1 January
  2001.

\bibitem{dou95}
James Dougherty, Ron Kohavi, and Mehran Sahami.
\newblock Supervised and unsupervised discretization of continuous features.
\newblock In {\em International Conference on Machine Learning}, pages
  194--202, 1995.

\bibitem{eshleman93}
L.~J. Eshelman and J.~D. Schaffer.
\newblock Real-coded genetic algorithms and interval-schemata.
\newblock In {\em Foundations of Genetic Algorithms-2}, pages 187--202, 1993.

\bibitem{everitt77}
Brian Everitt.
\newblock {\em The Analysis of Contingency Tables}.
\newblock Chapman and Hall, London, 1977.

\bibitem{fea01}
M.~Feather, H.~In, J.~Kiper, J.~Kurtz, and T.~Menzies.
\newblock First contract: Better, earlier decisions for software projects.
\newblock In {\em ECE UBC tech report}, 2001.
\newblock Available from \url{http://menzies.us/pdf/01first.pdf}.

\bibitem{feather03}
Martin Feather and Steve Cornfordi.
\newblock Quantitative risk-based requirements reasoning.
\newblock {\em Requirements Engineering Journal}, 8(4):248--265, 2003.

\bibitem{fea02a}
M.S. Feather and T.~Menzies.
\newblock Converging on the optimal attainment of requirements.
\newblock In {\em IEEE Joint Conference On Requirements Engineering ICRE'02 and
  RE'02, 9-13th September, University of Essen, Germany}, 2002.
\newblock Available from \url{http://menzies.us/pdf/02re02.pdf}.

\bibitem{feng97}
Chung-Wei Feng, Liang Liu, and Scott~A. Burns.
\newblock Using genetic algorithms to solve construction time-cost trade-off
  problems.
\newblock {\em Journal of Computing in Civil Engineering}, 11(3):184--189,
  1997.

\bibitem{finnie97}
G.~R. Finnie, G.~E. Wittig, and J.-M. Desharnais.
\newblock A comparison of software effort estimation techniques: using function
  points with neural networks, case-based reasoning and regression models.
\newblock {\em Journal of System and Software}, 39(3):281--289, 1997.

\bibitem{fogel66}
L.~Fogel.
\newblock {\em Artificial Intelligence through Simulated Evolution}.
\newblock Wiley and Sons, 1966.

\bibitem{france03}
R.~France, S.~Ghosh, E.~Song, and D.~Kim.
\newblock A metamodeling approach to pattern-based moel refractoringt.
\newblock {\em IEEE Software}, 20(5):52--58, Sept.-Oct. 2003.

\bibitem{garey79}
M.R. Garey and D.S. Johnson.
\newblock {\em Computers and Intractability: A Guide to the Theory of
  NP-Completeness}.
\newblock Freeman, 1979.

\bibitem{glover93tabu}
Fred Glover and M.~Laguna.
\newblock Tabu search.
\newblock In C.~Reeves, editor, {\em Modern Heuristic Techniques for
  Combinatorial Problems}, Oxford, England, 1993. Blackwell Scientific
  Publishing.

\bibitem{glover86}
Fred Glover and Claude McMillan.
\newblock The general employee scheduling problem: an integration of {MS} and
  {AI}.
\newblock {\em Comput. Oper. Res.}, 13(5):563--573, 1986.

\bibitem{goldberg00}
D.E. Goldberg.
\newblock {\em Genetic Algorithms in Search, Optimization, and Machine
  Learning}.
\newblock Addison-Wesley, 1989.

\bibitem{greenfield04}
Jack Greenfield and Keith Short.
\newblock {\em Software factories : assembling applications with patterns,
  models, frameworks, and tools}.
\newblock Wiley Publishing, Indianapolis, IN, 2004.

\bibitem{hailpern06}
B.~Hailpern and P.~Tarr.
\newblock Model-driven develpment: the good, the bad, and the ugly.
\newblock {\em IBM Systems Journal}, 45(3):451--461, 2006.

\bibitem{halbwachs91synchronous}
N.~Halbwachs, P.~Caspi, P.~Raymond, and D.~Pilaud.
\newblock The synchronous data-flow programming language {LUSTRE}.
\newblock {\em Proceedings of the IEEE}, 79(9):1305--1320, September 1991.

\bibitem{hall03}
M.A. Hall and G.~Holmes.
\newblock Benchmarking attribute selection techniques for discrete class data
  mining.
\newblock {\em IEEE Transactions On Knowledge And Data Engineering},
  15(6):1437-- 1447, 2003.

\bibitem{harel90}
D.~Harel.
\newblock Statemate: A working environment for the development of complex
  reactive systems.
\newblock {\em IEEE Transactions on Software Engineering}, 16(4):403--414,
  April 1990.

\bibitem{harman-metrics}
Mark Harman and John Clark.
\newblock Metrics are fitness functions too.
\newblock {\em 10th International Software Metrics Symposium}, 2004.

\bibitem{harman01searchbased}
Mark Harman and Bryan~F. Jones.
\newblock Search-based software engineering.
\newblock {\em Information \& Software Technology}, 43(14):833--839, 2001.

\bibitem{harrell00}
H.~Harrell, L.~Ghosh, and S.~Bowden.
\newblock {\em Simulation Using ProModel}.
\newblock McGraw-Hill, 2000.

\bibitem{haykin99}
Simon Haykin.
\newblock {\em Neural Networks: A Comprehensive Foundation}.
\newblock Prentice Hall, 1999.

\bibitem{holland75}
John Holland.
\newblock {\em Adaption in natural and artificial systems}.
\newblock MIT Press Cambridge, 1975.

\bibitem{ying02}
Y.~Hu.
\newblock Treatment learning, 2002.
\newblock Masters thesis, Unviersity of British Columbia, Department of
  Electrical and Computer Engineering. In preperation.

\bibitem{hu02}
Y.~Hu.
\newblock Treatment learning: Implementation and application, 2003.
\newblock Masters Thesis, Department of Electrical Engineering, University of
  British Columbia.

\bibitem{izhikevich2000}
Eugene~M. Izhikevich.
\newblock Neural excitability, spiking, and bursting.
\newblock {\em International Journal of Bifurication and Chaos},
  10(6):1171--1266, 2000.

\bibitem{izhikevich03}
Eugene~M. Izhikevich.
\newblock Simple model of spiking neurons.
\newblock {\em IEEE Transactions on Neural Networks}, 14(6):1569--1572,
  November 2003.

\bibitem{izhikevich04}
Eugene~M. Izhikevich.
\newblock Which model to use for cortical spiking neurons?
\newblock {\em IEEE Transactions on Neural Networks}, 15(6):1063--1070,
  September 2004.

\bibitem{jenkins92}
W.~M. Jenkins.
\newblock The genetic algorithm-or can we improve design by breeding.
\newblock {\em IEE Colloquium on Artificial Intelligence in Civil Engineering},
  pages 1/1--1/4, 1992.

\bibitem{jones96structural}
B.~Jones, H.~Sthamer, and D.~Eyres.
\newblock Automatic structural testing using genetic algorithms.
\newblock {\em Software Engineering Journal}, 11(5):299--306, 1996.

\bibitem{jones95}
B.~Jones, H.~Sthamer, X.~Yang, and D.~Eyres.
\newblock The automatic generation of software test data sets using adaptive
  search techniques.
\newblock In {\em Proceedings of the 3rd International Conference on Software
  Quality Management}, pages 435--444, 1995.

\bibitem{michalewicz91}
C.~Z. Jonikow and Z.~Michalewicz.
\newblock An experimental comparison of binary and floating point
  representations in genetic algorithms.
\newblock In {\em International Conference on Genetic Algorithms}, pages
  31--38, 1991.

\bibitem{jurjens06}
Jan JŸrjens and Jorge Fox.
\newblock Tools for model-based security engineering.
\newblock In {\em ICSE '06: Proceeding of the 28th international conference on
  Software engineering}, pages 819--822, New York, NY, USA, 2006. ACM Press.

\bibitem{karlsson98evaluation}
J.~Karlsson, C.~Wohlin, and B.~Regnell.
\newblock An evaluation of methods for prioritizing software requirements.
\newblock {\em Journal of Information and Software Technology},
  39(14-15):939--947, 1998.

\bibitem{karlsson97}
Joachim Karlsson and Kevin Ryan.
\newblock A cost-value approach for prioritizing requirements.
\newblock {\em IEEE Softw.}, 14(5):67--74, 1997.

\bibitem{karrsharma93}
C.~L. Karr, S.~K. Sharma, W.~J. Hatcher, and T.~R. Harper.
\newblock Fuzzy control of an exothermic chemical reaction using genetic
  algorithms.
\newblock {\em Engineering Applications of Artifical Intelligence},
  6(6):575--582, 1993.

\bibitem{kelton02}
D.~Kelton, R.~Sadowski, and D.~Sadowski.
\newblock {\em Simulation with Arena, second edition}.
\newblock McGraw-Hill, 2002.

\bibitem{kirkpatrick83}
S.~Kirkpatrick, C.~D. Gelatt, and M.~P. Vecchi.
\newblock Optimization by simulated annealing.
\newblock {\em Science}, 220(4598):671--680, 1983.

\bibitem{korel96}
Bogdan Korel.
\newblock Automated test data generation for programs with procedures.
\newblock In {\em ISSTA '96: Proceedings of the 1996 ACM SIGSOFT international
  symposium on Software testing and analysis}, pages 209--215, New York, NY,
  USA, 1996. ACM Press.

\bibitem{koza92}
John Koza.
\newblock {\em Genetic Programming: on the programming of computers by means of
  natural selection}.
\newblock MIT Press Cambridge, 1992.

\bibitem{polyfailure92}
J.~E. Labossiere and N.~Turrkan.
\newblock On the optimization of the tensor polynomial failure theory with a
  genetic algorithm.
\newblock {\em Transactions of the Canadian Society for Mechinical
  Engineering}, 16(3-4):251--265, 1992.

\bibitem{law00}
A.~Law and B.~Kelton.
\newblock {\em Simulation Modeling and Analysis}.
\newblock McGraw Hill, 2000.

\bibitem{lederer92}
Albert~L. Lederer and Jayesh Prasad.
\newblock Nine management guidelines for better cost estimating.
\newblock {\em Commun. ACM}, 35(2):51--59, 1992.

\bibitem{lokketangen94}
A.~K. Lokketangen and S.~Storoy.
\newblock Tabu search within a pivot and complement framework.
\newblock {\em International Transactions in Operations Research},
  1(3):305--316, 1994.

\bibitem{martin00}
R.H. Martin and D.~M. Raffo.
\newblock A model of the software development process using both continuous and
  discrete models.
\newblock {\em International Journal of Software Process Improvement and
  Practice}, June/July 2000.

\bibitem{mccabe76}
T.J. McCabe.
\newblock A complexity measure.
\newblock {\em IEEE Transactions on Software Engineering}, 2(4):308--320,
  December 1976.

\bibitem{mcconnell04}
Steve McConnell.
\newblock {\em Code Complete, Second Edition}.
\newblock Microsoft Press, Redmond, WA, USA, 2004.

\bibitem{mcgraw97generating}
G.~McGraw, C.~Michael, and M.~Schatz.
\newblock Generating software test data by evolution.
\newblock Technical report, Reliable Software Technologies, Sterling, VA, 1997.
\newblock Submitted to IEEE Transactions on Software Engineering.

\bibitem{mcminn04searchbased}
P.~{McMinn}.
\newblock Search-based software test data generation: A survey.
\newblock {\em Software Testing, Verification and Reliability}, 14(2):105--156,
  2004.

\bibitem{mellor03}
S.J. Mellor, A.N. Clark, and T.~Futagamii.
\newblock Model-driven development - guest editor's introduction.
\newblock {\em IEEE Software}, 20(5):14-- 18, Sept.-Oct. 2003.

\bibitem{me02c}
T.~Menzies, E.~Chiang, M.~Feather, Y.~Hu, and J.D. Kiper.
\newblock Condensing uncertainty via incremental treatment learning.
\newblock In Taghi~M. Khoshgoftaar, editor, {\em Software Engineering with
  Computational Intelligence}. Kluwer, 2003.
\newblock Available from \url{http://menzies.us/pdf/02itar2.pdf}.

\bibitem{me01g}
T.~Menzies and Y.~Hu.
\newblock Constraining discussions in requirements engineering.
\newblock In {\em First International Workshop on Model-based Requirements
  Engineering}, 2001.
\newblock Available from \url{http://menzies.us/pdf/01lesstalk.pdf}.

\bibitem{me03c}
T.~Menzies and Y.~Hu.
\newblock Data mining for very busy people.
\newblock In {\em IEEE Computer}, November 2003.
\newblock Available from \url{http://menzies.us/pdf/03tar2.pdf}.

\bibitem{me02a}
T.~Menzies and Y.~Hu.
\newblock Just enough learning (of association rules): The {TAR2} treatment
  learner.
\newblock In {\em Artificial Intelligence Review (to appear)}, 2004.
\newblock Available from \url{http://menzies.us/pdf/02tar2.pdf}.

\bibitem{me01c}
T.~Menzies and J.D. Kiper.
\newblock How to argue less, 2001.
\newblock Available from \url{http://menzies.us/pdf/01jane.pdf}.

\bibitem{me01d}
T.~Menzies and J.D. Kiper.
\newblock Machine learning for requirements engineering, 2001.
\newblock Available from \url{http://menzies.us/pdf/01ml4re.pdf}.

\bibitem{me00e}
T.~Menzies and E.~Sinsel.
\newblock Practical large scale what-if queries: Case studies with software
  risk assessment.
\newblock In {\em Proceedings ASE 2000}, 2000.
\newblock Available from \url{http://menzies.us/pdf/00ase.pdf}.

\bibitem{me07b}
Tim Menzies, Jeremy Greenwald, and Art Frank.
\newblock Data mining static code attributes to learn defect predictors.
\newblock {\em IEEE Transactions on Software Engineering}, January 2007.
\newblock Available from \url{http://menzies.us/pdf/06learnPredict.pdf}.

\bibitem{me05b}
Tim Menzies and Andres Orrego.
\newblock Incremental discreatization and bayes classifiers handles concept
  drift and scaled very well.
\newblock In {\em IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING}, 2005.
\newblock Submitted, IEEE TKDE, Available from
  \url{http://menzies.us/pdf/05sawtooth.pdf}.

\bibitem{mi90}
P.~Mi and W.~Scacchi.
\newblock A knowledge-based environment for modeling and simulation software
  engineering processes.
\newblock {\em IEEE Transactions on Knowledge and Data Engineering}, pages
  283--294, September 1990.

\bibitem{michalewicz96}
Zbigniew Michalewicz.
\newblock {\em Genetic algorithms + data structures = evolution programs (3rd
  ed.)}.
\newblock Springer-Verlag, London, UK, 1996.

\bibitem{miller02}
A.~Miller.
\newblock {\em Subset Selection in Regression (second edition)}.
\newblock Chapman \& Hall, 2002.

\bibitem{miller95genetic}
Brad~L. Miller and David~E. Goldberg.
\newblock Genetic algorithms, tournament selection, and the effects of noise.
\newblock {\em Complex Systems}, 9:193--212, 1995.

\bibitem{miyamoto93}
Yuichi Miyamoto, Tatsuya Miyatake, Soh Kurosaka, and Yoshinobu Mori.
\newblock A parameter tuning for dynamic simulation of power plants using
  genetic algorithms.
\newblock {\em Transactions of the Institute of Electrical Engineers of Japan
  C}, 113-D(12):1410--1415, 1993.

\bibitem{moran96}
T.P. Moran and J.M. Carroll.
\newblock {\em Design Rationale: Concepts, Techniques, and Use}.
\newblock Lawerence Erlbaum Associates, 1996.

\bibitem{biomodeling80}
J.~D. Murray.
\newblock {\em Mathematical Biology}.
\newblock Springer-Verlag, 1980.

\bibitem{nakajo91}
Takeshi Nakajo and Hitoshi Kume.
\newblock A case history analysis of software error cause-effect relationships.
\newblock {\em IEEE Trans. Softw. Eng.}, 17(8):830--838, 1991.

\bibitem{negnevitsky02}
M.~Negnevitsky.
\newblock {\em Artificial Intelligence, A Guide to Intelligent Systems}.
\newblock Addison-Wesley Longman Publishing, 2002.

\bibitem{nuseibeh00}
Bashar Nuseibeh and Steve Easterbrook.
\newblock Requirements engineering: a roadmap.
\newblock In {\em ICSE '00: Proceedings of the Conference on The Future of
  Software Engineering}, pages 35--46, New York, NY, USA, 2000. ACM Press.

\bibitem{omg03}
Object Management Group.
\newblock {\em {MDA} Guide Version 1.0.1}, June 2003.

\bibitem{pargas99testdata}
Roy~P. Pargas, Mary~Jean Harrold, and Robert Peck.
\newblock Test-data generation using genetic algorithms.
\newblock {\em Software Testing, Verification \& Reliability}, 9(4):263--282,
  1999.

\bibitem{poli95genetic}
R.~Poli, S.~Cagnoni, and G.~Valli.
\newblock Genetic design of optimum linear and nonlinear {QRS} detectors.
\newblock {\em IEEE Transactions on Biomedical Engineering}, 42(11):1137--41,
  1995.

\bibitem{quinlan86}
J.~R. Quinlan.
\newblock Induction of decision trees.
\newblock {\em Machine Learning}, 1:81--106, 1986.

\bibitem{quinlan92}
J.~R. Quinlan.
\newblock {\em C4.5: Programs for Machine Learning}.
\newblock Morgan Kaufman, 1992.
\newblock ISBN: 1558602380.

\bibitem{quinlan92b}
J.~R. Quinlan.
\newblock Learning with {C}ontinuous {C}lasses.
\newblock In {\em 5th Australian Joint Conference on Artificial Intelligence},
  pages 343--348, 1992.
\newblock Available from
  \url{http://citeseer.nj.nec.com/quinlan92learning.html}.

\bibitem{rela04}
L.~Rela.
\newblock Evolutionary computing in search-based software engineering.
\newblock Master's thesis, Lappeenranta University of Technology, 2004.

\bibitem{ryan00}
Conor Ryan.
\newblock {\em Automatic re-engineering of software using genetic programming}.
\newblock Kluwer Academic Publishers, 2000.

\bibitem{saaty80}
T.~L. Saaty.
\newblock {\em The Analytic Hierarchy Process}.
\newblock McGraw-Hill, Inc., 1980.

\bibitem{sanchez95}
E.~Sanchez, H.~Miyano, and J.~P. Branchet.
\newblock Optimization of fuzzy queries with genetic algorithms.
\newblock {\em Proceding Sixth International Fuzzy Systems Association World
  Congress}, 2:293--296, 1995.

\bibitem{sebag98parametric}
M.~Sebag, M.~Schoenauer, and H.~Maitournam.
\newblock Parametric and non-parametric identification of macro-mechanical
  models.
\newblock In D.~Quagliarella, J.~P{\'{e}}riaux, C.~Poloni, and G.~Winter,
  editors, {\em Genetic Algorithms and Evolution Strategy in Engineering and
  Computer Science}, pages 327--340. John Wiley and Sons, Chichester, 1998.

\bibitem{sendall03}
S.~Sendall and W.~Kozacaynski.
\newblock Model transformation: The heart and soul of model-driven software
  development.
\newblock {\em IEEE Software}, 20(5):42--45, Sept.-Oct. 2003.

\bibitem{shepperd97}
M.~Shepperd and C.~Schofield.
\newblock Estimating software project effort using analogies.
\newblock {\em IEEE Transactions on Software Engineering}, 23(12), November
  1997.
\newblock Available from \url{http://www.utdallas.edu/~rbanker/SE_XII.pdf}.

\bibitem{shum94}
S.~Buckingham Shum and N.~Hammond.
\newblock Argumentation-based design rationale: What use at what cost?
\newblock {\em International Journal of Human-Computer Studies},
  40(4):603--652, 1994.

\bibitem{zede92}
Mike Spivey.
\newblock {\em The Z notation: a reference manual}.
\newblock Prentice Hall, 2nd edition, 1992.

\bibitem{sterman00}
H.~Sterman.
\newblock {\em Business Dynamics: Systems Thinking and Modeling for a Complex
  World}.
\newblock Irwin McGraw-Hill, 2000.

\bibitem{me01i}
T.Menzies and Y.~Hu.
\newblock The {TAR2} treatment learner, 2002.
\newblock Available from
  \url{http://www.ece.ubc.ca/twiki/pub/Softeng/TreatmentLearner/intro.pdf}.

\bibitem{tracey00}
Nigel Tracey.
\newblock {\em A search-based automated test-data generation framework for
  safety-critical systems}.
\newblock PhD thesis, University of York, 2000.

\bibitem{tracey98flaw}
Nigel Tracey, John Clark, and Keith Mander.
\newblock Automated program flaw finding using simulated annealing.
\newblock In {\em ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international
  symposium on Software testing and analysis}, pages 73--81, New York, NY, USA,
  1998. ACM Press.

\bibitem{tracey98unifying}
Nigel Tracey, John Clark, and Keith Mander.
\newblock {The Way Forward for Unifying Dynamic Test Case Generation: The
  Optimisation-based Approach}.
\newblock In {\em IFIP International Workshop on Dependable Computing and its
  Applications (DCIA 98)}, Johannesburg, January 1998.

\bibitem{tracey98automated}
Nigel Tracey, John Clark, Keith Mander, and John~A. McDermid.
\newblock An automated framework for structural test-data generation.
\newblock In {\em Automated Software Engineering}, pages 285--288, 1998.

\bibitem{tracey02}
Nigel Tracey, John Clark, John McDermid, and Keith Mander.
\newblock {\em A search-based automated test-data generation framework for
  safety-critical systems}.
\newblock Springer-Verlag New York, Inc., New York, NY, USA, 2002.

\bibitem{waddington03}
David Waddington and Patrick Lardieri.
\newblock Model-centric software development.
\newblock {\em IEEE Computer}, 39(2):28--29, February. 2006.

\bibitem{walkerden99}
Fiona Walkerden and Ross Jeffery.
\newblock An empirical study of analogy-based software effort estimation.
\newblock {\em Empirical Softw. Engg.}, 4(2):135--158, 1999.

\bibitem{webb03}
Geoffrey~I. Webb, Shane Butler, and Douglas Newlands.
\newblock On detecting differences between groups.
\newblock In {\em KDD '03: Proceedings of the ninth ACM SIGKDD international
  conference on Knowledge discovery and data mining}, pages 256--265, New York,
  NY, USA, 2003. ACM Press.

\bibitem{wegener01}
J.~Wegener, A.~Baresel, and H.~Sthamer.
\newblock Evolutionary test environment for automatic structural testing.
\newblock {\em Information and Software Technology}, 43(14):841--854, 2001.

\bibitem{wegener99}
Joachim Wegener, Hartmut Pohlheim, and Harmen Sthamer.
\newblock Testing the temporal behavior of real-time tasks using extended
  evolutionary algorithms.
\newblock In {\em RTSS '99: Proceedings of the 20th IEEE Real-Time Systems
  Symposium}, page 270, Washington, DC, USA, 1999. IEEE Computer Society.

\bibitem{weiss01engineered}
Ron Weiss and Thomas~F. {Knight, Jr.}
\newblock Engineered communications for microbial robotics.
\newblock {\em Lecture Notes in Computer Science}, 2054:1--15, 2001.

\bibitem{whitley99free}
D.~Whitley.
\newblock A free lunch proof for gray versus binary encodings.
\newblock In Wolfgang Banzhaf, Jason Daida, Agoston~E. Eiben, Max~H. Garzon,
  Vasant Honavar, Mark Jakiela, and Robert~E. Smith, editors, {\em Proceedings
  of the Genetic and Evolutionary Computation Conference}, volume~1, pages
  726--733, Orlando, Florida, USA, 13-17 1999. Morgan Kaufmann.

\bibitem{whitley97messy}
D.~Whitley, J.~R. Beveridge, C.~Guerra-Salcedo, and C.~Graves.
\newblock Messy genetic algorithms for subset feature selection.
\newblock In Thomas B{\"a}ck, editor, {\em Proceedings of the Seventh
  International Conference on Genetic Algorithms (ICGA97)}, San Francisco, CA,
  1997. Morgan Kaufmann.

\bibitem{whittle06}
J.~Whittle and P.~Jayaraman.
\newblock Generating hierarchical state machines from use case charts.
\newblock In {\em IEEE International Conference on Requirements Engineering
  (RE2006)}, 2006.

\bibitem{witten99}
I.~H. Witten and E.~Frank.
\newblock {\em Data Mining: Practical Machine Learning Tools and Techniques
  with Java Implementations}.
\newblock Morgan Kaufmann, 1999.

\bibitem{ellis92}
S.~Xanthakis, C.~Ellis, C.~Skourlas, A.~Le Gall, S.~Katsikas, and
  K.~Karapoulios.
\newblock Application of genetic algorithms to software testing.
\newblock {\em 5th International Conference on Software Engineering and its
  Applications}, pages 625--636, 1992.

\bibitem{YanWeb02Comparative}
Ying Yang and Geoffrey~I. Webb.
\newblock A comparative study of discretization methods for naive-bayes
  classifiers.
\newblock In {\em Proceedings of PKAW 2002: The 2002 Pacific Rim Knowledge
  Acquisition Workshop}, pages 159--173, 2002.

\bibitem{yu97}
Eric S.~K. Yu.
\newblock Towards modeling and reasoning support for early-phase requirements
  engineering.
\newblock In {\em RE '97: Proceedings of the 3rd IEEE International Symposium
  on Requirements Engineering (RE'97)}, pages 226--235, Washington, DC, USA,
  1997. IEEE Computer Society.

\bibitem{zhang05}
Jun Zhang, Henry S.~H. Chung, and Jinghui Zhong.
\newblock Adaptive crossover and mutation in genetic algorithms based on
  clustering technique.
\newblock In {\em GECCO '05: Proceedings of the 2005 conference on Genetic and
  evolutionary computation}, pages 1577--1578, New York, NY, USA, 2005. ACM
  Press.

\end{thebibliography}