CREST SEBASE: Publications

About

Members

Publications

Impacts

Resources

Go to:2011 2010 2009 2008 2007 2006

2011

Journals

Evolutionary Improvement of Programs
David White, Andrea Arcuri and John Clark
IEEE Transactions on Evolutionary Computation, 15(4):515-538
[pdf] [bibtex]
@article{WhiteAC,
doi = {10.1109/TEVC.2010.2083669},
title = {{E}volutionary {I}mprovement of {P}rograms},
journal = {IEEE Transactions on Evolutionary Computation},
number = {4},
month = {August},
volume = {15},
year = {2011},
pages = {515-538}}
The use of Search-Based Optimization Techniques to Schedule and Staff Software Projects: an Approach and an Empirical Study
Giuliano Antoniol, Massimiliano Di Penta and Mark Harman
Software: Practice and Experience, 41(5):495-519
[pdf] [bibtex]
@article{AntoniolDH11,
doi = {10.1002/spe.1001},
affliliation = {Department of Engineering, University of Sannio; Department of Computer Science, King's College London; Department of Genie Informatique, Ecole Polytechnique de Montreal},
title = {{T}he use of {S}earch-{B}ased {O}ptimization {T}echniques to {S}chedule and {S}taff {S}oftware {P}rojects: an {A}pproach and an {E}mpirical {S}tudy},
journal = {Software: Practice and Experience},
number = {5},
month = {April},
volume = {41},
year = {2011},
pages = {495-519}}
WCET Analysis of Modern Processors using Multi-criteria Optimisation
Iain Bate and Usman Khan
Empirical Software Engineering, 16(1):5-28
[pdf] [bibtex]
@article{BateK11,
doi = {10.1007/s10664-010-9133-9},
affliliation = {Department of Computer Science, University of York},
title = {{WCET} {A}nalysis of {M}odern {P}rocessors using {M}ulti-criteria {O}ptimisation},
journal = {Empirical Software Engineering},
number = {1},
month = {February},
volume = {16},
year = {2011},
pages = {5-28}}
Comparing the Performance of Metaheuristics for the Analysis of Multi-stakeholder Tradeoffs in Requirements Optimisation
Yuanyuan Zhang, Mark Harman, Anthony Finkelstein and S. Mansouri
Information and Software Technology, 53(7):761-773
[bibtex]
@article{ZhangHFM11,
doi = {10.1016/j.infsof.2011.02.001},
affliliation = {CREST Centre, King's College London; Brunel University},
title = {{C}omparing the {P}erformance of {M}etaheuristics for the {A}nalysis of {M}ulti-stakeholder {T}radeoffs in {R}equirements {O}ptimisation},
journal = {Information and Software Technology},
number = {7},
month = {July},
volume = {53},
year = {2011},
pages = {761-773}}
Input Domain Reduction through Irrelevant Variable Removal and its Effect on Local, Global and Hybrid Search-Based Structural Test Data Generation
Phil McMinn, Mark Harman, Kiran Lakhotia, Youssef Hassoun and Joachim Wegener
IEEE Transactions on Software Engineering, to appear (2011)
[pdf] [bibtex]
@article{McMinnHLHW11,
journal = {IEEE Transactions on Software Engineering},
doi = {10.1109/TSE.2011.18},
year = {To Appear},
title = {{I}nput {D}omain {R}eduction through {I}rrelevant {V}ariable {R}emoval and its {E}ffect on {L}ocal, {G}lobal and {H}ybrid {S}earch-{B}ased {S}tructural {T}est {D}ata {G}eneration}}
A Study of the Bi-Objective Next Release Problem
Juan Durillo, Yuanyuan Zhang, Enrique Alba, Mark Harman and Antonio Nebro
Empirical Software Engineering, 16(1):29-60
[pdf] [bibtex]
@article{DurilloZAHN11,
doi = {10.1007/s10664-010-9147-3},
affliliation = {CREST Centre, King's College London; Computer Science, University of Malaga},
title = {{A} {S}tudy of the {B}i-{O}bjective {N}ext {R}elease {P}roblem},
journal = {Empirical Software Engineering},
number = {1},
month = {February},
volume = {16},
year = {2011},
pages = {29-60}}

Conferences

Finding Short Counterexamples in Promela Models Using Estimation of Distribution Algorithms
Jan Staunton and John Clark
Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation (GECCO '11), pages 1923-1930
[pdf] [bibtex]
@inproceedings{StauntonC11,
title = {{F}inding {S}hort {C}ounterexamples in {P}romela {M}odels {U}sing {E}stimation of {D}istribution {A}lgorithms},
booktitle = {Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation (GECCO '11)},
year = {2011},
month = {12-16 July},
address = {Dublin, Ireland},
pages = {1923-1930}}
Highly Scalable Multi-Objective Test Suite Minimisation Using Graphics Cards
Shin Yoo, Mark Harman and Shmuel Ur
Proceedings of the 3rd International Symposium on Search Based Software Engineering (SSBSE '11), pages 219--236
[pdf] [bibtex]
@inproceedings{YooHU11b,
title = {{H}ighly {S}calable {M}ulti-{O}bjective {T}est {S}uite {M}inimisation {U}sing {G}raphics {C}ards},
series = {LNCS},
booktitle = {Proceedings of the 3rd International Symposium on Search Based Software Engineering (SSBSE '11)},
address = {Szeged, Hungary},
month = {10-12 September},
year = {2011},
pages = {219--236}}
Searching for Invariants using Genetic Programming and Mutation Testing
Sam Ratcliff, David White and John Clark
Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation (GECCO '11), pages 1907-1914 (Best Paper Award)
[pdf] [bibtex]
@inproceedings{RatcliffWC11,
title = {{S}earching for {I}nvariants using {G}enetic {P}rogramming and {M}utation {T}esting},
booktitle = {Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation (GECCO '11)},
year = {2011},
month = {12-16 July},
address = {Dublin, Ireland},
pages = {1907-1914 (Best Paper Award)}}
Applications of Model Reuse when using Estimation of Distribution Algorithms to Test Concurrent Software
Jan Staunton and John Clark
Proceedings of the 3rd International Symposium on Search Based Software Engineering (SSBSE '11), pages 97--111
[pdf] [bibtex]
@inproceedings{StauntonC11b,
title = {{A}pplications of {M}odel {R}euse when using {E}stimation of {D}istribution {A}lgorithms to {T}est {C}oncurrent {S}oftware},
series = {LNCS},
booktitle = {Proceedings of the 3rd International Symposium on Search Based Software Engineering (SSBSE '11)},
address = {Szeged, Hungary},
month = {10-12 September},
year = {2011},
pages = {97--111}}
Faster Fault Finding at Google Using Multi Objective Regression Test Optimisation
Shin Yoo, Robert Nilsson and Mark Harman
8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '11)
[pdf] [bibtex]
@inproceedings{YooNH11,
title = {Faster Fault Finding at {Google} Using Multi Objective Regression Test Optimisation},
booktitle = {$8^{th}$ European Software Engineering Conference and the {ACM SIGSOFT} Symposium on the Foundations of Software Engineering ({ESEC/FSE '11})},
address = {Szeged, Hungary},
month = {September 5th - 9th},
year = {2011},
date-added = {2011-09-28 12:18:33 +0100}}
Transition Coverage Testing for Simulink/Stateflow Models Using Messy Genetic Algorithms
Jungsup Oh, Mark Harman and Shin Yoo
Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation (GECCO '11), pages 1851-1858
[pdf] [bibtex]
@inproceedings{OhHY11,
title = {{T}ransition {C}overage {T}esting for {S}imulink/{S}tateflow {M}odels {U}sing {M}essy {G}enetic {A}lgorithms},
booktitle = {Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation (GECCO '11)},
year = {2011},
month = {12-16 July},
address = {Dublin, Ireland},
pages = {1851-1858}}
Search Based Software Engineering: Techniques, Taxonomy, Tutorial
Mark Harman, Phil McMinn, Jerffeson Souza and Shin Yoo
Empirical software engineering and verification: LASER 2009-2010, To Appear (2011)
[pdf] [bibtex]
@inproceedings{Harman11,
series = {LNCS},
booktitle = {Empirical software engineering and verification: LASER 2009-2010},
year = {To Appear},
date-added = {2011-10-13 16:03:08 +0100},
title = {{S}earch {B}ased {S}oftware {E}ngineering: {T}echniques, {T}axonomy, {T}utorial}}
Cooperative Co-evolutionary Optimization of Software Project Staff Assignments and Job Scheduling
Jian Ren, Mark Harman and Massimiliano Di Penta
Proceedings of the 3rd International Symposium on Search Based Software Engineering (SSBSE '11)
[bibtex]
@inproceedings{RenHD11,
title = {{C}ooperative {C}o-evolutionary {O}ptimization of {S}oftware {P}roject {S}taff {A}ssignments and {J}ob {S}cheduling},
series = {LNCS},
booktitle = {Proceedings of the 3rd International Symposium on Search Based Software Engineering (SSBSE '11)},
address = {Szeged, Hungary},
month = {10-12 September},
year = {2011}}
A Principled Evaluation of the Effect of Directed Mutation on Search-based Statistical Testing
Simon Poulding, John Clark and Hélène Waeselynck
Proceedings of the 4th International Workshop on Search-Based Software Testing (SBST '11)
[pdf] [bibtex]
@inproceedings{PouldingCW11,
doi = {10.1109/ICSTW.2011.36},
title = {{A} {P}rincipled {E}valuation of the {E}ffect of {D}irected {M}utation on {S}earch-based {S}tatistical {T}esting},
booktitle = {Proceedings of the 4th International Workshop on Search-Based Software Testing (SBST '11)},
address = {Berlin, Germany},
month = {21-21 March},
year = {2011}}
Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels
James Williams, Simon Poulding, Louis Rose, Richard Paige and Fiona Polack
Proceedings of the 3rd International Symposium on Search Based Software Engineering (SSBSE '11)
[bibtex]
@inproceedings{WilliamsPRPP11,
title = {{I}dentifying {D}esirable {G}ame {C}haracter {B}ehaviours through the {A}pplication of {E}volutionary {A}lgorithms to {M}odel-{D}riven {E}ngineering {M}etamodels},
series = {LNCS},
booktitle = {Proceedings of the 3rd International Symposium on Search Based Software Engineering (SSBSE '11)},
address = {Szeged, Hungary},
month = {10-12 September},
year = {2011}}

Technical Reports and Theses

Search Based Optimization of Requirements Interaction Management
Yuanyuan Zhang, Mark Harman and Soo Lim
Technical Report, Department of Computer Science, University College London, RN/11/12, 2011
[pdf] [bibtex]
@techreport{ZhangHL11,
url = {http://www-typo3.cs.ucl.ac.uk/fileadmin/UCL-CS/research/Research_Notes/RN_11_12.pdf},
year = {2011},
number = {RN/11/12},
institution = {Department of Computer Science, University College London},
title = {{S}earch {B}ased {O}ptimization of {R}equirements {I}nteraction {M}anagement}}
Highly Scalable Multi-Objective Test Suite Minimisation Using Graphics Card
Shin Yoo, Mark Harman and Shmuel Ur
Technical Report, University College London, RN/11/07, 2011
[pdf] [bibtex]
@techreport{YooHU11,
title = {{H}ighly {S}calable {M}ulti-{O}bjective {T}est {S}uite {M}inimisation {U}sing {G}raphics {C}ard},
url = {http://www-typo3.cs.ucl.ac.uk/fileadmin/UCL-CS/research/Research_Notes/RN_11_07.pdf},
number = {RN/11/07},
month = {Jannuary},
year = {2011},
institution = {University College London},
date-added = {2011-01-31 14:45:00 +0000}}

2010

Journals

An Analysis and Survey of the Development of Mutation Testing
Yue Jia and Mark Harman
IEEE Transactions on Software Engineering, to appear (2010)
[pdf] [bibtex]
@article{JiaH10,
journal = {IEEE Transactions on Software Engineering},
doi = {10.1109/TSE.2010.62},
year = {To appear},
title = {{A}n {A}nalysis and {S}urvey of the {D}evelopment of {M}utation {T}esting}}
Software Module Clustering as a Multi-Objective Search Problem
Kata Praditwong, Mark Harman and Xin Yao
IEEE Transactions on Software Engineering, 37(2):264-282
[pdf] [bibtex]
@article{PraditwongHY10,
doi = {10.1109/TSE.2010.26},
title = {{S}oftware {M}odule {C}lustering as a {M}ulti-{O}bjective {S}earch {P}roblem},
journal = {IEEE Transactions on Software Engineering},
number = {2},
month = {March-April},
volume = {37},
year = {2010},
pages = {264-282}}
A Genetic Programming Approach to Evolving Quantum Programs and Circuits
Paul Massey, John Clark and Susan Stepney
Applied Soft Computing Journal, to appear (2010)
[bibtex]
@article{MasseyCS10,
url = {http://www.cs.bham.ac.uk/~wbl/biblio/gp-html/MasseyCS10.html},
journal = {Applied Soft Computing Journal},
year = {To Appear},
title = {{A} {G}enetic {P}rogramming {A}pproach to {E}volving {Q}uantum {P}rograms and {C}ircuits}}
Multi-objective Approaches to Optimal Testing Resource Allocation in Modular Software Systems
Zai Wang, Ke Tang and Xin Yao
IEEE Transactions on Reliability, 59(3):563-575
[pdf] [bibtex]
@article{WangTY10,
doi = {10.1109/TR.2010.2057310},
title = {{M}ulti-objective {A}pproaches to {O}ptimal {T}esting {R}esource {A}llocation in {M}odular {S}oftware {S}ystems},
journal = {IEEE Transactions on Reliability},
number = {3},
month = {September},
volume = {59},
year = {2010},
pages = {563-575}}
Using Hybrid Algorithm For Pareto Effcient Multi-Objective Test Suite Minimisation
Shin Yoo and Mark Harman
Journal of Systems and Software, 83(4):689-701
[pdf] [bibtex]
@article{YooH10,
doi = {10.1016/j.jss.2009.11.706},
title = {{U}sing {H}ybrid {A}lgorithm {F}or {P}areto {E}ffcient {M}ulti-{O}bjective {T}est {S}uite {M}inimisation},
journal = {Journal of Systems and Software},
number = {4},
month = {April},
volume = {83},
year = {2010},
pages = {689-701}}
Test Data Regeneration: Generating New Test Data from Existing Test Data
Shin Yoo and Mark Harman
Journal of Software Testing, Verification and Reliability, to appear (2010)
[pdf] [bibtex]
@article{YooH,
journal = {Journal of Software Testing, Verification and Reliability},
doi = {10.1002/stvr.435},
year = {To appear},
title = {{T}est {D}ata {R}egeneration: {G}enerating {N}ew {T}est {D}ata from {E}xisting {T}est {D}ata}}
Regression Testing Minimisation, Selection and Prioritisation: A Survey
Shin Yoo and Mark Harman
Journal of Software Testing, Verification and Reliability, to appear (2010)
[pdf] [bibtex]
@article{YooH10b,
journal = {Journal of Software Testing, Verification and Reliability},
doi = {10.1002/stvr.430},
year = {To Appear},
title = {{R}egression {T}esting {M}inimisation, {S}election and {P}rioritisation: {A} {S}urvey}}
Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems
Paul Emberson and Iain Bate
IEEE Transactions on Software Engineering, 36(5):704-718
[pdf] [bibtex]
@article{EmbersonB10,
doi = {10.1109/TSE.2009.58},
title = {{S}tressing {S}earch with {S}cenarios for {F}lexible {S}olutions to {R}eal-{T}ime {T}ask {A}llocation {P}roblems},
journal = {IEEE Transactions on Software Engineering},
issn = {0098-5589},
number = {5},
month = {September - October},
volume = {36},
year = {2010},
pages = {704-718},
address = {Los Alamitos, CA, USA}}
A Memetic Algorithm for Multi-Level Redundancy Allocation
Zai Wang, Ke Tang and Xin Yao
IEEE Transactions on Reliability, 59(4):754-765
[pdf] [bibtex]
@article{WangTY10b,
doi = {10.1109/TR.2010.2055927},
title = {{A} {M}emetic {A}lgorithm for {M}ulti-{L}evel {R}edundancy {A}llocation},
journal = {IEEE Transactions on Reliability},
number = {4},
month = {December},
volume = {59},
year = {2010},
pages = {754-765}}
A Theoretical and Empirical Study of Search Based Testing: Local, Global and Hybrid Search
Mark Harman and Phil McMinn
IEEE Transactions on Software Engineering, 36(2):226-247
[pdf] [bibtex]
@article{HarmanM10,
doi = {10.1109/TSE.2009.71},
title = {{A} {T}heoretical and {E}mpirical {S}tudy of {S}earch {B}ased {T}esting: {L}ocal, {G}lobal and {H}ybrid {S}earch},
journal = {IEEE Transactions on Software Engineering},
number = {2},
month = {March-April},
volume = {36},
year = {2010},
pages = {226-247}}
An Empirical Investigation Into Branch Coverage for C Programs Using CUTE and AUSTIN
Kiran Lakhotia, Phil McMinn and Mark Harman
Journal of Systems and Software, 83(12):2379-2391
[pdf] [bibtex]
@article{LakhotiaMH10,
doi = {10.1016/j.jss.2010.07.026},
title = {{A}n {E}mpirical {I}nvestigation {I}nto {B}ranch {C}overage for {C} {P}rograms {U}sing {CUTE} and {AUSTIN}},
journal = {Journal of Systems and Software},
number = {12},
month = {December},
volume = {83},
year = {2010},
pages = {2379-2391}}
Efficient Software Verification: Statistical Testing using Automated Search
Simon Poulding and John Clark
IEEE Transactions on Software Engineering, 36(6):763-777
[pdf] [bibtex]
@article{PouldingC10,
doi = {10.1109/TSE.2010.24},
title = {{E}fficient {S}oftware {V}erification: {S}tatistical {T}esting using {A}utomated {S}earch},
journal = {IEEE Transactions on Software Engineering},
number = {6},
month = {November-December},
volume = {36},
year = {2010},
pages = {763-777}}
Efficient Multi Objective Higher Order Mutation Testing with Genetic Programming
William Langdon, Mark Harman and Yue Jia
Journal of Systems and Software, 83(12):2416-2430
[pdf] [bibtex]
@article{LangdonHJ,
doi = {10.1016/j.jss.2010.07.027},
title = {{E}fficient {M}ulti {O}bjective {H}igher {O}rder {M}utation {T}esting with {G}enetic {P}rogramming},
journal = {Journal of Systems and Software},
number = {12},
month = {December},
volume = {83},
year = {2010},
pages = {2416-2430}}

Conferences

Learning Autonomic Security Reconfiguration Policies
Juan Tapiador and John Clark
Proceedings of the 10th International Conference on Computer and Information Technology (CIT '10), pages 902-909
[pdf] [bibtex]
@inproceedings{TapiadorC10,
doi = {10.1109/CIT.2010.168},
title = {{L}earning {A}utonomic {S}ecurity {R}econfiguration {P}olicies},
booktitle = {Proceedings of the 10th International Conference on Computer and Information Technology (CIT '10)},
address = {Bradford, UK},
month = {29 June - 1 July},
year = {2010},
pages = {902-909}}
Searching for Safety Violations using Estimation of Distribution Algorithms
Jan Staunton and John Clark
Proceedings of the 3rd International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2010, pages 212-221
[pdf] [bibtex]
@inproceedings{StauntonC10,
doi = {10.1109/ICSTW.2010.24},
title = {{S}earching for {S}afety {V}iolations using {E}stimation of {D}istribution {A}lgorithms},
booktitle = {Proceedings of the 3rd International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2010},
address = {Paris, France},
month = {6 April},
year = {2010},
pages = {212-221}}
Metamorphic Testing of Stochastic Optimisation
Shin Yoo
Proceedings of the 3rd International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2010, pages 192-201
[pdf] [bibtex]
@inproceedings{Yoo10,
doi = {10.1109/ICSTW.2010.26},
title = {{M}etamorphic {T}esting of {S}tochastic {O}ptimisation},
booktitle = {Proceedings of the 3rd International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2010},
address = {Paris, France},
month = {6 April},
year = {2010},
pages = {192-201}}
Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem
Mark Harman, Sung Kim, Kiran Lakhotia, Phil McMinn and Shin Yoo
Proceedings of the 3rd International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2010, pages 182-191
[pdf] [bibtex]
@inproceedings{HarmanKLMY10,
doi = {10.1109/ICSTW.2010.31},
title = {{O}ptimizing for the {N}umber of {T}ests {G}enerated in {S}earch {B}ased {T}est {D}ata {G}eneration with an {A}pplication to the {O}racle {C}ost {P}roblem},
booktitle = {Proceedings of the 3rd International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2010},
address = {Paris, France},
month = {6 April},
year = {2010},
pages = {182-191}}
Search Based Optimization of Requirements Interaction Management
Yuanyuan Zhang and Mark Harman
Proceedings of the 2nd International Symposium on Search Based Software Engineering (SSBSE '10), pages 47-56
[pdf] [bibtex]
@inproceedings{ZhangH10,
doi = {10.1109/SSBSE.2010.16},
affliliation = {CREST Centre, King's College London;},
title = {{S}earch {B}ased {O}ptimization of {R}equirements {I}nteraction {M}anagement},
booktitle = {Proceedings of the 2nd International Symposium on Search Based Software Engineering (SSBSE '10)},
address = {Benevento, Italy},
month = {7-9 September},
year = {2010},
pages = {47-56}}
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Kiran Lakhotia, Nikolai Tillmann, Mark Harman and Jonathan de Halleux
22nd IFIP International Conference on Testing Software and Systems, pages 142-157
[pdf] [bibtex]
@inproceedings{LakhotiaTHH10,
title = {FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution},
booktitle = {22nd IFIP International Conference on Testing Software and Systems},
month = {November},
year = {2010},
pages = {142-157},
date-added = {2011-09-28 12:34:30 +0100}}
AUSTIN: A tool for Search Based Software Testing for the C Language and its Evaluation on Deployed Automotive Systems
Kiran Lakhotia, Mark Harman and Hamilton Gross
Proceedings of the 2nd International Symposium on Search Based Software Engineering (SSBSE '10), pages 101-110
[pdf] [bibtex]
@inproceedings{LakhotiaHG10,
doi = {10.1109/SSBSE.2010.21},
title = {{AUSTIN}: {A} tool for {S}earch {B}ased {S}oftware {T}esting for the {C} {L}anguage and its {E}valuation on {D}eployed {A}utomotive {S}ystems},
booktitle = {Proceedings of the 2nd International Symposium on Search Based Software Engineering (SSBSE '10)},
address = {Benevento, Italy},
month = {7-9 September},
year = {2010},
pages = {101-110}}
A Manifesto for Higher Order Mutation Testing
Mark Harman, Yue Jia and William Langdon
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION '10), pages 80-89
[pdf] [bibtex]
@inproceedings{HarmanJL10,
doi = {10.1109/ICSTW.2010.13},
title = {{A} {M}anifesto for {H}igher {O}rder {M}utation {T}esting},
booktitle = {Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION '10)},
address = {Paris, France},
month = {6 April},
year = {2010},
pages = {80-89}}
The Relationship between Search Based Software Engineering and Predictive Modeling
Mark Harman
The 6th International Conference on Predictive Models in Software Engineering (PROMISE '10)
[pdf] [bibtex]
@inproceedings{Harman10,
doi = {10.1145/1868328.1868330},
title = {{T}he {R}elationship between {S}earch {B}ased {S}oftware {E}ngineering and {P}redictive {M}odeling},
booktitle = {The 6th International Conference on Predictive Models in Software Engineering (PROMISE '10)},
address = {Timisoara, Romania},
month = {12-13 September},
year = {2010}}
A Novel Mask-Coding Representation for Set Cover Problems with Applications in Test Suite Minimisation
Shin Yoo
Proceedings of the 2nd International Symposium on Search Based Software Engineering (SSBSE '10), pages 19-28
[pdf] [bibtex]
@inproceedings{Yoo10b,
doi = {10.1109/SSBSE.2010.12},
title = {{A} {N}ovel {M}ask-{C}oding {R}epresentation for {S}et {C}over {P}roblems with {A}pplications in {T}est {S}uite {M}inimisation},
booktitle = {Proceedings of the 2nd International Symposium on Search Based Software Engineering (SSBSE '10)},
address = {Benevento, Italy},
month = {7-9 September},
year = {2010},
pages = {19-28}}
Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models
Ruilian Zhao, Mark Harman and Zheng Li
Proceedings of the 3rd International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2010, pages 222-231
[pdf] [bibtex]
@inproceedings{ZhaoHL10,
doi = {10.1109/ICSTW.2010.44},
title = {{E}mpirical {S}tudy on the {E}fficiency of {S}earch {B}ased {T}est {G}eneration for {EFSM} {M}odels},
booktitle = {Proceedings of the 3rd International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2010},
address = {Paris, France},
month = {6 April},
year = {2010},
pages = {222-231}}
Reducing Qualitative Human Oracle Costs associated with Automatically Generated Test Data
Phil McMinn, Mark Stevenson and Mark Harman
Proceedings of the 1st International Workshop on Software Test Output Validation (STOV '10), pages 1-4
[pdf] [bibtex]
@inproceedings{McMinnSH10,
doi = {10.1145/1868048.1868049},
title = {{R}educing {Q}ualitative {H}uman {O}racle {C}osts associated with {A}utomatically {G}enerated {T}est {D}ata},
booktitle = {Proceedings of the 1st International Workshop on Software Test Output Validation (STOV '10)},
address = {Trento, Italy},
month = {13 July},
year = {2010},
pages = {1-4}}
Today/Future Importance Analysis
Yuanyuan Zhang, Enrique Alba, Juan Durillo, Sigrid Eldh and Mark Harman
Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation (GECCO '10), pages 1357-1364
[pdf] [bibtex]
@inproceedings{ZhangADEH10,
doi = {10.1145/1830483.1830733},
affliliation = {CREST Centre, King's College London; Computer Science, University of Malaga; Ericsson AB},
title = {{T}oday/{F}uture {I}mportance {A}nalysis},
booktitle = {Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation (GECCO '10)},
address = {Portland, USA},
month = {7-11 July},
year = {2010},
pages = {1357-1364}}
Fine-Grained Timing using Genetic Programming
David White, Juan Tapiador, Julio Hernandez Castro and John Clark
Proceedings of the 13th European Conference on Genetic Programming (EuroGP '10), pages 325--336
[pdf] [bibtex]
@inproceedings{WhiteTHC10,
doi = {10.1007/978-3-642-12148-7_28},
isbn13 = {978-3-642-12147-0},
title = {{F}ine-{G}rained {T}iming using {G}enetic {P}rogramming},
series = {LNCS},
organisation = {EvoStar},
address = {Istanbul, Turkey},
month = {7-9 April},
volume = {6021},
pages = {325--336},
year = {2010},
booktitle = {Proceedings of the 13th European Conference on Genetic Programming (EuroGP '10)}}
Applying Elementary Landscape Analysis to Search-Based Software Engineering
Guanzhou Lu, Rami Bahsoon and Xin Yao
Proceedings of the 2nd International Symposium on Search Based Software Engineering (SSBSE '10), pages 3-8
[pdf] [bibtex]
@inproceedings{LuBY10,
doi = {10.1109/SSBSE.2010.10},
title = {{A}pplying {E}lementary {L}andscape {A}nalysis to {S}earch-{B}ased {S}oftware {E}ngineering},
booktitle = {Proceedings of the 2nd International Symposium on Search Based Software Engineering (SSBSE '10)},
address = {Benevento, Italy},
month = {7-9 September},
year = {2010},
pages = {3-8}}

Technical Reports and Theses

Multi-Objective Search-based Requirements Selection and Optimisation
Yuanyuan Zhang
PhD Thesis, King's College London, UK, 2010
[bibtex]
@phdthesis{Zhang10,
url = {http://eprints.ucl.ac.uk/170695/},
school = {King's College London, UK},
year = {2010},
type = {Ph.{D.} Thesis},
title = {{M}ulti-{O}bjective {S}earch-based {R}equirements {S}election and {O}ptimisation}}

2009

Journals

A Search based Approach to Fairness Analysis in Requirement Assignments to Aid Negotiation, Mediation and Decision Making
Anthony Finkelstein, Mark Harman, S. Mansouri, Jian Ren and Yuanyuan Zhang
Requirements Engineering Journal (RE '08 Special Issue), 14(4):231-245
[pdf] [bibtex]
@article{FinkelsteinHMRZ09,
doi = {10.1007/s00766-009-0075-y},
affliliation = {University College London; CREST Centre, King's College London; Brunel University},
title = {{A} {S}earch based {A}pproach to {F}airness {A}nalysis in {R}equirement {A}ssignments to {A}id {N}egotiation, {M}ediation and {D}ecision {M}aking},
journal = {Requirements Engineering Journal (RE '08 Special Issue)},
number = {4},
month = {December},
volume = {14},
year = {2009},
pages = {231-245}}
Runtime Analysis of Search Heuristics on Software Engineering Problems
Per Lehre and Xin Yao
Frontiers of Computer Science in China, 3(1):64-72
[pdf] [bibtex]
@article{LehreY09,
doi = {10.1007/s11704-009-0006-6},
title = {{R}untime {A}nalysis of {S}earch {H}euristics on {S}oftware {E}ngineering {P}roblems},
journal = {Frontiers of Computer Science in China},
number = {1},
month = {March},
volume = {3},
year = {2009},
pages = {64-72}}
FlagRemover: A Testability Transformation for Transforming Loop Assigned Flags
David Binkley, Mark Harman and Kiran Lakhotia
ACM Transactions on Software Engineering and Methodology, 2(3):110-146
[pdf] [bibtex]
@article{BinkleyHL09,
affliliation = {Loyola College in Maryland; King's College London},
title = {{F}lag{R}emover: {A} {T}estability {T}ransformation for {T}ransforming {L}oop {A}ssigned {F}lags},
url = {http://www.dcs.kcl.ac.uk/staff/mark/tosem-issta04-jv.pdf},
journal = {ACM Transactions on Software Engineering and Methodology},
number = {3},
month = {June},
volume = {2},
year = {2009},
pages = {110-146}}
Highly Entangled Multi-qubit States with Simple Algebraic Structure
Juan Tapiador, Julio Hernandez Castro, John Clark and Susan Stepney
Journal of Physics A: Mathematical and Theoretical, 42(41):415301
[pdf] [bibtex]
@article{TapiadorHCS09,
doi = {10.1088/1751-8113/42/41/415301},
title = {{H}ighly {E}ntangled {M}ulti-qubit {S}tates with {S}imple {A}lgebraic {S}tructure},
journal = {Journal of Physics A: Mathematical and Theoretical},
number = {41},
month = {October},
volume = {42},
year = {2009},
pages = {415301}}
Higher Order Mutation Testing
Yue Jia and Mark Harman
Information and Software Technology, 51(10):1379-1393
[pdf] [bibtex]
@article{JiaH09,
doi = {10.1016/j.infsof.2009.04.016},
title = {{H}igher {O}rder {M}utation {T}esting},
journal = {Information and Software Technology},
number = {10},
month = {October},
volume = {51},
year = {2009},
pages = {1379-1393}}

Conferences

Widening the Goal Posts: Program Stretching to Aid Search Based Software Testing
Kamran Ghani and John Clark
Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09)
[pdf] [bibtex]
@inproceedings{GhaniC09,
doi = {10.1109/SSBSE.2009.26},
title = {{W}idening the {G}oal {P}osts: {P}rogram {S}tretching to {A}id {S}earch {B}ased {S}oftware {T}esting},
booktitle = {Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09)},
address = {Cumberland Lodge, Windsor, UK},
month = {13-15 May},
year = {2009}}
Comparing Algorithms for Search-Based Test Data Generation of Matlab Simulink Models
Kamran Ghani, John Clark and Yuan Zhan
Proceedings of the 10th IEEE Congress on Evolutionary Computation (CEC '09), pages 2940-2947
[pdf] [bibtex]
@inproceedings{GhaniCZ09,
doi = {10.1109/CEC.2009.4983313},
title = {{C}omparing {A}lgorithms for {S}earch-{B}ased {T}est {D}ata {G}eneration of {M}atlab {S}imulink {M}odels},
booktitle = {Proceedings of the 10th IEEE Congress on Evolutionary Computation (CEC '09)},
address = {Trondheim, Norway},
month = {18-21 May},
year = {2009},
pages = {2940-2947}}
On Search Based Software Evolution
Andrea Arcuri
Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09), pages 39-42
[pdf] [bibtex]
@inproceedings{Arcuri09,
doi = {10.1109/SSBSE.2009.12},
affliliation = {School of Computer Science, University of Birmingham},
title = {{O}n {S}earch {B}ased {S}oftware {E}volution},
booktitle = {Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09)},
address = {Cumberland Lodge, Windsor, UK},
month = {13-15 May},
year = {2009},
pages = {39-42}}
A Rigorous Evaluation of Crossover and Mutation in Genetic Programming
David White and Simon Poulding
Proceedings of the 12th European Conference on Genetic Programming (EuroGP '09), pages 220-231
[pdf] [bibtex]
@inproceedings{WhiteP09,
doi = {10.1007/978-3-642-01181-8_19},
title = {{A} {R}igorous {E}valuation of {C}rossover and {M}utation in {G}enetic {P}rogramming},
series = {LNCS},
booktitle = {Proceedings of the 12th European Conference on Genetic Programming (EuroGP '09)},
address = {T{\"u}bingen, Germany},
month = {15-17 April},
volume = {5481},
year = {2009},
pages = {220-231}}
Multi Objective Higher Order Mutation Testing with GP
William Langdon, Mark Harman and Yue Jia
Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation (GECCO '09), pages 1945-1946
[pdf] [bibtex]
@inproceedings{LangdonHJ09b,
doi = {10.1145/1569901.1570251},
title = {{M}ulti {O}bjective {H}igher {O}rder {M}utation {T}esting with {GP}},
booktitle = {Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation (GECCO '09)},
address = {Montr{\'e}al, Canada},
month = {8-12 July},
year = {2009},
pages = {1945-1946}}
Self-Optimizing Architecture for Ensuring Quality Attributes in the Cloud
Vivek Nallur, Rami Bahsoon and Xin Yao
Proceedings of the 7th Working IEEE/IFIP Conference on Software Architecture (WICSA '09), pages 281-284
[pdf] [bibtex]
@inproceedings{NallurBY09,
doi = {10.1109/WICSA.2009.5290820},
title = {{S}elf-{O}ptimizing {A}rchitecture for {E}nsuring {Q}uality {A}ttributes in the {C}loud},
booktitle = {Proceedings of the 7th Working IEEE/IFIP Conference on Software Architecture (WICSA '09)},
address = {Cambridge, UK},
month = {14-17 September},
year = {2009},
pages = {281-284}}
WCET Analysis of Modern Processors using Multi-Criteria Optimisation
Usman Khan and Iain Bate
Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09)
[pdf] [bibtex]
@inproceedings{KhanB09,
doi = {10.1109/SSBSE.2009.20},
title = {{WCET} {A}nalysis of {M}odern {P}rocessors using {M}ulti-{C}riteria {O}ptimisation},
booktitle = {Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09)},
address = {Cumberland Lodge, Windsor, UK},
month = {13-15 May},
year = {2009}}
Full Theoretical Runtime Analysis of Alternating Variable Method on the Triangle Classification Problem
Andrea Arcuri
Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09), pages 113-121
[pdf] [bibtex]
@inproceedings{Arcuri09b,
doi = {10.1109/SSBSE.2009.16},
affliliation = {School of Computer Science, University of Birmingham},
title = {{F}ull {T}heoretical {R}untime {A}nalysis of {A}lternating {V}ariable {M}ethod on the {T}riangle {C}lassification {P}roblem},
booktitle = {Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09)},
address = {Cumberland Lodge, Windsor, UK},
month = {13-15 May},
year = {2009},
pages = {113-121}}
Insight Knowledge in Search Based Software Testing
Andrea Arcuri
Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation (GECCO '09), pages 1649-1656
[pdf] [bibtex]
@inproceedings{Arcuri09c,
doi = {10.1145/1569901.1570122},
affliliation = {School of Computer Science, University of Birmingham},
title = {{I}nsight {K}nowledge in {S}earch {B}ased {S}oftware {T}esting},
booktitle = {Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation (GECCO '09)},
year = {2009},
month = {8-12 July},
address = {Montr{\'e}al, Canada},
pages = {1649-1656}}
An Evaluation of Differential Evolution in Software Test Data Generation
R. Landa Becerra, Ramón Sagarna and Xin Yao
Proceedings of the 10th IEEE Congress on Evolutionary Computation (CEC '09), pages 2850-2857
[pdf] [bibtex]
@inproceedings{BecerraSY09,
doi = {10.1109/CEC.2009.4983300},
title = {{A}n {E}valuation of {D}ifferential {E}volution in {S}oftware {T}est {D}ata {G}eneration},
booktitle = {Proceedings of the 10th IEEE Congress on Evolutionary Computation (CEC '09)},
address = {Trondheim, Norway},
month = {18-21 May},
year = {2009},
pages = {2850-2857}}
Evolutionary Testing of Autonomous Software Agents
Cu Nguyen, Simon Miles, Anna Perini, Paolo Tonella, Mark Harman and Michael Luck
Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '09), pages 521-528
[pdf] [bibtex]
@inproceedings{NguyenMPTHL09,
title = {{E}volutionary {T}esting of {A}utonomous {S}oftware {A}gents},
url = {http://portal.acm.org/citation.cfm?id=1558013.1558085},
booktitle = {Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '09)},
address = {Budapest, Hungary},
month = {10-15 May},
year = {2009},
pages = {521-528}}
A Study of the Multi-Objective Next Release Problem
Juan Durillo, Yuanyuan Zhang, Enrique Alba and Antonio Nebro
Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09), pages 49-58
[pdf] [bibtex]
@inproceedings{DurilloZAN09,
doi = {10.1109/SSBSE.2009.21},
affliliation = {CREST Centre, King's College London; Computer Science, University of Malaga},
title = {{A} {S}tudy of the {M}ulti-{O}bjective {N}ext {R}elease {P}roblem},
booktitle = {Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09)},
address = {Cumberland Lodge, Windsor, UK},
month = {13-15 May},
year = {2009},
pages = {49-58}}
Automatic Test Data Generation for Multiple Condition and MCDC Coverage
Kamran Ghani and John Clark
Proceedings of the 4th International Conference on Software Engineering Advances (ICSEA '09), pages 152-157
[pdf] [bibtex]
@inproceedings{GhaniC09b,
doi = {10.1109/ICSEA.2009.31},
title = {{A}utomatic {T}est {D}ata {G}eneration for {M}ultiple {C}ondition and {MCDC} {C}overage},
booktitle = {Proceedings of the 4th International Conference on Software Engineering Advances (ICSEA '09)},
year = {2009},
month = {20-25 September},
address = {Porto, Portugal},
pages = {152-157}}
Dynamic Evolutionary Optimisation: An Analysis of Frequency and Magnitude of Change
Philipp Rohlfshagen, Per Lehre and Xin Yao
Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation, pages 1713-1720 (Best Paper Award)
[pdf] [bibtex]
@inproceedings{RohlfshagenLY09,
doi = {10.1145/1569901.1570131},
title = {{D}ynamic {E}volutionary {O}ptimisation: {A}n {A}nalysis of {F}requency and {M}agnitude of {C}hange},
booktitle = {Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation},
address = {Montreal, Qu{\'e}bec, Canada},
month = {8-12 July},
year = {2009},
pages = {1713-1720 (Best Paper Award)}}
Comparing Design of Experiments and Evolutionary Approaches to Multi-Objective Optimisation of Sensornet Protocols
Jonathan Tate, Benjamin Woolford-Lim, Iain Bate and Xin Yao
Proceedings of the 10th IEEE Congress on Evolutionary Computation (CEC '09), pages 1137-1144
[pdf] [bibtex]
@inproceedings{TateWBY09,
doi = {http://portal.acm.org/citation.cfm?id=1689751},
title = {{C}omparing {D}esign of {E}xperiments and {E}volutionary {A}pproaches to {M}ulti-{O}bjective {O}ptimisation of {S}ensornet {P}rotocols},
booktitle = {Proceedings of the 10th IEEE Congress on Evolutionary Computation (CEC '09)},
address = {Trondheim, Norway},
month = {18-21 May},
year = {2009},
pages = {1137-1144}}
A Multi-objective Approach to Redundancy Allocation Problem in Parallel-series Systems
Zai Wang, Tianshi Chen, Ke Tang and Xin Yao
Proceedings of the 10th IEEE Congress on Evolutionary Computation (CEC '09), pages 582-589
[pdf] [bibtex]
@inproceedings{WangCTY09,
title = {{A} {M}ulti-objective {A}pproach to {R}edundancy {A}llocation {P}roblem in {P}arallel-series {S}ystems},
url = {http://portal.acm.org/citation.cfm?id=1689675},
booktitle = {Proceedings of the 10th IEEE Congress on Evolutionary Computation (CEC '09)},
address = {Trondheim, Norway},
month = {18-21 May},
year = {2009},
pages = {582-589}}
Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?
Kiran Lakhotia, Phil McMinn and Mark Harman
Proceedings of Testing: Academia & Industry Conference - Practice And Research Techniques (TAIC-PART '09), pages 95-104
[pdf] [bibtex]
@inproceedings{LakhotiaMH09,
doi = {10.1109/TAICPART.2009.15},
title = {{A}utomated {T}est {D}ata {G}eneration for {C}overage: {H}aven't {W}e {S}olved {T}his {P}roblem {Y}et?},
booktitle = {Proceedings of Testing: Academia \& Industry Conference - Practice And Research Techniques (TAIC-PART '09)},
year = {2009},
month = {4-6 September},
address = {Windsor, UK},
pages = {95-104},
size = {10 pages}}
Software Project Planning for Robustness and Completion Time in the Presence of Uncertainty using Multi Objective Search Based Software Engineering
Stefan Gueorguiev, Mark Harman and Giuliano Antoniol
Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation (GECCO '09), pages 1673-1680 (Best Paper Award)
[pdf] [bibtex]
@inproceedings{GueorguievHA09,
doi = {10.1145/1569901.1570125},
title = {{S}oftware {P}roject {P}lanning for {R}obustness and {C}ompletion {T}ime in the {P}resence of {U}ncertainty using {M}ulti {O}bjective {S}earch {B}ased {S}oftware {E}ngineering},
booktitle = {Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation (GECCO '09)},
address = {Montr{\'e}al, Canada},
month = {8-12 July},
year = {2009},
pages = {1673-1680 (Best Paper Award)}}
Measuring and Improving Latency to Avoid Test Suite Wear Out
Shin Yoo, Mark Harman and Shmuel Ur
Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops (ICSTW '09), pages 101-110 (Best Paper Award)
[pdf] [bibtex]
@inproceedings{YooHU09,
doi = {10.1109/ICSTW.2009.10},
title = {{M}easuring and {I}mproving {L}atency to {A}void {T}est {S}uite {W}ear {O}ut},
booktitle = {Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops (ICSTW '09)},
year = {2009},
month = {1-4 April},
address = {Denver, Colorado, USA},
pages = {101-110 (Best Paper Award)}}
Multi Objective Mutation Testing with Genetic Programming
William Langdon, Mark Harman and Yue Jia
Proceedings of Testing: Academia & Industry Conference - Practice And Research Techniques (TAIC-PART '09), pages 21-29
[pdf] [bibtex]
@inproceedings{LangdonHJ09,
doi = {10.1109/TAICPART.2009.18},
title = {{M}ulti {O}bjective {M}utation {T}esting with {G}enetic {P}rogramming},
booktitle = {Proceedings of Testing: Academia \& Industry Conference - Practice And Research Techniques (TAIC-PART '09)},
address = {Windsor, UK},
month = {4-6 September},
year = {2009},
pages = {21-29},
size = {10 pages}}
Using Automated Search to Generate Test Data for Matlab
Sion Rhys, Simon Poulding and John Clark
Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation (GECCO '09), pages 1697-1704
[pdf] [bibtex]
@inproceedings{RhysPC09,
doi = {10.1145/1569901.1570128},
title = {{U}sing {A}utomated {S}earch to {G}enerate {T}est {D}ata for {M}atlab},
booktitle = {Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation (GECCO '09)},
address = {Montr{\'e}al, Canada},
month = {8-12 July},
year = {2009},
pages = {1697-1704}}
When Is an Estimation of Distribution Algorithm Better than an Evolutionary Algorithm?
Tianshi Chen, Per Lehre, Ke Tang and Xin Yao
Proceedings of the 10th IEEE Congress on Evolutionary Computation (CEC '09), pages 1470-1477
[pdf] [bibtex]
@inproceedings{ChenLTY09,
doi = {10.1109/CEC.2009.4983116},
affliliation = {Nature Inspired Computation and Applications Laboratory (NICAL), Department of Computer Science and Technology, University of Science and Technology of China; Centre of Excellence for Research in Computational Intelligence and Applications (CERCIA), School of Computer Science, University of Birmingham},
title = {{W}hen {I}s an {E}stimation of {D}istribution {A}lgorithm {B}etter than an {E}volutionary {A}lgorithm?},
booktitle = {Proceedings of the 10th IEEE Congress on Evolutionary Computation (CEC '09)},
address = {Trondheim, Norway},
month = {18-21 May},
year = {2009},
pages = {1470-1477}}
Clustering Test Cases to Achieve Effective and Scalable Prioritisation Incorporating Expert Knowledge
Shin Yoo, Mark Harman, Paolo Tonella and Angelo Susi
Proceedings of The 18th International Symposium On Software Testing and Analysis (ISSTA '09), pages 201-212
[pdf] [bibtex]
@inproceedings{YooHTS09,
doi = {10.1145/1572272.1572296},
title = {{C}lustering {T}est {C}ases to {A}chieve {E}ffective and {S}calable {P}rioritisation {I}ncorporating {E}xpert {K}nowledge},
booktitle = {Proceedings of The 18th International Symposium On Software Testing and Analysis (ISSTA '09)},
year = {2009},
month = {19-23 July},
address = {Chicago, IL, USA},
pages = {201-212}}
Automated Test Data Generation for Aspect-Oriented Programs
Mark Harman, Fayezin Islam, Tao Xie and Stefan Wappler
Proceedings of the 8th International Conference on Aspect-Oriented Software Development (AOSD '09), pages 185-196
[pdf] [bibtex]
@inproceedings{HarmanIXW09,
doi = {10.1145/1509239.1509264},
title = {{A}utomated {T}est {D}ata {G}eneration for {A}spect-{O}riented {P}rograms},
booktitle = {Proceedings of the 8th International Conference on Aspect-Oriented Software Development (AOSD '09)},
year = {2009},
month = {2-6 March},
address = {Charlottesville, Virginia, USA},
pages = {185-196}}
Search Based Data Sensitivity Analysis Applied to Requirement Engineering
Mark Harman, Jens Krinke, Jian Ren and Shin Yoo
Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation (GECCO '09), pages 1681-1688
[pdf] [bibtex]
@inproceedings{HarmanKRY09,
doi = {10.1145/1569901.1570126},
title = {{S}earch {B}ased {D}ata {S}ensitivity {A}nalysis {A}pplied to {R}equirement {E}ngineering},
booktitle = {Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation (GECCO '09)},
address = {Montreal, Canada},
month = {8-12 July},
year = {2009},
pages = {1681-1688}}
Theoretical Analysis of Rank-based Mutation - Combining Exploration and Exploitation
Pietro Oliveto, Per Lehre and Frank Neumann
Proceedings of the 10th IEEE Congress on Evolutionary Computation (CEC '09), pages 1455-1462
[pdf] [bibtex]
@inproceedings{OlivetoLN09,
doi = {10.1109/CEC.2009.4983114},
title = {{T}heoretical {A}nalysis of {R}ank-based {M}utation - {C}ombining {E}xploration and {E}xploitation},
booktitle = {Proceedings of the 10th IEEE Congress on Evolutionary Computation (CEC '09)},
address = {Trondheim, Norway},
month = {18-21 May},
year = {2009},
pages = {1455-1462}}
On the Impact of the Mutation-Selection Balance on the Runtime of Evolutionary Algorithms
Per Lehre and Xin Yao
Proceedings of the 10th ACM SIGEVO Workshop on Foundations of Genetic Algorithms, pages 47-58
[pdf] [bibtex]
@inproceedings{LehreY09b,
doi = {10.1145/1527125.1527133},
title = {{O}n the {I}mpact of the {M}utation-{S}election {B}alance on the {R}untime of {E}volutionary {A}lgorithms},
booktitle = {Proceedings of the 10th ACM SIGEVO Workshop on Foundations of Genetic Algorithms},
address = {Orlando, Florida, USA},
month = {9-11 January},
year = {2009},
pages = {47-58}}

Technical Reports and Theses

Longer is Better: On the Role of Test Sequence Length in Software Testing
Andrea Arcuri
Technical Report, University of Birmingham, CSR-09-03, 2009
[pdf] [bibtex]
@techreport{Arcuri09e,
affliliation = {School of Computer Science, University of Birmingham},
title = {{L}onger is {B}etter: {O}n the {R}ole of {T}est {S}equence {L}ength in {S}oftware {T}esting},
url = {ftp://ftp.cs.bham.ac.uk/pub/tech-reports/2009/CSR-09-03.pdf},
number = {CSR-09-03},
year = {2009},
institution = {University of Birmingham}}
Theoretical Runtime Analysis in Search Based Software Engineering
Andrea Arcuri, Per Lehre and Xin Yao
Technical Report, University of Birmingham, CSR-09-04, 2009
[pdf] [bibtex]
@techreport{ArcuriLY09,
affliliation = {School of Computer Science, University of Birmingham},
title = {{T}heoretical {R}untime {A}nalysis in {S}earch {B}ased {S}oftware {E}ngineering},
url = {ftp://ftp.cs.bham.ac.uk/pub/tech-reports/2009/CSR-09-04.pdf},
number = {CSR-09-04},
year = {2009},
institution = {University of Birmingham}}
On the Impact of Mutation-Selection Balance on the Runtime of Evolutionary Algorithms
Per Lehre and Xin Yao
Technical Report, University of Birmingham, School of Computer Science, CSR-09-07, 2009
[pdf] [bibtex]
@techreport{Lehre09,
title = {{O}n the {I}mpact of {M}utation-{S}election {B}alance on the {R}untime of {E}volutionary {A}lgorithms},
url = {ftp://ftp.cs.bham.ac.uk/pub/tech-reports/2009/CSR-09-07.pdf},
number = {CSR-09-07},
month = {August},
email = {P.K.Lehre@cs.bham.ac.uk, X.Yao@cs.bham.ac.uk},
year = {2009},
institution = {University of Birmingham, School of Computer Science}}
Evolutionary Repair of Faulty Software
Andrea Arcuri
Technical Report, University of Birmingham, CSR-09-02, 2009
[pdf] [bibtex]
@techreport{Arcurid09d,
affliliation = {School of Computer Science, University of Birmingham},
title = {{E}volutionary {R}epair of {F}aulty {S}oftware},
url = {ftp://ftp.cs.bham.ac.uk/pub/tech-reports/2009/CSR-09-02.pdf},
number = {CSR-09-02},
year = {2009},
institution = {University of Birmingham}}
Search--Based Testing
Kiran Lakhotia
PhD Thesis, King's College London, UK, 2009
[pdf] [bibtex]
@phdthesis{Lakhotia09,
school = {King's College London, UK},
year = {2009},
type = {Ph.{D.} Thesis},
title = {{S}earch--{B}ased {T}esting}}
Extending the Boundaries in Regression Testing: Complexity, Latency, and Expertise
Shin Yoo
PhD Thesis, King's College London, UK, 2009
[pdf] [bibtex]
@phdthesis{Yoo09,
url = {http://eprints.ucl.ac.uk/141085/},
school = {King's College London, UK},
year = {2009},
type = {Ph.{D}. Thesis},
title = {{E}xtending the {B}oundaries in {R}egression {T}esting: {C}omplexity, {L}atency, and {E}xpertise}}
An Analysis and Survey of the Development of Mutation Testing
Yue Jia and Mark Harman
Technical Report, King's College London, TR-09-06, 2009
[pdf] [bibtex]
@techreport{JiaH09b,
title = {{A}n {A}nalysis and {S}urvey of the {D}evelopment of {M}utation {T}esting},
url = {http://www.dcs.kcl.ac.uk/pg/jiayue/repository/TR-09-06.pdf},
number = {TR-09-06},
month = {September},
year = {2009},
institution = {King's College London}}
Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications
Mark Harman, S. Mansouri and Yuanyuan Zhang
Technical Report, Department of Computer Science, King's College London, TR-09-03, 2009
[pdf] [bibtex]
@techreport{HarmanMZ09,
affliliation = {CREST Centre, King's College London; Brunel University},
title = {{S}earch {B}ased {S}oftware {E}ngineering: {A} {C}omprehensive {A}nalysis and {R}eview of {T}rends {T}echniques and {A}pplications},
url = {http://www.dcs.kcl.ac.uk/technical-reports/papers/TR-09-03.pdf},
number = {TR-09-03},
month = {April},
year = {2009},
institution = {Department of Computer Science, King's College London}}
Regression Testing Minimisation, Selection and Prioritisation - A Survey
Shin Yoo and Mark Harman
Technical Report, King's College London, TR-09-09, 2009
[pdf] [bibtex]
@techreport{YooH09,
title = {{R}egression {T}esting {M}inimisation, {S}election and {P}rioritisation - {A} {S}urvey},
url = {http://www.dcs.kcl.ac.uk/pg/yooshi/papers/Yoo2009qv.pdf},
number = {TR-09-09},
month = {October},
year = {2009},
institution = {King's College London}}
Genetic Programming for Low-Resource Systems
David White
PhD Thesis, University of York, UK, 2009
[pdf] [bibtex]
@phdthesis{White09,
school = {University of York, UK},
title = {{G}enetic {P}rogramming for {L}ow-{R}esource {S}ystems},
url = {http://www.cs.york.ac.uk/nature/group/theses/DavidRWhite.pdf},
month = {December},
year = {2009},
type = {Ph. {D}. Thesis}}

2008

Journals

Searching for Quantum Programs and Quantum Protocols: a Review
Susan Stepney and John Clark
Journal of Computational and Theoretical Nanoscience, 5(4):942-969
[pdf] [bibtex]
@article{StepneyC08,
title = {{S}earching for {Q}uantum {P}rograms and {Q}uantum {P}rotocols: a {R}eview},
url = {http://www-users.cs.york.ac.uk/susan/bib/ss/nonstd/jctn-08.htm},
journal = {Journal of Computational and Theoretical Nanoscience},
number = {4},
month = {May},
volume = {5},
year = {2008},
pages = {942-969}}
A Search-based Framework for Automatic Testing of MATLAB/Simulink Models
Yuan Zhan and John Clark
Journal of Systems and Software, 81(2):262-285
[pdf] [bibtex]
@article{ZhanC08,
doi = {10.1016/j.jss.2007.05.039},
title = {{A} {S}earch-based {F}ramework for {A}utomatic {T}esting of {MATLAB}/{S}imulink {M}odels},
journal = {Journal of Systems and Software},
number = {2},
month = {February},
volume = {81},
year = {2008},
pages = {262-285}}
Search Based Software Testing of Object-Oriented Containers
Andrea Arcuri and Xin Yao
Information Sciences, 178(15):3075-3095
[pdf] [bibtex]
@article{ArcuriY08b,
doi = {10.1016/j.ins.2007.11.024},
affliliation = {The Centre of Excellence for Research in Computational Intelligence and Applications (CERCIA), The School of Computer Science, The University of Birmingham},
title = {{S}earch {B}ased {S}oftware {T}esting of {O}bject-{O}riented {C}ontainers},
journal = {Information Sciences},
number = {15},
month = {August},
volume = {178},
year = {2008},
pages = {3075-3095}}
Dynamic Search Space Transformations for Software Test Data Generation
Ramón Sagarna and José Lozano
Computational Intelligence, 24(1):23-61
[pdf] [bibtex]
@article{SagarnaL08,
doi = {10.1111/j.1467-8640.2007.00321.x},
title = {{D}ynamic {S}earch {S}pace {T}ransformations for {S}oftware {T}est {D}ata {G}eneration},
journal = {Computational Intelligence},
number = {1},
month = {February},
volume = {24},
year = {2008},
pages = {23-61}}
Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing
Phil McMinn, David Binkley and Mark Harman
ACM Transactions on Software Engineering and Methodology (TOSEM), 18(3):11:1-11:27
[pdf] [bibtex]
@article{McMinnBH08,
doi = {10.1145/1525880.1525884},
title = {{E}mpirical {E}valuation of a {N}esting {T}estability {T}ransformation for {E}volutionary {T}esting},
journal = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
number = {3},
month = {May},
volume = {18},
year = {2008},
pages = {11:1-11:27}}

Conferences

MILU : A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language
Yue Jia and Mark Harman
Proceedings of the 3rd Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART '08), pages 94-98
[pdf] [bibtex]
@inproceedings{JiaH08b,
doi = {10.1109/TAIC-PART.2008.18},
title = {{MILU} : {A} {C}ustomizable, {R}untime-{O}ptimized {H}igher {O}rder {M}utation {T}esting {T}ool for the {F}ull {C} {L}anguage},
booktitle = {Proceedings of the 3rd Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART '08)},
address = {Windsor, UK},
month = {29-31 August},
year = {2008},
pages = {94-98}}
Strengthening Inferred Specification using Search Based Testing
Kamran Ghani and John Clark
Proceedings of 1st International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2008, pages 187-194
[pdf] [bibtex]
@inproceedings{GhaniC08,
doi = {10.1109/ICSTW.2008.39},
title = {{S}trengthening {I}nferred {S}pecification using {S}earch {B}ased {T}esting},
booktitle = {Proceedings of 1st International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2008},
address = {Lillehammer, Norway},
month = {9-11 April},
year = {2008},
pages = {187-194}}
Testability Transformation for Search-Based Testing
Mark Harman
Keynote of the 1st International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2008
[bibtex]
@inproceedings{Harman08,
title = {{T}estability {T}ransformation for {S}earch-{B}ased {T}esting},
url = {http://philmcminn.staff.shef.ac.uk/sbst2008/keynote.html},
booktitle = {Keynote of the 1st International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2008},
address = {Lillehammer, Norway},
month = {9-11 April},
year = {2008}}
Theoretical Runtime Analyses of Search Algorithms on the Test Data Generation for the Triangle Classification Problem
Andrea Arcuri, Per Lehre and Xin Yao
Proceedings of 1st International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2008, pages 161-169 (Best Paper Award)
[pdf] [bibtex]
@inproceedings{ArcuriLY08,
doi = {10.1109/ICSTW.2008.48},
affliliation = {The Centre of Excellence for Research in Computational Intelligence and Applications (CERCIA), School of Computer Science, University of Birmingham},
title = {{T}heoretical {R}untime {A}nalyses of {S}earch {A}lgorithms on the {T}est {D}ata {G}eneration for the {T}riangle {C}lassification {P}roblem},
booktitle = {Proceedings of 1st International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2008},
address = {Lillehammer, Norway},
month = {9-11 April},
year = {2008},
pages = {161-169 (Best Paper Award)}}
A Multi-Objective Approach to Testing Resource Allocation in Modular Software Systems
Zai Wang, Ke Tang and Xin Yao
Proceedings of the 2008 IEEE Congress on Evolutionary Computation (CEC '08), pages 1148-1153
[pdf] [bibtex]
@inproceedings{WangTY08,
doi = {10.1109/CEC.2008.4630941},
title = {{A} {M}ulti-{O}bjective {A}pproach to {T}esting {R}esource {A}llocation in {M}odular {S}oftware {S}ystems},
booktitle = {Proceedings of the 2008 IEEE Congress on Evolutionary Computation (CEC '08)},
address = {Hong Kong, China},
month = {1-6 June},
year = {2008},
pages = {1148-1153}}
Handling Dynamic Data Structures in Search Based Testing
Kiran Lakhotia, Mark Harman and Phil McMinn
Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation (GECCO '08), pages 1759-1766
[pdf] [bibtex]
@inproceedings{LakhotiaHM08,
doi = {10.1145/1389095.1389435},
title = {{H}andling {D}ynamic {D}ata {S}tructures in {S}earch {B}ased {T}esting},
booktitle = {Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation (GECCO '08)},
year = {2008},
month = {12-16 July},
address = {Atlanta, GA, USA},
pages = {1759-1766}}
A Novel Co-evolutionary Approach to Automatic Software Bug Fixing
Andrea Arcuri and Xin Yao
Proceedings of the IEEE Congress on Evolutionary Computation (CEC '08), pages 162-168
[pdf] [bibtex]
@inproceedings{ArcuriY08,
doi = {10.1109/CEC.2008.4630793},
affliliation = {The Centre of Excellence for Research in Computational Intelligence and Applications (CERCIA), The School of Computer Science, The University of Birmingham},
title = {{A} {N}ovel {C}o-evolutionary {A}pproach to {A}utomatic {S}oftware {B}ug {F}ixing},
booktitle = {Proceedings of the IEEE Congress on Evolutionary Computation (CEC '08)},
address = {Hongkong, China},
month = {1-6 June},
year = {2008},
pages = {162-168}}
"Fairness Analysis" in Requirements Assignments
Anthony Finkelstein, Mark Harman, S. Mansouri, Jian Ren and Yuanyuan Zhang
Proceedings of the 16th IEEE International Requirements Engineering Conference (RE '08), pages 115-124
[pdf] [bibtex]
@inproceedings{FinkelsteinHMRZ08,
doi = {10.1109/RE.2008.61},
affliliation = {CREST Centre, King's College London; Brunel University; Chinasoft Int. Corp.},
title = {``{F}airness {A}nalysis" in {R}equirements {A}ssignments},
booktitle = {Proceedings of the 16th IEEE International Requirements Engineering Conference (RE '08)},
address = {Barcelona, Catalunya, Spain},
month = {8-12 September},
year = {2008},
pages = {115-124}}
Searching for Resource-Efficient Programs: Low-Power Pseudorandom Number Generators
David White, John Clark, Jeremy Jacob and Simon Poulding
Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation (GECCO '08), pages 1775-1782
[pdf] [bibtex]
@inproceedings{WhiteCJP08,
doi = {10.1145/1389095.1389437},
title = {{S}earching for {R}esource-{E}fficient {P}rograms: {L}ow-{P}ower {P}seudorandom {N}umber {G}enerators},
booktitle = {Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation (GECCO '08)},
address = {Atlanta, GA, USA},
month = {12-16 July},
year = {2008},
pages = {1775-1782}}
Crossover Can be Constructive when Computing Unique Input Output Sequences
Per Lehre and Xin Yao
Proceedings of the 7th International Conference on Simulated Evolution and Learning (SEAL '08), pages 595-604
[pdf] [bibtex]
@inproceedings{LehreY08,
doi = {10.1007/978-3-540-89694-4_60},
title = {{C}rossover {C}an be {C}onstructive when {C}omputing {U}nique {I}nput {O}utput {S}equences},
series = {LNCS},
booktitle = {Proceedings of the 7th International Conference on Simulated Evolution and Learning (SEAL '08)},
address = {Melbourne, Australia},
month = {7-10 December},
volume = {5361},
year = {2008},
pages = {595-604}}
Handling Constraints for Search Based Software Test Data Generation
Ramón Sagarna and Xin Yao
Proceedings of 1st International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2008, pages 232-240
[pdf] [bibtex]
@inproceedings{SagarnaY08,
doi = {10.1109/ICSTW.2008.19},
title = {{H}andling {C}onstraints for {S}earch {B}ased {S}oftware {T}est {D}ata {G}eneration},
booktitle = {Proceedings of 1st International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2008},
year = {2008},
month = {9-11 April},
address = {Lillehammer, Norway},
pages = {232-240}}
On the Automation of Fixing Software Bugs
Andrea Arcuri
Proceedings of the Doctoral Symposium of the IEEE International Conference on Software Engineering (ICSE '08), pages 1003-1006
[pdf] [bibtex]
@inproceedings{Arcuri08,
doi = {10.1145/1370175.1370223},
affliliation = {School of Computer Science, University of Birmingham},
title = {{O}n the {A}utomation of {F}ixing {S}oftware {B}ugs},
booktitle = {Proceedings of the Doctoral Symposium of the IEEE International Conference on Software Engineering (ICSE '08)},
address = {Leipzig, Germany},
month = {10-18 May},
year = {2008},
pages = {1003-1006}}
Multi-Objective Improvement of Software using Co-Evolution and Smart Seeding
Andrea Arcuri, David White and Xin Yao
Proceedings of the 7th International Conference on Simulated Evolution And Learning (SEAL '08), pages 61-70
[pdf] [bibtex]
@inproceedings{ArcuriWCY08,
doi = {10.1007/978-3-540-89694-4_7},
affliliation = {The Centre of Excellence for Research in Computational Intelligence and Applications (CERCIA), School of Computer Science, University of Birmingham},
title = {{M}ulti-{O}bjective {I}mprovement of {S}oftware using {C}o-{E}volution and {S}mart {S}eeding},
booktitle = {Proceedings of the 7th International Conference on Simulated Evolution And Learning (SEAL '08)},
address = {Melbourne, Australia},
month = {7-10 December},
year = {2008},
pages = {61-70}}
Search Based Requirements Optimisation: Existing Work & Challenges
Yuanyuan Zhang, Anthony Finkelstein and Mark Harman
Proceedings of the 14th International Working Conference, Requirements Engineering: Foundation for Software Quality (RefsQ '08), pages 88-94
[pdf] [bibtex]
@inproceedings{ZhangFH08,
doi = {10.1007/978-3-540-69062-7_8},
affliliation = {CREST Centre, King's College London; University College London},
title = {{S}earch {B}ased {R}equirements {O}ptimisation: {E}xisting {W}ork \& {C}hallenges},
series = {LNCS},
booktitle = {Proceedings of the 14th International Working Conference, Requirements Engineering: Foundation for Software Quality (RefsQ '08)},
address = {Montpellier, France},
month = {16-17 June},
volume = {5025},
year = {2008},
pages = {88-94}}
Analysis of Procedure Splitability
Tao Jiang, Mark Harman and Youssef Hassoun
Proceedings of the 15th Working Conference on Reverse Engineering (WCRE '08), pages 247-256
[pdf] [bibtex]
@inproceedings{JiangHH08,
doi = {10.1109/WCRE.2008.31},
title = {{A}nalysis of {P}rocedure {S}plitability},
booktitle = {Proceedings of the 15th Working Conference on Reverse Engineering (WCRE '08)},
address = {Antwerp, Belgium},
month = {15-18 October},
year = {2008},
pages = {247-256}}
Extending a Task Allocation Algorithm for Graceful Degradation of Real-Time Distributed Embedded Systems
Paul Emberson and Iain Bate
Proceedings of the 2008 Real-Time Systems Symposium (RTSS '08), pages 270-279
[pdf] [bibtex]
@inproceedings{EmbersonB08,
doi = {10.1109/RTSS.2008.24},
title = {{E}xtending a {T}ask {A}llocation {A}lgorithm for {G}raceful {D}egradation of {R}eal-{T}ime {D}istributed {E}mbedded {S}ystems},
booktitle = {Proceedings of the 2008 Real-Time Systems Symposium (RTSS '08)},
address = {Barcelona, Spain},
month = {30 November - 3 December},
year = {2008},
pages = {270-279}}
Constructing Subtle Faults Using Higher Order Mutation Testing
Yue Jia and Mark Harman
Proceedings of the 8th International Working Conference on Source Code Analysis and Manipulation (SCAM '08), pages 249-258 (Best Paper Award)
[pdf] [bibtex]
@inproceedings{JiaH08,
doi = {10.1109/SCAM.2008.36},
title = {{C}onstructing {S}ubtle {F}aults {U}sing {H}igher {O}rder {M}utation {T}esting},
booktitle = {Proceedings of the 8th International Working Conference on Source Code Analysis and Manipulation (SCAM '08)},
address = {Beijing, China},
month = {28-29 September},
year = {2008},
pages = {249-258 (Best Paper Award)}}

Technical Reports and Theses

Test Data Augmentation: Generating New Test Data from Existing Test Data
Shin Yoo and Mark Harman
Technical Report, King's College London, TR-08-04, 2008
[pdf] [bibtex]
@techreport{YooH08,
url = {http://www.dcs.kcl.ac.uk/pg/yooshi/papers/Yoo2008it.pdf},
year = {2008},
number = {TR-08-04},
institution = {King's College London},
title = {{T}est {D}ata {A}ugmentation: {G}enerating {N}ew {T}est {D}ata from {E}xisting {T}est {D}ata}}
Crossover Can be Constructive when Computing Unique Input Output Sequences
Per Lehre and Xin Yao
Technical Report, University of Birmingham, School of Computer Science, CSR-08-08, 2008
[pdf] [bibtex]
@techreport{LehreY08b,
title = {{C}rossover {C}an be {C}onstructive when {C}omputing {U}nique {I}nput {O}utput {S}equences},
url = {ftp://ftp.cs.bham.ac.uk/pub/tech-reports/2008/CSR-08-08.ps.gz},
number = {CSR-08-08},
month = {September},
email = {P.K.Lehre@cs.bham.ac.uk, X.Yao@cs.bham.ac.uk},
year = {2008},
institution = {University of Birmingham, School of Computer Science}}

2007

Journals

Search Algorithms for Regression Test Case Prioritization
Zheng Li, Mark Harman and Robert Hierons
IEEE Transactions on Software Engineering, 33(4):225-237
[pdf] [bibtex]
@article{LiHH07,
doi = {10.1109/TSE.2007.38},
title = {{S}earch {A}lgorithms for {R}egression {T}est {C}ase {P}rioritization},
journal = {IEEE Transactions on Software Engineering},
number = {4},
month = {April},
volume = {33},
year = {2007},
pages = {225-237}}
Locating Dependence Structures using Search-based Slicing
Tao Jiang, Nicolas Gold, Mark Harman and Zheng Li
Information and Software Technology, 50(12):1189-1209
[pdf] [bibtex]
@article{JiangGHL07,
doi = {10.1016/j.infsof.2007.11.001},
title = {{L}ocating {D}ependence {S}tructures using {S}earch-based {S}licing},
journal = {Information and Software Technology},
number = {12},
month = {November},
volume = {50},
year = {2007},
pages = {1189-1209}}
Heuristics for Fault Diagnosis when Testing from Finite State Machines
Qiang Guo, Robert Hierons, Mark Harman and Karnig Derderian
Software Testing, Verification and Reliability, 17(1):41-57
[pdf] [bibtex]
@article{GuoHHD07,
doi = {10.1002/stvr.v17:1},
title = {{H}euristics for {F}ault {D}iagnosis when {T}esting from {F}inite {S}tate {M}achines},
journal = {Software Testing, Verification and Reliability},
number = {1},
month = {March},
volume = {17},
year = {2007},
pages = {41-57}}

Conferences

Coevolving Programs and Unit Tests from their Specification
Andrea Arcuri and Xin Yao
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE '07), pages 397-400
[pdf] [bibtex]
@inproceedings{ArcuriY07d,
doi = {10.1145/1321631.1321693},
affliliation = {The Centre of Excellence for Research in Computational Intelligence and Applications (CERCIA), The School of Computer Science, The University of Birmingham},
title = {{C}oevolving {P}rograms and {U}nit {T}ests from their {S}pecification},
booktitle = {Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE '07)},
address = {Atlanta, Georgia, USA},
month = {5-9 November},
year = {2007},
pages = {397-400}}
A Memetic Algorithm for Test Data Generation of Object-Oriented Software
Andrea Arcuri and Xin Yao
Proceedings of the 2007 IEEE Congress on Evolutionary Computation (CEC '07), pages 2048-2055
[pdf] [bibtex]
@inproceedings{ArcuriY07b,
doi = {10.1109/CEC.2007.4424725},
affliliation = {The Centre of Excellence for Research in Computational Intelligence and Applications (CERCIA), The School of Computer Science, The University of Birmingham},
title = {{A} {M}emetic {A}lgorithm for {T}est {D}ata {G}eneration of {O}bject-{O}riented {S}oftware},
booktitle = {Proceedings of the 2007 IEEE Congress on Evolutionary Computation (CEC '07)},
year = {2007},
month = {25-28 September},
address = {Singapore},
pages = {2048-2055}}
On Test Data Generation of Object-Oriented Software
Andrea Arcuri and Xin Yao
Testing: Academic and Industrial Conference, Practice and Research Techniques (TAIC PART), pages 72-76
[pdf] [bibtex]
@inproceedings{ArcuriY07c,
doi = {10.1109/TAICPART.2007.4344101},
affliliation = {The Centre of Excellence for Research in Computational Intelligence and Applications (CERCIA), The School of Computer Science, The University of Birmingham},
title = {{O}n {T}est {D}ata {G}eneration of {O}bject-{O}riented {S}oftware},
booktitle = {Testing: Academic and Industrial Conference, Practice and Research Techniques (TAIC PART)},
year = {2007},
month = {12-14 September},
address = {Cumberland Lodge, Windsor, UK},
pages = {72-76}}
An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms
Simon Poulding, Paul Emberson, Iain Bate and John Clark
Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium (HASE '07), pages 53-62
[pdf] [bibtex]
@inproceedings{PouldingEBC07,
doi = {10.1109/HASE.2007.19},
title = {{A}n {E}fficient {E}xperimental {M}ethodology for {C}onfiguring {S}earch-{B}ased {D}esign {A}lgorithms},
booktitle = {Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium (HASE '07)},
address = {Dallas, Texas, USA},
month = {14-16 November},
year = {2007},
pages = {53-62}}
The Impact of Input Domain Reduction on Search-based Test Data Generation
Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn and Joachim Wegener
Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, pages 155-164
[pdf] [bibtex]
@inproceedings{HarmanHLMW07,
doi = {10.1145/1287624.1287647},
title = {{T}he {I}mpact of {I}nput {D}omain {R}eduction on {S}earch-based {T}est {D}ata {G}eneration},
booktitle = {Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering},
address = {Dubrovnik, Croatia},
month = {3-7 September},
year = {2007},
pages = {155-164}}
Search Based Software Engineering for Program Comprehension
Mark Harman
Proceedings of the 15th IEEE International Conference on Program Comprehension (ICPC '07), pages 3-13
[pdf] [bibtex]
@inproceedings{Harman07b,
doi = {10.1109/ICPC.2007.35},
title = {{S}earch {B}ased {S}oftware {E}ngineering for {P}rogram {C}omprehension},
booktitle = {Proceedings of the 15th IEEE International Conference on Program Comprehension (ICPC '07)},
address = {Banff, Alberta, Canada},
month = {26-29 June},
year = {2007},
pages = {3-13}}
Pareto Optimal Search Based Refactoring at the Design Level
Mark Harman and Laurence Tratt
Proceedings of the 9th annual Conference on Genetic and Evolutionary Computation (GECCO '07), pages 1106-1113
[pdf] [bibtex]
@inproceedings{HarmanT07,
doi = {10.1145/1276958.1277176},
title = {{P}areto {O}ptimal {S}earch {B}ased {R}efactoring at the {D}esign {L}evel},
booktitle = {Proceedings of the 9th annual Conference on Genetic and Evolutionary Computation (GECCO '07)},
address = {London, England},
month = {7-11 July},
year = {2007},
pages = {1106-1113}}
Runtime Analysis of (1+1) EA on Computing Unique Input Output Sequences
Per Lehre and Xin Yao
Proceedings of 2007 IEEE Congress on Evolutionary Computation (CEC '07), pages 1882-1889
[pdf] [bibtex]
@inproceedings{LehreY07,
doi = {10.1109/CEC.2007.4424703},
title = {{R}untime {A}nalysis of (1+1) {EA} on {C}omputing {U}nique {I}nput {O}utput {S}equences},
booktitle = {Proceedings of 2007 IEEE Congress on Evolutionary Computation (CEC '07)},
year = {2007},
month = {25-28 September},
address = {Singapore},
pages = {1882-1889}}
Pareto Efficient Multi-Objective Test Case Selection
Shin Yoo and Mark Harman
Proceedings of the 2007 International Symposium on Software Testing and Analysis (ISSTA '07), pages 140-150
[pdf] [bibtex]
@inproceedings{YooH07,
doi = {10.1145/1273463.1273483},
title = {{P}areto {E}fficient {M}ulti-{O}bjective {T}est {C}ase {S}election},
booktitle = {Proceedings of the 2007 International Symposium on Software Testing and Analysis (ISSTA '07)},
address = {London, England},
month = {9-12 July},
year = {2007},
pages = {140-150}}
A Theoretical & Empirical Analysis of Evolutionary Testing and Hill Climbing for Structural Test Data Generation
Mark Harman and Phil McMinn
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA '07), pages 73-83
[pdf] [bibtex]
@inproceedings{HarmanM07,
doi = {10.1145/1273463.1273475},
title = {{A} {T}heoretical \& {E}mpirical {A}nalysis of {E}volutionary {T}esting and {H}ill {C}limbing for {S}tructural {T}est {D}ata {G}eneration},
booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA '07)},
year = {2007},
month = {9-12 July},
address = {London, England},
pages = {73-83}}
A Multi-Objective Approach to Search-based Test Data Generation
Mark Harman, Kiran Lakhotia and Phil McMinn
Proceedings of the 9th annual Conference on Genetic and Evolutionary Computation (GECCO '07), pages 1098-1105
[pdf] [bibtex]
@inproceedings{HarmanLM07,
doi = {10.1145/1276958.1277175},
title = {{A} {M}ulti-{O}bjective {A}pproach to {S}earch-based {T}est {D}ata {G}eneration},
booktitle = {Proceedings of the 9th annual Conference on Genetic and Evolutionary Computation (GECCO '07)},
year = {2007},
month = {7-11 July},
address = {London, England},
pages = {1098-1105}}
Estimation of Distribution Algorithms for Testing Object Oriented Software
Ramón Sagarna, Andrea Arcuri and Xin Yao
Proceedings of the IEEE Congress on Evolutionary Computation (CEC '07), pages 438-444
[pdf] [bibtex]
@inproceedings{SagarnaAY07,
doi = {10.1109/CEC.2007.4424504},
title = {{E}stimation of {D}istribution {A}lgorithms for {T}esting {O}bject {O}riented {S}oftware},
booktitle = {Proceedings of the IEEE Congress on Evolutionary Computation (CEC '07)},
year = {2007},
month = {25-28 September},
address = {Singapore},
pages = {438-444}}
The Multi-Objective Next Release Problem
Yuanyuan Zhang, Mark Harman and S. Mansouri
Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation (GECCO '07), pages 1129-1137 (Best Paper Award)
[pdf] [bibtex]
@inproceedings{ZhangHM07,
doi = {10.1145/1276958.1277179},
affliliation = {CREST Centre, King's College London;},
title = {{T}he {M}ulti-{O}bjective {N}ext {R}elease {P}roblem},
booktitle = {Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation (GECCO '07)},
address = {London, UK},
month = {7-11 July},
year = {2007},
pages = {1129-1137 (Best Paper Award)}}
The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach
Massimiliano Di Penta, Mark Harman, Giuliano Antoniol and Fahim Qureshi
Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM '07), pages 315-324
[pdf] [bibtex]
@inproceedings{DiPentaHAQ07,
doi = {10.1109/ICSM.2007.4362644},
title = {{T}he {E}ffect of {C}ommunication {O}verhead on {S}oftware {M}aintenance {P}roject {S}taffing: a {S}earch-{B}ased {A}pproach},
booktitle = {Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM '07)},
address = {Paris, France},
month = {2-5 October},
year = {2007},
pages = {315-324}}
Minimising Task Migration and Priority Changes In Mode Transitions
Paul Emberson and Iain Bate
Proceedings of the 13th IEEE Real-Time And Embedded Technology And Applications Symposium (RTAS '07), pages 158-167
[pdf] [bibtex]
@inproceedings{EmbersonB07,
doi = {10.1109/RTAS.2007.17},
title = {{M}inimising {T}ask {M}igration and {P}riority {C}hanges {I}n {M}ode {T}ransitions},
booktitle = {Proceedings of the 13th IEEE Real-Time And Embedded Technology And Applications Symposium (RTAS '07)},
address = {Bellevue, Washington, USA},
month = {3-6 April},
year = {2007},
pages = {158-167}}
The Current State and Future of Search Based Software Engineering
Mark Harman
Proceedings of International Conference on Software Engineering / Future of Software Engineering 2007 (ICSE/FOSE '07), pages 342-357
[pdf] [bibtex]
@inproceedings{Harman07,
doi = {10.1109/FOSE.2007.29},
title = {{T}he {C}urrent {S}tate and {F}uture of {S}earch {B}ased {S}oftware {E}ngineering},
booktitle = {Proceedings of International Conference on Software Engineering / Future of Software Engineering 2007 (ICSE/FOSE '07)},
year = {2007},
month = {20-26 May},
address = {Minneapolis, Minnesota, USA},
pages = {342-357}}

Technical Reports and Theses

Search Based Testing of Containers for Object-Oriented Software
Andrea Arcuri and Xin Yao
Technical Report, University of Birmingham, CSR-07-3, 2007
[pdf] [bibtex]
@techreport{ArcuriY07,
affliliation = {The Centre of Excellence for Research in Computational Intelligence and Applications (CERCIA), The School of Computer Science, The University of Birmingham},
title = {{S}earch {B}ased {T}esting of {C}ontainers for {O}bject-{O}riented {S}oftware},
url = {ftp://ftp.cs.bham.ac.uk/pub/tech-reports/2007/CSR-07-3.pdf},
number = {CSR-07-3},
year = {2007},
institution = {University of Birmingham}}
An Optimization Approach for Software Test Data Generation: Applications of Estimation of Distribution Algorithms and Scatter Search
Ramón Sagarna
PhD Thesis, University of the Basque Country, Spain, 2007
[pdf] [bibtex]
@phdthesis{Sagarna07,
school = {University of the Basque Country, Spain},
title = {{A}n {O}ptimization {A}pproach for {S}oftware {T}est {D}ata {G}eneration: {A}pplications of {E}stimation of {D}istribution {A}lgorithms and {S}catter {S}earch},
url = {http://www.cercia.ac.uk/projects/research/SEBASE/pdfs/2007/rs-thesis.pdf},
address = {San Sebastian, Spain},
month = {January},
year = {2007},
type = {Ph.{D}. Thesis}}

2006

Conferences

The State Problem for Test Generation in Simulink
Yuan Zhan and John Clark
Proceedings of the 8th annual Conference on Genetic and Evolutionary Computation (GECCO '06), pages 1941-1948
[pdf] [bibtex]
@inproceedings{ZhanC06,
doi = {10.1145/1143997.1144319},
title = {{T}he {S}tate {P}roblem for {T}est {G}eneration in {S}imulink},
booktitle = {Proceedings of the 8th annual Conference on Genetic and Evolutionary Computation (GECCO '06)},
address = {Seattle, Washington, USA},
month = {8-12 July},
location = {Seattle, Washington, USA},
year = {2006},
pages = {1941-1948}}
The Species per Path Approach to Search-based Test Data Generation
Phil McMinn, Mark Harman, David Binkley and Paolo Tonella
Proceedings of the 2006 International Symposium on Software Testing and Analysis (ISSTA '06), pages 13-24
[pdf] [bibtex]
@inproceedings{McMinnHBT06,
doi = {10.1145/1146238.1146241},
title = {{T}he {S}pecies per {P}ath {A}pproach to {S}earch-based {T}est {D}ata {G}eneration},
booktitle = {Proceedings of the 2006 International Symposium on Software Testing and Analysis (ISSTA '06)},
address = {Portland, Maine, USA.},
month = {17-20 July},
mon = {#jul#},
year = {2006},
pages = {13-24}}
Search-based Approaches to the Component Selection and Prioritization Problem
Mark Harman, Alexandros Skaliotis and Kathleen Steinhöfel
Proceedings of the 8th annual Conference on Genetic and Evolutionary Computation (GECCO '06), pages 1951-1952
[pdf] [bibtex]
@inproceedings{HarmanSS06,
doi = {10.1145/1143997.1144321},
title = {{S}earch-based {A}pproaches to the {C}omponent {S}election and {P}rioritization {P}roblem},
booktitle = {Proceedings of the 8th annual Conference on Genetic and Evolutionary Computation (GECCO '06)},
year = {2006},
month = {8-12 July},
address = {Seattle, Washington, USA},
pages = {1951-1952}}
Search Based Approaches to Component Selection and Prioritization for the Next Release Problem
Paul Baker, Mark Harman, Kathleen Steinhöfel and Alexandros Skaliotis
Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM '06), pages 176-185
[pdf] [bibtex]
@inproceedings{BakerHSS06,
doi = {http://doi.ieeecomputersociety.org/10.1109/ICSM.2006.56},
affliliation = {Motorola Labs; King's College London},
title = {{S}earch {B}ased {A}pproaches to {C}omponent {S}election and {P}rioritization for the {N}ext {R}elease {P}roblem},
booktitle = {Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM '06)},
address = {Philadelphia, Pennsylvania},
month = {24-27 September},
year = {2006},
bibsource = {DBLP, http://dblp.uni-trier.de/db/conf/icsm/icsm2006.html#BakerHSS06},
pages = {176-185}}
Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding
Nicolas Gold, Mark Harman, Zheng Li and Kiarash Mahdavi
Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM '06), pages 310-319
[pdf] [bibtex]
@inproceedings{GoldHLM06,
doi = {10.1109/ICSM.2006.10},
title = {{A}llowing {O}verlapping {B}oundaries in {S}ource {C}ode using a {S}earch {B}ased {A}pproach to {C}oncept {B}inding},
booktitle = {Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM '06)},
address = {Philadelphia, USA},
month = {24-27 September},
year = {2006},
bibsource = {DBLP, http://dblp.uni-trier.de/db/conf/icsm/icsm2006.html#GoldHLM06},
pages = {310-319}}
Incorporating Scenarios And Heuristics To Improve Flexibility In Real-Time Embedded Systems
Iain Bate and Paul Emberson
Proceedings of the 12th IEEE Real-Time And Embedded Technology And Applications Symposium (RTAS '06), pages 221-230
[pdf] [bibtex]
@inproceedings{BateE06,
doi = {10.1109/RTAS.2006.21},
affliliation = {Department of Computer Science, University of York},
title = {{I}ncorporating {S}cenarios {A}nd {H}euristics {T}o {I}mprove {F}lexibility {I}n {R}eal-{T}ime {E}mbedded {S}ystems},
booktitle = {Proceedings of the 12th IEEE Real-Time And Embedded Technology And Applications Symposium (RTAS '06)},
address = {San Jose, California, USA},
month = {4-7 April},
year = {2006},
pages = {221-230}}

This page was last modified on 13 Oct 2011.