Publications

Publications

2017

Abdallah, S., Benetos, E., Gold, N.E., Hargreaves, S., Weyde, T., Wolff, D. (2017). The Digital Music Lab: A Big Data Infrastructure for Digital Musicology. ACM Journal on Computing and Cultural Heritage,
Dodier-Lazaro, S., Becker, I., Krinke, J., Sasse, M. (2017). No Good Reason to Remove Features: Expert Users Value Useful Apps over Secure Ones. London: UCL Computer Science.
Langdon, W.B., Lam, B.Y.H., Modat, M., Petke, J., Harman, M. (2017). Genetic improvement of GPU software. Genetic Programming and Evolvable Machines, 18 (1), 5-44. doi:10.1007/s10710-016-9273-9
Petke, J. (2017). Preface to the Special Issue on Genetic Improvement. Genetic Programming and Evolvable Machines, 18 (1), 3-4. doi:10.1007/s10710-016-9280-x
Ragkhitwetsagul, C., Krinke, J. (2017). Using Compilation/Decompilation to Enhance Clone Detection.
Sarro, F., Ferrucci, F., Harman, M., Manna, A., Ren, J. (2017). Adaptive Multi-objective Evolutionary Algorithms for Overtime Planning in Software Projects. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2017.2650914

2016

Abdallah, S., Benetos, E., Gold, N.E., Hargreaves, S., Weyde, T., Wolff, D. (2016). Digital Music Lab: A Framework for Analysing Big Music Data.
Al-Subaihin, A.A., Sarro, F., Black, S., Capra, L., Harman, M., Jia, Y., Zhang, Y. (2016). Clustering Mobile Apps Based on Mined Textual Features.
Aspromallis, C., Gold, N.E. (2016). Form-Aware, Real-Time Adaptive Music Generation for Interactive Experiences.
Bowes, D., Hall, T., Harman, M., Jia, Y., Sarro, F., Wu, F. (2016). Mutation-Aware Fault Prediction.
Bruce, B.R., Aitken, J.M., Petke, J. (2016). Deep Parameter Optimisation for Face Detection Using the Viola-Jones Algorithm in OpenCV.
Dolado, J.J., Rodriguez, D., Harman, M., Langdon, W.B., Sarro, F. (2016). Evaluation of estimation models using the Minimum Interval of Equivalence. Applied Soft Computing Journal, 49 956-967. doi:10.1016/j.asoc.2016.03.026
Feldt, R., Poulding, S., Clark, D., Yoo, S. (2016). Test Set Diameter: Quantifying the Diversity of Sets of Test Cases.
Gargantini, A., Petke, J., Radavelli, M., Vavassori, P. (2016). Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing.
Harman, M., Al-Subaihin, A., Jia, Y., Martin, W., Sarro, F., Zhang, Y. (2016). Mobile app and app store analysis, testing and optimisation.
Harman, M., McMinn, P. (2016). Preface.
Henard, C., Papadakis, M., Harman, M., Jia, Y., Traon, Y.L. (2016). Comparing white-box and black-box test prioritization.
Hindle, A., Barr, E.T., Gabel, M., Su, Z., Devanbu, P. (2016). On the naturalness of software. Communications of the ACM, 59 (5), 122-131. doi:10.1145/2902362
Jahangirova, G., Clark, D.J., Harman, M., Tonella, P. (2016). Test Oracle Assessment and Improvement.
Just, R., Krinke, J., Henard, C. (2016). Message from the MUTATION 2016 Chairs.
Langdon, W. (2016). The Genetic Improvement Fitness Landscape. .
Langdon, W.B. (2016). Kin selection with twin genetic programming.
Langdon, W.B., Dolado, J., Sarro, F., Harman, M. (2016). Exact Mean Absolute Error of Baseline Predictor, MARP0. Information and Software Technology, 73 16-18. doi:10.1016/j.infsof.2016.01.003
Langdon, W.B., Petke, J. (2016). Genetic Improvement.
Langdon, W.B., Petke, J., Bruce, B.R. (2016). Optimising Quantisation Noise in Energy Measurement.
Langdon, W.B., Vilella, A., Lam, B.Y.H., Petke, J., Harman, M. (2016). Benchmarking genetically improved BarraCUDA on epigenetic methylation NGS datasets and nVidia GPUs.
Langdon, W.B., White, D.R., Harman, M., Jia, Y., Petke, J. (2016). API-Constrained Genetic Improvement.
Langdon, W., Harman, M. (2016). Fitness Landscape of the Triangle Program. .
mao, K., Capra, L., harman, M., jia, Y. (2016). A Survey of the Use of Crowdsourcing in Software Engineering. Journal of Systems and Software,
Mao, K., Harman, M.A.R.K., Jia, Y.U.E. (2016). Sapienz: Multi-objective Automated Testing for Android Applications.
Martín, A., Menéndez, H.D., Camacho, D. (2016). MOCDroid: multi-objective evolutionary classifier for Android malware detection. Soft Computing, 1-11. doi:10.1007/s00500-016-2283-y
Martin, W., Sarro, F., Harman, M. (2016). Causal impact analysis for app releases in google play.
Martin, W., Sarro, F., Harman, M., Jia, Y., Zhang, Y. (2016). A survey of app store analysis for software engineering. Transactions on Software Engineering, doi:10.1109/TSE.2016.2630689
McMinn, P., Harman, M., Fraser, G., Kapfhammer, G.M. (2016). Automated Search for Good Coverage Criteria: Moving from Code Coverage to Fault Coverage Through Search-Based Software Engineering.
Menéndez, H.D., Otero, F.E.B., Camacho, D. (2016). Medoid-based clustering using ant colony optimization. Swarm Intelligence, 10 (2), 123-145. doi:10.1007/s11721-016-0122-5
Newbold, J., Bianchi-Berthouze, N., Gold, N.E., Tajadura-Jimenez, A., Williams, A. (2016). Musically Informed Sonification for Chronic Pain Rehabilitation: Facilitating Progress & Avoiding Over-doing.
Ó Cinnéide, M., Hemati Moghadam, I., Harman, M., Counsell, S., Tratt, L. (2016). An experimental search-based approach to cohesion metric evaluation. Empirical Software Engineering, 1-38. doi:10.1007/s10664-016-9427-7
Papadakis, M., Henard, C., Harman, M., Jia, Y., Traon, Y.L. (2016). Threats to the validity of mutation-based test assessment.
Patrick, M., Jia, Y. (2016). KD-ART: Should we intensify or diversify tests to kill mutants?. INFORMATION AND SOFTWARE TECHNOLOGY, 81 36-51. doi:10.1016/j.infsof.2016.04.009
Petke, J. (2016). Genetic Improvement for Code Obfuscation.
Petke, J., Gay, G. (2016). Message from the workshop chairs.
Ragkhitwetsagul, C. (2016). Measuring Code Similarity in Large-scaled Code Corpora.
Ragkhitwetsagul, C., Krinke, J., Clark, D. (2016). Similarity of Source Code in the Presence of Pervasive Modifications.
Ragkhitwetsagul, C., Krinke, J., Paixao, M., Adham, M., Busari, S., Drake, J.H. (2016). Searching for Configurations in Clone Evalution: A Replication Study.
Salza, P., Ferrucci, F., Sarro, F. (2016). Develop, Deploy and Execute Parallel Genetic Algorithms in the Cloud.
Salza, P., Ferrucci, F., Sarro, F. (2016). elephant56: Design and Implementation of a Parallel Genetic Algorithms Framework on Hadoop MapReduce.
Sarro, F., Petrozziello, A., Harman, M. (2016). Multi-objective software effort estimation.
Spiro, N., Gold, N.E., Rink, J. (2016). Musical Motives in Performance: A Study of Absolute Timing Patterns. In Smith, J.B.L., Chew, E., Assayag, G. (Eds.), Mathemusical Conversations: Mathematics and Computation in Music Performance and Composition. Singapore: Imperial College Press and World Scientific.
Weimer, W., Petke, J., White, D.R. (2016). Genetic Improvement 2016 Chairs' Welcome & Organization.
Wu, F., Harman, M., Jia, Y., Krinke, J. (2016). HOMI: Searching Higher Order Mutants for Software Improvement.
Wu, F., Nanavati, J., Harman, M., Jia, Y., Krinke, J. (2016). Memory mutation testing. Information and Software Technology, 81 97-111. doi:10.1016/j.infsof.2016.03.002
Wu, F., Nanavati, J., Harman, M., Jia, Y., Krinke, J. (2016). Memory mutation testing. Information and Software Technology, 81 97-111. doi:10.1016/j.infsof.2016.03.002
Yang, Y., Harman, M., Krinke, J., Islam, S., Binkley, D., Zhou, Y., Xu, B. (2016). An Empirical Study on Dependence Clusters for Effort-Aware Fault-Proneness Prediction.

2015

(2015). GECCO Companion ’15: Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference.
(2015). Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015.
Abdallah, S., Alencar-Brayner, A., Benetos, E., Cottrell, S., Dykes, J., Kachkaev, A., ...Tovell, A. (2015). Automatic Transcription and Pitch Analysis of the British Library World and Traditional Music Collections.
Allamanis, M., Barr, E.T., Bird, C., Sutton, C.A. (2015). Suggesting accurate method and class names..
Barr, E.T., Harman, M., Jia, Y., Marginean, A., Petke, J. (2015). Automated software transplantation.
Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S. (2015). The Oracle Problem in Software Testing: A Survey. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 41 (5), 507-525. doi:10.1109/TSE.2014.2372785
Bian, Y., Kirbas, S., Harman, M., Jia, Y., Li, Z. (2015). Regression test case prioritisation for Guava.
Binkley, D., Gold, N.E., Harman, M., Islam, S., Krinke, J., Yoo, S. (2015). ORBS and the Limits of Static Slicing.
Boreale, M., Clark, D., Gorla, D. (2015). A semiring-based trace semantics for processes with applications to information leakage analysis. Mathematical Structures in Computer Science, 25 (2), 259-291. doi:10.1017/S0960129513000601
Bruce, B.R., Petke, J., Harman, M. (2015). Reducing Energy Consumption Using Genetic Improvement.
Bruce, R.R., Petke, J., Harman, M. (2015). Reducing Energy Consumption Using Genetic Improvement.
Clark, D., Feldt, R., Poulding, S., Yoo, S. (2015). Information Transformation: An Underpinning Theory for Software Engineering.
Corazza, A., Di Martino, S., Ferrucci, F., Gravino, C., Sarro, F. (2015). From Function Points to COSMIC - A Transfer Learning Approach for Effort Estimation.
Di Martino, S., Ferrucci, F., Gravino, C., Sarro, F. (2015). Web Effort Estimation: Function Point Analysis vs. COSMIC. Information and Software Technology, 72 90-109. doi:10.1016/j.infsof.2015.12.001
Dodier-Lazaro, S. (2015). Appropriation and Principled Security.
Epitropakis, M.G., Yoo, S., Harman, M., Burke, E.K. (2015). Empirical evaluation of Pareto efficient multi-objective regression test case prioritisation.
Ferrucci, F., Gravino, C., Salza, P., Sarro, F. (2015). Investigating Functional and Code Size Measures for Mobile Applications.
Ferrucci, F., Gravino, C., Salza, P., Sarro, F. (2015). Investigating Functional and Code Size Measures for Mobile Applications: A Replicated Study.
Ferrucci, F., Kechadi, T., Salza, P., Sarro, F. (2015). A Parallel Genetic Algorithms Framework Based on Hadoop MapReduce.
Genn, H. (2015). Foreward. UCL Journal of Law and Jurisprudence, 4 (1), doi:10.14324/111.2052-1871.026
Harman, M., Chicano, F. (2015). Special issue on search based software engineering in Journal of Systems and Software. Journal of Systems and Software, doi:10.1016/j.jss.2015.01.051
Harman, M., Chicano, F. (2015). Search Based Software Engineering (SBSE). Journal of Systems and Software, 103 266-. doi:10.1016/j.jss.2015.01.051
Harman, M., Petke, J. (2015). GI4GI: Improving genetic improvement fitness functions.
Harman, M., Pezze, M. (2015). Introduction to the Special Issue on ISSTA 2013. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 24 (4), doi:10.1145/2809789
Henard, C., Papadakis, M., Harman, M., Le Traon, Y. (2015). Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines.
Jia, Y. (2015). Hyperheuristic Search for SBST.
Jia, Y., Cohen, M.B., Harman, M., Petke, J. (2015). Learning Combinatorial Interaction Test Generation Strategies using Hyperheuristic Search.
Jia, Y., Harman, M., Langdon, W.B., Marginean, A. (2015). Grow and Serve: Growing Django Citation Services Using SBSE.
Jia, Y., Harman, M., Merayo, M. (2015). Introduction to the special issue on Mutation Testing. SOFTWARE TESTING VERIFICATION & RELIABILITY, 25 (5-7), 461-463. doi:10.1002/stvr.1582
Jia, Y., Wu, F., Harman, M., Krinke, J. (2015). Genetic Improvement using higher order mutation.
Krinke, J., Robillard, M. (2015). Message from the program co-chairs.
Langdon, W.B. (2015). Performance of genetic programming optimised Bowtie2 on genome comparison and analytic testing (GCAT) benchmarks. BIODATA MINING, 8 doi:10.1186/s13040-014-0034-0
Langdon, W.B. (2015). Genetic Improvement of Software for Multiple Objectives.
Langdon, W.B., Harman, M. (2015). Grow and Graft a better CUDA pknotsRG for RNA pseudoknot free energy calculation.
Langdon, W.B., Lam, B.Y.H. (2015). Genetically Improved BarraCUDA. Department of Computer Science, University College London .
Langdon, W.B., Lam, B.Y.H. (2015). Genetically Improved BarraCUDA. Department of Computer Science, University College London .
Langdon, W.B., Lam, B.Y.H., Petke, J., Harman, M. (2015). Improving CUDA DNA Analysis Software with Genetic Programming.
Langdon, W.B., Petke, J. (2015). Software is Not Fragile.
Langdon, W.B., Petke, J., White, D.R. (2015). Genetic Improvement 2015 Chairs’ Welcome.
Mao, K., Yang, Y., Wang, Q., Jia, Y., Harman, M. (2015). Developer Recommendation for Crowdsourced Software Development Tasks.
Marginean, A., Barr, E.T., Harman, M., Jia, Y. (2015). Automated transplantation of call graph and layout features into Kate.
Menendez, H.D. (2015). A tutorial on manifold clustering using genetic algorithms.
Menéndez, H.D., Camacho, D. (2015). MOGCLA: A Multi-Objective Genetic Clustering Algorithm for Large Data Analysis..
Menéndez, H.D., Camacho, D. (2015). Gany: a genetic spectral-based clustering algorithm for large data analysis.
Menendez, H., Otero, F.E.B., Camacho, D. (2015). Extending the SACOC algorithm through the Nystrom method for Dense Manifold Data Analysis. International Journal of Bio-Inspired Computation,
Minku, L., Sarro, F., Mendes, E., Ferrucci, F. (2015). How to Make Best Use of Cross-Company Data for Web Effort Estimation?.
Minku, L., Sarro, F., Mendes, E., Ferrucci, F. (2015). How to Make Best Use of Cross-Company Data for Web Effort Estimation?.
Nanavati, J., Wu, F., Harman, M., Jia, Y., Krinke, J. (2015). Mutation Testing of Memory-Related Operators.
Neumann, G., Harman, M., Poulding, S. (2015). Transformed Vargha-Delaney effect size.
Newbold, J.W., Bianchi-Berthouze, N., Gold, N.E., Williams, A. (2015). Musically Informed Sonification for Self-Directed Chronic Pain Physical Rehabilitation.
Okazaki, S., Díaz-Martín, A.M., Rozano, M., Menéndez-Benito, H.D. (2015). Using Twitter to engage with customers: a data mining approach. Internet Research, 25 416-434.
Olajubu, O. (2015). A textual domain specific language for requirement modelling..
Paixao, M., Harman, M., Zhang, Y. (2015). Improving the Module Clustering of a C/C++ Editor using a Multi-objective Genetic Algorithm. Department of Computer Science, UCL .
Papadakis, M., Jia, Y., Harman, M., Le Traon, Y. (2015). Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique.
Patrick, M., Jia, Y. (2015). Kernel Density Adaptive Random Testing.
Patrick, M., Jia, Y. (2015). Exploring the landscape of non-functional program properties using spatial analysis.
Petke, J. (2015). Testing Django configurations using combinatorial interaction testing.
Petke, J. (2015). Bridging Constraint Satisfaction and Boolean Satisfiability. .
Petke, J. (2015). Constraints: the Future of Combinatorial Interaction Testing.
Petke, J., Cohen, M.B., Harman, M., Yoo, S. (2015). Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 41 (9), 901-924. doi:10.1109/TSE.2015.2421279
Rodriguez-Fernandez, V., Menendez, H.D., Camacho, D. (2015). Design and development of a lightweight multi-UAV simulator.
Rodríguez-Fernández, V., Menéndez, H.D., Camacho, D. (2015). User Profile Analysis for UAV Operators in a Simulation Environment. In Computational Collective Intelligence. (pp. 338-347). Springer International Publishing.
Rodríguez-Fernández, V., Menéndez, H.D., Camacho, D. (2015). Analyzing planning and monitoring skills of users in a multi-UAV simulation environment. In Advances in Artificial Intelligence. (pp. 255-264). Springer International Publishing.
Rodríguez-Fernández, V., Menéndez, H.D., Camacho, D. (2015). Automatic profile generation for UAV operators using a simulation-based training environment. Progress in Artificial Intelligence, 5 37-46. doi:10.1007/s13748-015-0072-y
Smith, E.K., Barr, E.T., Goues, C.L., Brun, Y. (2015). Is the cure worse than the disease? overfitting in automated program repair..
Veerapen, N., Ochoa, G., Harman, M., Burke, E.K. (2015). An Integer Linear Programming approach to the single and bi-objective Next Release Problem. INFORMATION AND SOFTWARE TECHNOLOGY, 65 1-13. doi:10.1016/j.infsof.2015.03.008
Wu, F., Weimer, W., Harman, M., Jia, Y., Krinke, J. (2015). Deep Parameter Optimisation.
Zheng, Q., Mockus, A., Zhou, M. (2015). A method to identify and correct problematic software activity data: exploiting capacity constraints and data redundancies..

2014

(2014). GECCO ’14: Proceedings of the 2014 conference on Genetic and evolutionary computation.
(2014). 7th International Workshop on Search-Based Software Testing, SBST 2014, Hyderabad, India, June 2, 2014.
Abdallah, S.A., Gold, N.E. (2014). Exploring probabilistic grammars of symbolic music using PRISM.
Abdallah, S.A., Gold, N.E. (2014). Comparing models of symbolic music using probabilistic grammars and probabilistic programming.
Allamanis, M., Barr, E.T., Bird, C., Sutton, C. (2014). Learning Natural Coding Conventions.
Alshahwan, N., Harman, M. (2014). Coverage and fault detection of the output-uniqueness test selection criteria.
Androutsopoulos, K., Clark, D., Dan, H., Hierons, R.M., Harman, M. (2014). An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing.
Barr, E.T., Brun, Y., Devanbu, P., Harman, M., Sarro, F. (2014). The Plastic Surgery Hypothesis.
Barr, E.T., Marron, M. (2014). Tardis: Affordable Time-Travel Debugging in Managed Runtimes.
Bello-Orgaz, G., Menéndez, H., Okazaki, S., Camacho, D. (2014). Combining Social-Based Data Mining Techniques To Extract Collective Trends From Twitter. Malaysian Journal of Computer Science, 27 95-111.
Binkley, D., Gold, N., Harman, M., Krinke, J., Islam, S., Yoo, S. (2014). ORBS: Language-Independent Program Slicing.
Dan, H., Harman, M., Krinke, J., Li, L., Marginean, A., Wu, F. (2014). Pidgin crasher: Searching for minimised crashing GUI event sequences.
Dan, H., Harman, M., Krinke, J., Li, L., Marginean, A., Wu, F. (2014). Pidgin Crasher : Searching for Minimised Crashing GUI Event Sequences.
Dannenberg, R.B., Gold, N.E., Liang, D., Xia, G. (2014). Methods and Prospects for Human-Computer Performance of Popular Music. COMPUTER MUSIC JOURNAL, 38 (2), 36-50. doi:10.1162/COMJ_a_00238
Dolado, J.J., Otero, M.C., Harman, M. (2014). Equivalence hypothesis testing in experimental software engineering. SOFTWARE QUALITY JOURNAL, 22 (2), 215-238. doi:10.1007/s11219-013-9196-0
Dolado, J.J., Otero, M.C., Harman, M. (2014). Equivalence hypothesis testing in experimental software engineering. Software Quality Journal, 22 (2), 215-238. doi:10.1007/s11219-013-9196-0
Donat-Bouillud, P., Abdallah, S.A., Gold, N.E. (2014). Compression-based Dependencies Among Rhythmic Motifs in a Score.
Ferrucci, F., Gravino, C., Sarro, F. (2014). Conversion from IFPUG FPA to COSMIC: within-vs without-company equations.
Ferrucci, F., Gravino, C., Sarro, F. (2014). Exploiting Prior-phase Effort Data to Estimate the Effort for the Subsequent Phases: a Further Assessment.
Ferrucci, F., Gravino, C., Sarro, F. (2014). Exploiting prior-phase effort data to estimate the effort for the subsequent phases: A further assessment.
Finkelstein, A., Harman, M., Jia, Y., Martin, W., Sarro, F., Zhang, Y. (2014). App Store Analysis: Mining App Stores for Relationships between Customer, Business and Technical Characteristics. Department of Computer Science, UCL .
Gold, N.E., Rossi Rognoni, G. (2014). The MiCLUES system: Dynamic, rich contextual support for museum visits.
Gu, Z., Schleck, D., Barr, E.T., Su, Z. (2014). Capturing and Exploiting IDE Interactions.
Han, J., Gold, N.E. (2014). Lessons Learned in Exploring the Leap Motion™ Sensor for Gesture-based Instrument Design.
Harman, M., Islam, S., Jia, Y., Minku, L.L., Sarro, F., Srivisut, K. (2014). Less is more: Temporal fault predictive performance over multiple hadoop releases.
Harman, M., Islam, S., Jia, Y., Minku, L.L., Sarro, F., Srivisut, K. (2014). Less is More: Temporal Fault Predictive Performance over Multiple Hadoop Releases.
Harman, M., Islam, S., Jia, Y., Minku, L.L., Sarro, F., Srivisut, K. (2014). Less is more: Temporal fault predictive performance over multiple hadoop releases.
Harman, M., Jia, Y., Langdon, W.B. (2014). Babel Pidgin: SBSE can grow and graft entirely new functionality into a real world system.
Harman, M., Jia, Y., Langdon, W.B. (2014). Babel Pidgin: SBSE can grow and graft entirely new functionality into a real world system.
Harman, M., Jia, Y., Langdon, W.B., Petke, J., Moghadam, I.H., Yoo, S., Wu, F. (2014). Genetic Improvement for Adaptive Software Engineering.
Harman, M., Jia, Y., Langdon, W.B., Petke, J., Moghadam, I.H., Yoo, S., Wu, F. (2014). Genetic improvement for adaptive software engineering (keynote).
Harman, M., Jia, Y., Mateo, P.R., Polo, M. (2014). Angels and monsters: An empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation.
Harman, M., Krinke, J., Medina-Bulo, I., Palomo-Lozano, F., Ren, J., Yoo, S. (2014). Exact scalable sensitivity analysis for the next release problem. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 23 (2), doi:10.1145/2537853
Inoue, K., Koschke, R., Krinke, J. (2014). Special issue on software clones (IWSC'12). SCIENCE OF COMPUTER PROGRAMMING, 95 389. doi:10.1016/j.scico.2014.08.004
Islam, S., Krinke, J., Binkley, D., Harman, M. (2014). Coherent clusters in source code. JOURNAL OF SYSTEMS AND SOFTWARE, 88 1-24. doi:10.1016/j.jss.2013.07.040
Islam, S., Krinke, J., Harman, M., Binkley, D. (2014). Coherent clusters in source code. JOURNAL OF SYSTEMS AND SOFTWARE, 88 1-24. doi:10.1016/j.jss.2013.07.040
Jeavons, P., Petke, J. (2014). Local Consistency and SAT-Solvers.. CoRR, abs/1401.4613
Langdon, W. (2014). Genetic Improvement Programming.
Langdon, W.B. (2014). Improved CUDA 3D Medical Image Registration.
Langdon, W.B. (2014). Computational Intelligence and Testing. Department of Computer Science, University College London .
Langdon, W.B. (2014). News of the GP Bibliography. SIGEvolution newsletter of the ACM Special Interest Group on Genetic and Evolutionary Computation, 6 12-16.
Langdon, W.B. (2014). Genetic Improvement of Programs.
Langdon, W.B., Harman, M. (2014). Genetically Improved CUDA kernels for StereoCamera. Department of Computer Science, University College London .
Langdon, W.B., Harman, M. (2014). Improving Source Code with Genetic Programming.
Langdon, W.B., Modat, M., Petke, J., Harman, M. (2014). Improving 3D Medical Image Registration CUDA Software with Genetic Programming.
Langdon, W.B., Modat, M., Petke, J., Harman, M. (2014). Improving 3D medical image registration CUDA software with genetic programming.
Langdon, W., Petke, J., Harman, M., Weimer, W. (2014). Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class.
Letier, E., Stefan, D., Barr, E.T. (2014). Uncertainty, Risk, and Information Value in Software Requirements and Architecture.
McMinn, P., Harman, M. (2014). Message from the chairs.
Mendes, E., Kalinowski, M., Martins, D., Ferrucci, F., Sarro, F. (2014). Cross-vs. within-company cost estimation studies revisited: an extended systematic review.
MENÉNDEZ, H.D., BARRERO, D.A.V.I.D.F., CAMACHO, D.A.V.I.D. (2014). A GENETIC GRAPH-BASED APPROACH FOR PARTITIONAL CLUSTERING. International Journal of Neural Systems, 24 (03), 1430008. doi:10.1142/S0129065714300083
Menéndez, H.D., Barrero, D.F., Camacho, D. (2014). A co-evolutionary multi-objective approach for a k-adaptive graph-based clustering algorithm.
Menendez, H.D., Camacho, D. (2014). A multi-objective graph-based genetic algorithm for image segmentation.
Menéndez, H.D., Delgado-Calle, C., Camacho, D. (2014). TweetSemMiner: A Meta-Topic Identification Model for Twitter Using Semantic Analysis. In Intelligent Data Engineering and Automated Learning–IDEAL 2014. (pp. 69-76). Springer International Publishing.
Menéndez, H.D., Otero, F.E.B., Camacho, D. (2014). SACOC: A spectral-based ACO clustering algorithm. In Intelligent Distributed Computing VIII. (pp. 185-194). Springer International Publishing.
Menéndez, H.D., Otero, F.E.B., Camacho, D. (2014). MACOC: a medoid-based ACO clustering algorithm. In Swarm Intelligence. (pp. 122-133). Springer International Publishing.
Menéndez, H.D., Plaza, L., Camacho, D. (2014). Combining graph connectivity and genetic clustering to improve biomedical summarization.
Menéndez, H.D., Vázquez, M., Camacho, D. (2014). Mixed Clustering Methods to Forecast Baseball Trends. In Intelligent Distributed Computing VIII. (pp. 175-184). Springer International Publishing.
Menéndez, H.D., Vindel, R., Camacho, D. (2014). Combining time series and clustering to extract gamer profile evolution. In Computational Collective Intelligence. Technologies and Applications. (pp. 262-271). Springer International Publishing.
Neumann, G., Harman, M., Swan, J., Clark, J.A. (2014). The executable experimental template pattern for the systematic comparison of metaheuristics. GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference, 1427-1430. doi:10.1145/2598394.2609850
Okazaki, S., Díaz-Martín, A.M., Rozano, M., Menéndez-Benito, H.D. (2014). How to mine brand Tweets: Procedural guidelines and pretest. International Journal of Market Research, 56 467-488.
Petke, J., Harman, M., Langdon, W.B., Weimer, W. (2014). Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class.
Rahman, F., Khatri, S., Barr, E.T., Devanbu, P. (2014). Comparing Static Bug Finders and Statistical Prediction.
Rossi Rognoni, G., Gold, N.E. (2014). MiCLUES: a new user-driven audio guide for the RCM Museum of Instruments (abstract only).
Vindel, R., Menéndez, H.D., Camacho, D. (2014). Combinando Series Temporales y Clustering para extraer Perfiles Evolutivos de Jugadores.
Vindel, R., Menéndez, H.D., Camacho, D. (2014). A survey in Convergence Technologies for Videogames using Data Mining.
Vos, T.E.J., Tonella, P., Prasetya, I.S.W.B., Kruse, P.M., Shehory, O., Bagnato, A., Harman, M. (2014). The FITTEST tool suite for testing future internet applications.
Vos, T.E.J., Tonella, P., Prasetya, I.S.W.B., Kruse, P.M., Shehory, O., Bagnato, A., Harman, M. (2014). The FITTEST tool suite for testing future internet applications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8432 LNCS 1-31. doi:10.1007/978-3-319-07785-7-1
Vos, T., Tonella, P., Prasetya, W., Kruse, P.M., Bagnato, A., Harman, M., Shehory, O. (2014). FITTEST: A new continuous and automated testing process for future Internet applications. 2014 SOFTWARE EVOLUTION WEEK - IEEE CONFERENCE ON SOFTWARE MAINTENANCE, REENGINEERING, AND REVERSE ENGINEERING (CSMR-WCRE), 407-+.
Weyde, T., Cottrell, S., Benetos, E., Wolff, D., Tidhar, D., Dykes, J., ...Gold, N.E. (2014). Digital Music Lab - A Framework for Analysing Big Music Data (abstract only).
Weyde, T., Cottrell, S., Dykes, J., Benetos, E., Wolff, D., Tidhar, D., ...Barthet, M. (2014). Big Data for Musicology.
Yao, X., Harman, M., Jia, Y. (2014). A Study of Equivalent and Stubborn Mutation Operators using Human Analysis of Equivalence.
Zhang, Y., Harman, M., Ochoa, G., Ruhe, G., Brinkkemper, S. (2014). An Empirical Study of Meta-and Hyper-Heuristic Search for Multi-Objective Release Planning. Department of Computer Science, UCL .

2013

(2013). 1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013.
(2013). International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013.
Anand, S., Burke, E.K., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., ...McMinn, P. (2013). An orchestrated survey of methodologies for automated software test case generation. JOURNAL OF SYSTEMS AND SOFTWARE, 86 (8), 1978-2001. doi:10.1016/j.jss.2013.02.061
Anand, S., Burke, E.K., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., ...McMinn, P. (2013). An orchestrated survey of methodologies for automated software test case generation. Journal of Systems and Software, 86 (8), 1978-2001. doi:10.1016/j.jss.2013.02.061
Androutsopoulos, K., Clark, D., Harman, M., Hierons, R.M., Li, Z., Tratt, L. (2013). Amorphous Slicing of Extended Finite State Machines. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 39 (7), 892-909. doi:10.1109/TSE.2012.72
Androutsopoulos, K., Clark, D., Harman, M., Krinke, J., Tratt, L. (2013). State-based model slicing: A survey.. ACM COMPUTING SURVEYS, 45 (4), doi:10.1145/2501654.2501667
Barr, E.T., Bird, C., Marron, M. (2013). Collecting a heap of shapes. 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings, 123-133. doi:10.1145/2483760.2483761
Barr, E.T., Bird, C., Marron, M. (2013). Collecting a heap of shapes.
Barr, E., Vo, T., le, V., Su, Z. (2013). Automatic Detection of Floating-Point Exceptions.
Bello, G., Menéndez, H., Okazaki, S., Camacho, D. (2013). Extracting collective trends from Twitter using social-based data mining.
Binkley, D., Gold, N., Harman, M., Islam, S., Krinke, J., Li, Z. (2013). Efficient Identification of Linchpin Vertices in Dependence Clusters. ACM Transactions on Programming Languages and Systems, 35 (2), doi:10.1145/2491522.2491524
Bozkurt, M., Harman, M., Hassoun, Y. (2013). Testing and verification in service-oriented architecture: A survey. SOFTWARE TESTING VERIFICATION & RELIABILITY, 23 (4), 261-313. doi:10.1002/stvr.1470
Bozkurt, M., Harman, M., Hassoun, Y. (2013). Testing and verification in service-oriented architecture: A survey. Software Testing Verification and Reliability, 23 (4), 261-313. doi:10.1002/stvr.1470
Bozkurt, M., Zhang, Y. (2013). Customer-centric Optimal Software Release Problem in Cloud. Department of Computer Science, UCL .
Brockhoff, D., Knowles, J.D., Langdon, W.B. (2013). Breakout Session on Evolutionary Multiobjective Optimization.
Corazza, A., Di Martino, S., Ferrucci, F., Gravino, C., Sarro, F., Mendes, E. (2013). Using tabu search to configure support vector regression for effort estimation. Empirical Software Engineering, 18 (3), 506-546. doi:10.1007/s10664-011-9187-3
Dodier-Lazaro, S., Avril, Q., Gouranton, V. (2013). SODA: A Scalability-Oriented Distributed & Anticipative Model for Collision Detection in Physically-based Simulations.
Dussault, J.V., Gold, N.E. (2013). Live coding music: Self-expression through innovation.
Ferrucci, F., Harman, M., Ren, J., Sarro, F. (2013). Not going to take this anymore: multi-objective overtime planning for software engineering projects..
Ferrucci, F., Harman, M., Ren, J., Sarro, F. (2013). Not going to take this anymore: Multi-objective overtime planning for Software Engineering projects.
Ferrucci, F., Kechadi, M., Salza, P., Sarro, F., o.t.h.e.r.s. (2013). A framework for genetic algorithms based on hadoop. .
Finkelstein, A., Harman, M., Jia, Y., Sarro, F., Zhang, Y. (2013). Mining App Stores: Extracting Technical, Business and Customer Rating Information for Analysis and Prediction. Department of Computer Science, UCL .
Gold, N.E., Sandu, O.E., Palliyaguru, P.N., Dannenberg, R.B., Jin, Z., Robertson, A., ...Kleinberger, R. (2013). Human-Computer Music Performance: From Synchronized Accompaniment to Musical Partner.
Harman, M. (2013). Foreword to the invited impact paper on automatic software repair. SOFTWARE QUALITY JOURNAL, 21 (3), 419. doi:10.1007/s11219-013-9212-4
Harman, M. (2013). Foreword to the invited impact paper on automatic software repair. Software Quality Journal, 21 (3), 419-. doi:10.1007/s11219-013-9212-4
Harman, M. (2013). Software engineering: An ideal set of challenges for evolutionary computation. GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion, 1759-1760. doi:10.1145/2464576.2480770
Harman, M., Clark, J., Cinnéidez, M.O. (2013). Dynamic adaptive search based software engineering needs fast approximate metrics (keynote). 2013 4TH INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE METRICS (WETSOM), 1-6.
Harman, M., Korel, B. (2013). Editorial for special issue of STVR on software testing, verification, and validation - Volume 1 (extended selected papers from ICST 2011). SOFTWARE TESTING VERIFICATION & RELIABILITY, 23 (6), 437. doi:10.1002/stvr.1507
Harman, M., Korel, B. (2013). Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011). SOFTWARE TESTING VERIFICATION & RELIABILITY, 23 (7), 529. doi:10.1002/stvr.1506
Harman, M., Lakhotia, K., Yoo, S., Singer, J., White, D.R. (2013). Cloud engineering is Search Based Software Engineering too. JOURNAL OF SYSTEMS AND SOFTWARE, 86 (9), 2225-2241. doi:10.1016/j.jss.2012.10.027
Harman, M., Paige, R.F., Williams, J.R. (2013). 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)..
Harman, M., Pezzé, M. (2013). Message from the chairs. 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings,
Lakhotia, K., Harman, M., Gross, H. (2013). AUSTIN: An open source tool for search based software testing of C programs. INFORMATION AND SOFTWARE TECHNOLOGY, 55 (1), 112-125. doi:10.1016/j.infsof.2012.03.009
Lakhotia, K., Harman, M., Gross, H. (2013). AUSTIN: An open source tool for search based software testing of C programs. Information and Software Technology, 55 (1), 112-125. doi:10.1016/j.infsof.2012.03.009
Langdon, W.B. (2013). Which is faster: Bowtie2GP > bowtie > bowtie2 > BWA. GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion, 1741-1742. doi:10.1145/2464576.2480772
Langdon, W.B. (2013). Evolutionary Multi Objective Optimisation EMO.
Langdon, W.B. (2013). Co-Evolution breakout session.
Langdon, W.B. (2013). Which is faster: Bowtie2GP $>$ Bowtie $>$ Bowtie2 $>$ BWA. Department of Computer Science, University College London .
Langdon, W.B., Harman, M. (2013). Using Genetic Programming to Model Software.
Langdon, W.B., Harman, M. (2013). Optimising Existing Software with Genetic Programming. IEEE Transactions on Evolutionary Computation, PP (99), doi:10.1109/TEVC.2013.2281544
Mao, K., Yang, Y., Li, M., Harman, M. (2013). Pricing crowdsourcing-based software development tasks..
Menéndez, H., Bello-Orgaz, G., Camacho, D. (2013). Extracting behavioural models from 2010 FIFA world cup. Journal of Systems Science and Complexity, 26 (1), 43-61. doi:10.1007/s11424-013-2289-9
Menéndez, H.D., Barrero, D.F., Camacho, D. (2013). A Multi-Objective Genetic Graph-Based Clustering algorithm with memory optimization..
Menéndez, H.D., Llorente, J.L. (2013). The Combination of Graph Theory and Unsupervised Learning Applied to Social Data Mining. In Graph Theory: New Research. (pp. 155-184). NOVA Publishers.
Menéndez, H.D., Plaza, L., Camacho, D. (2013). A genetic graph-based clustering approach to biomedical summarization.
Meyer, B., Gall, H., Harman, M., Succi, G. (2013). Empirical answers to fundamental software engineering problems (Panel). 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings, 14-18. doi:10.1145/2491411.2505430
Panayi, E., Harman, M., Wetherilt, A. (2013). Agent-based modelling of stock markets using existing order book data. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7838 LNAI 101-114. doi:10.1007/978-3-642-38859-0_8
Petke, J., Langdon, W.B., Harman, M. (2013). Applying Genetic Improvement to MiniSAT..
Petke, J., Yoo, S., Cohen, M.B., Harman, M. (2013). Efficiency and early fault detection with lower and higher strength combinatorial interaction testing.
Razgon, I., Petke, J. (2013). Cliquewidth and Knowledge Compilation.
Razgon, I., Petke, J. (2013). Cliquewidth and Knowledge Compilation..
Rigby, P.C., Barr, E.T., Bird, C., Devanbu, P., German, D.M. (2013). What Effect does Distributed Version Control have on OSS Project Organization?.
Tonella, P., Nguyen, C.D., Marchetto, A., Lakhotia, K., Harman, M. (2013). Automated generation of state abstraction functions using data invariant inference. 2013 8TH INTERNATIONAL WORKSHOP ON AUTOMATION OF SOFTWARE TEST (AST), 75-81.
Wang, T., Harman, M., Jia, Y., Krinke, J. (2013). Searching for Better Configurations: A Rigorous Approach to Clone Evaluation.
Xie, X., Kuo, F.-.C., Chen, T.Y., Yoo, S., Harman, M. (2013). Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation..
Yoo, S., Harman, M., Clark, D. (2013). Fault Localization Prioritization: Comparing Information-Theoretic and Coverage-Based Approaches. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 22 (3), doi:10.1145/2491509.2491513
Yoo, S., Harman, M., Ur, S. (2013). GPGPU test suite minimisation: Search based software engineering performance improvement using graphics cards. EMPIRICAL SOFTWARE ENGINEERING, 18 (3), 550-593. doi:10.1007/s10664-013-9247-y
Zhang, Y., Harman, M., Lim, S.L. (2013). Empirical Evaluation of Search Based Requirements Interaction Management. Information and Software Technology, 55 126-152. doi:10.1016/j.infsof.2012.03.007
Zhang, Y., Harman, M., Lim, S.L. (2013). Empirical evaluation of search based requirements interaction management. Information and Software Technology, 55 126-152. doi:10.1016/j.infsof.2012.03.007
Zhang, Y., Harman, M., Lim, S.L. (2013). Empirical evaluation of search based requirements interaction management. Information and Software Technology, 55 (1), 126-152. doi:10.1016/j.infsof.2012.03.007

2012

(2012). Proceeding of the 6th International Workshop on Software Clones, IWSC 2012, Zurich, Switzerland, June 4, 2012.
Afshari, M., Barr, E.T., Su, Z. (2012). Liberating the Programmer with Prorogued Programming.
Alshahwan, N., Harman, M. (2012). Augmenting test suites effectiveness by increasing output diversity..
Alshahwan, N., Harman, M. (2012). State aware test case regeneration for improving web application test suite coverage and fault detection.
Alshahwan, N., Harman, M., Marchetto, A., Tiella, R., Tonella, P. (2012). Crawlability metrics for web applications.
Barr, E.T., Bird, C., Rigby, P.C., Hindle, A., German, D.M., Devanbu, P. (2012). Cohesive and isolated development with branches.
Bello-Orgaz, G., Menéndez, H.D., Camacho, D. (2012). Adaptive K-means algorithm for overlapped graph clustering. International Journal of Neural Systems, 22 (5), doi:10.1142/S0129065712500189
Bozkurt, M., Harman, M. (2012). Optimised realistic test input generation using web services. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7515 LNCS 105-120. doi:10.1007/978-3-642-33119-0_9
Carullo, G., Ferrucci, F., Sarro, F. (2012). Towards improving usability of authentication systems using smartphones for logical and physical resource access in a single sign-on environment. In Information systems: crossroads for organization, management, accounting and engineering. (pp. 145-153). Physica-Verlag HD.
Cinnéide, M.O., Tratt, L., Harman, M., Counsell, S., Moghadam, I.H. (2012). Experimental assessment of software metrics using automated refactoring.
Clark, D., Hierons, R.M. (2012). Squeeziness: An information theoretic measure for avoiding fault masking. Information Processing Letters, 112 (8-9), 335-340. doi:10.1016/j.ipl.2012.01.004
De Marco, L., Ferrucci, F., Gravino, C., Sarro, F., Abrahao, S., Gomez, J. (2012). Functional versus design measures for model-driven Web applications: A case study in the context of web effort estimation.
Di Chio, C., Agapitos, A., Cagnoni, S., Cotta, C., De Vega, F.F., Di Caro, G., ...Farooq, M. (2012). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7248 LNCS
Di Martino, S., Ferrucci, F., Maggio, V., Sarro, F. (2012). Towards migrating genetic algorithms for test data generation to the cloud. In (pp. 113-135). .
Ferrucci, F., Sarro, F., Mendes, E. (2012). Web effort estimation: The value of cross-company data set compared to single-company data set.
Geronimo, L.D., Ferrucci, F., Murolo, A., Sarro, F. (2012). A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites..
Gold, N.E. (2012). A Framework to Evaluate the Adoption Potential of Interactive Performance Systems for Popular Music.
Gu, Z., Barr, E.T., Schleck, D., Su, Z. (2012). Reusing Debugging Knowledge via Trace-based Bug Search.
Harman, M. (2012). The role of artificial intelligence in software engineering. 2012 1st International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012 - Proceedings, 1-6. doi:10.1109/RAISE.2012.6227961
Harman, M., Burke, E., Clark, J.A., Yao, X. (2012). Dynamic adaptive search based software engineering. PROCEEDINGS OF THE ACM-IEEE INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT (ESEM'12), 1-8.
Harman, M., Langdon, W.B., Jia, Y., White, D.R., Arcuri, A., Clark, J.A. (2012). The GISMOE challenge: Constructing the pareto program surface using genetic programming to find better programs (Keynote Paper).
Harman, M., Mansouri, S.A., Zhang, Y. (2012). Search-based software engineering: Trends, techniques and applications. ACM COMPUTING SURVEYS, 45 (1), doi:10.1145/2379776.2379787
Hindle, A., Barr, E.T., Su, Z., Gabel, M., Devanbu, P.T. (2012). On the naturalness of software..
Jeavons, P., Petke, J. (2012). Local Consistency and SAT-Solvers.. Journal of Artificial Intelligence Research, 43 329-351. doi:10.1613/jair.3531
Küssner, M.B., Prior, H.M., Gold, N.E., Leech-Wilkinson, D. (2012). Getting the shapes “right” at the expense of creativity? How musicians’ and non-musicians’ visualizations of sound differ..
Langdon, W.B. (2012). Correlation of microarray probes give evidence for mycoplasma contamination in human studies.
Langdon, W.B. (2012). Genetic improvement of programs. Mendel, 605-610.
Langdon, W.B. (2012). Distilling GeneChips with Genetic Programming on the Emerald GPU supercomputer. SIGEvolution newsletter of the ACM Special Interest Group on Genetic and Evolutionary Computation, 6 (1), 15-21. doi:10.1145/2384697.2384699
Langdon, W.B. (2012). Initial experiences of the Emerald: e-Infrastructure South GPU supercomputer. Department of Computer Science, University College London .
Langdon, W.B. (2012). The Halting Problem in the Clear Light of Probability. Communications of the ACM, 55 (6), 6. doi:10.1145/2184319.2184321
Langdon, W.B., Harman, M. (2012). Genetically Improving 50000 Lines of C++. Department of Computer Science, University College London .
Lim, S.L., Harman, M., Susi, A. (2012). Using genetic algorithms to search for key stakeholders in large-scale software projects. 118-134. doi:10.4018/978-1-4666-2199-2.ch007
Menéndez, H., Bello-Orgaz, G., Camacho, D. (2012). Features selection from high-dimensional web data using clustering analysis.
Menéndez, H.D., Camacho, D. (2012). A Genetic Graph-Based Clustering Algorithm..
Mondal, M., Roy, C.K., Rahman, M.S., Saha, R.K., Krinke, J., Schneider, K.A. (2012). Comparative stability of cloned and non-cloned code: an empirical study..
Nguyen, C.D., Miles, S., Perini, A., Tonella, P., Harman, M., Luck, M. (2012). Evolutionary testing of autonomous software agents. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 25 (2), 260-283. doi:10.1007/s10458-011-9175-4
Sarro, F., Ferrucci, F., Gravino, C. (2012). Single and Multi Objective Genetic Programming for software development effort estimation..
Sarro, F., Martino, S.D., Ferrucci, F., Gravino, C. (2012). A further analysis on the use of Genetic Algorithm to configure Support Vector Machines for inter-release fault prediction..
Tahat, L., Korel, B., Harman, M., Ural, H. (2012). Regression test suite prioritization using system models. SOFTWARE TESTING VERIFICATION & RELIABILITY, 22 (7), 481-506. doi:10.1002/stvr.461
Tahat, L., Korel, B., Harman, M., Ural, H. (2012). Regression test suite prioritization using system models. Software Testing Verification and Reliability, 22 (7), 481-506. doi:10.1002/stvr.461
Tonella, P., Marchetto, A., Nguyen, C.D., Jia, Y., Lakhotia, K., Harman, M. (2012). Finding the optimal balance between over and under approximation of models inferred from execution logs.
Vos, T., Tonella, P., Wegener, J., Harman, M., Prasetya, W., Ur, S. (2012). Testing of future internet applications running in the cloud. 305-321. doi:10.4018/978-1-4666-2536-5.ch014

2011

(2011). CIGPU 2011 Computational Intelligence on Consumer Games and Graphics Hardware.
Alshahwan, N., Harman, M. (2011). Automated web application testing using search based software engineering.
Androutsopoulos, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K., Li, Z. (2011). Model projection: Simplifying models in response to restricting the environment.
Baars, A., Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., Tonella, P., Vos, T. (2011). Symbolic Search-Based Testing.
Baars, A., Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., Tonella, P., Vos, T. (2011). Symbolic search-based testing. 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings, 53-62. doi:10.1109/ASE.2011.6100119
Bertolino, A., Harman, M. (2011). Message from the doctoral symposium chairs. SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering,
Beyer, H.-.G., Langdon, W.B. (2011). FOGA'11 - Proceedings of the 2011 ACM/SIGEVO Foundations of Genetic Algorithms XI: Preface. FOGA'11 - Proceedings of the 2011 ACM/SIGEVO Foundations of Genetic Algorithms XI, iii-iv.
Binkley, D.W., Harman, M., Lakhotia, K. (2011). FlagRemover: A Testability Transformation for Transforming Loop-Assigned Flags. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 20 (3), doi:10.1145/2000791.2000796
Bozkurt, M., Harman, M. (2011). Generating Realistic Inputs Using Web Services. London: Department of Computer Science.
Bozkurt, M., Harman, M. (2011). Automatically generating realistic test input from web services..
Clark, D., Giacobazzi, R., Mu, C. (2011). Foreword: programming language interference and dependence.. Mathematical Structures in Computer Science, 21 (06), 1109-1110. doi:10.1017/S0960129511000168
Clark, D.J., Mu, C. (2011). A Tool: Quantitative Analyser for Programs.
Danicic, S., Barraclough, R.W., Harman, M., Howroyd, J.D., Kiss, A., Laurence, M.R. (2011). A unifying theory of control dependence and its application to arbitrary program structures. THEORETICAL COMPUTER SCIENCE, 412 (49), 6809-6842. doi:10.1016/j.tcs.2011.08.033
Di Penta, M., Harman, M., Antoniol, G. (2011). The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical study. SOFTWARE-PRACTICE & EXPERIENCE, 41 (5), 495-519. doi:10.1002/spe.1001
Durillo, J.J., Zhang, Y., Alba, E., Harman, M., Nebro, A.J. (2011). A study of the bi-objective next release problem. EMPIRICAL SOFTWARE ENGINEERING, 16 (1), 29-60. doi:10.1007/s10664-010-9147-3
Ferrucci, F., Gravino, C., Sarro, F. (2011). A Case Study on the Conversion of Function Points into COSMIC..
Ferrucci, F., Gravino, C., Sarro, F. (2011). How Multi-Objective Genetic Programming Is Effective for Software Development Effort Estimation?.
Ferrucci, F., Sarro, F., Ronca, D., Abrahao, S. (2011). A crawljax based approach to exploit traditional accessibility evaluation tools for ajax applications. In Information technology and innovation trends in organizations. (pp. 255-262). Physica-Verlag HD.
Gold, N. (2011). Knitting music and programming: Reflections on the frontiers of source code analysis.
Gold, N.E., Dannenberg, R.B. (2011). A Reference Architecture and Score Representation for Popular Music Human-Computer Music Performance Systems.
Gold, N.E., Krinke, J., Harman, M., Binkley, D. (2011). Cloning in Max/MSP Patches.
GOLD, N., RINK, J., SPIRO, N. (2011). Motive, gesture, and the analysis of performance. In Gritten, A., King, E. (Eds.), New Perspectives on Music and Gesture. .
Gu, Z., Barr, E.T., Su, Z. (2011). BQL: capturing and reusing debugging knowledge..
Harman, M. (2011). The SBSE Approach to Automated Optimization of Verification and Testing..
Harman, M. (2011). Software Engineering Meets Evolutionary Computation. COMPUTER, 44 (10), 31-39.
Harman, M. (2011). Making the case for MORTO: Multi objective regression test optimization. Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, 111-114. doi:10.1109/ICSTW.2011.60
Harman, M. (2011). Refactoring as testability transformation. Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, 414-421. doi:10.1109/ICSTW.2011.38
Harman, M., Korel, B. (2011). Message from the program chairs. Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011, doi:10.1109/ICST.2011.5
Harman, M., McMinn, P., Souza, J.T.D., Yoo, S. (2011). Search Based Software Engineering: Techniques, Taxonomy, Tutorial..
Jia, Y., Harman, M. (2011). An Analysis and Survey of the Development of Mutation Testing. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 37 (5), 649-678. doi:10.1109/TSE.2010.62
Jiménez-Díaz, G., Menéndez, H.D., Camacho, D., González-Calero, P.A. (2011). Predicting Performance in Team Games - The Automatic Coach..
Jiménez-D iaz, G., Menéndez, H.D., Camacho, D., González-Calero, P.A. (2011). Predicting performance in team games.
Krinke, J. (2011). Is cloned code older than non-cloned code?.
Küssner, M., Gold, N.E., Tidhar, D., Prior, H.M., Leech-Wilkinson, D. (2011). Synaesthetic Traces: Digital Acquisition of Musical Shapes.
Langdon, W.B. (2011). Elementary bit string mutation landscapes. FOGA'11 - Proceedings of the 2011 ACM/SIGEVO Foundations of Genetic Algorithms XI, 25-41. doi:10.1145/1967654.1967658
Langdon, W.B. (2011). Graphics Processing Units and Genetic Programming: An overview. Soft Computing, 15 1657-1669. doi:10.1007/s00500-011-0695-2
Langdon, W.B. (2011). Minimising Testing in Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (2011). Debugging CUDA.
Langdon, W.B. (2011). Performing with CUDA.
Langdon, W.B., Arno, M.J. (2011). More Mouldy Data: Virtual Infection of the Human Genome. London WC1E 6BT, UK .
Langdon, W.B., Arno, M.J. (2011). More Mouldy Data: Another mycoplasma gene jumps the silicon barrier into the human genome. ArXiv e-prints,
Langdon, W.B., Yoo, S., Harman, M. (2011). Non-Recursive Beam Search on GPU for Formal Concept Analysis. London WC1E 6BT, UK .
Marchetto, A., Tiella, R., Tonella, P., Alshahwan, N., Harman, M. (2011). Crawlability metrics for automated web testing. International Journal on Software Tools for Technology Transfer, 13 (2), 131-149. doi:10.1007/s10009-010-0177-3
Martino, S.D., Ferrucci, F., Gravino, C., Sarro, F. (2011). Using Web Objects for Development Effort Estimation of Web Applications: A Replicated Study..
Martino, S.D., Ferrucci, F., Gravino, C., Sarro, F. (2011). A Genetic Algorithm to Configure Support Vector Machines for Predicting Fault-Prone Components..
Martino, S.D., Galiero, R., Giorio, C., Ferrucci, F., Sarro, F. (2011). A Matching-Algorithm based on the Cloud and Positioning Systems to Improve Carpooling..
Mondal, M., Rahman, M.S., Saha, R.K., Roy, C.K., Krinke, J., Schneider, K.A. (2011). An empirical study of the impacts of clones in software maintenance.
Mu, C., Clark, D. (2011). A tool: Quantitative analyser for programs. Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011, 145-146. doi:10.1109/QEST.2011.25
Nguyen, C.D., Miles, S., Perini, A., Tonella, P., Harman, M., Luck, M. (2011). Evolutionary testing of autonomous software agents. Autonomous Agents and Multi-Agent Systems, 1-24.
Oh, J., Harman, M., Yoo, S. (2011). Transition coverage testing for Simulink/Stateflow models using messy genetic algorithms.
Orgaz, G.B., Menéndez, H.D., Camacho, D. (2011). Using the Clustering Coefficient to Guide a Genetic-Based Communities Finding Algorithm..
Petke, J., Jeavons, P. (2011). The Order Encoding: From Tractable CSP to Tractable SAT..
Praditwong, K., Harman, M., Yao, X. (2011). Software module clustering as a multi-objective search problem. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 37 (2), 264-282. doi:10.1109/TSE.2010.26
Rahman, F., Posnett, D., Hindle, A., Barr, E., Devanbu, P. (2011). BugCache for inspections : Hit or miss?. SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering, 322-331. doi:10.1145/2025113.2025157
Ren, J., Harman, M., Di Penta, M. (2011). Cooperative co-evolutionary optimization of software project staff assignments and job scheduling. SEARCH BASED SOFTWARE ENGINEERING, 6956 127-+.
Sarro, F. (2011). Search-Based approaches for software development effort estimation.
Vos, T.E.J., Tonella, P., Wegener, J., Harman, M., Prasetya, W., Puoskari, E., Nir-Buchbinder, Y. (2011). Future Internet Testing with FITTEST..
YOO, S., Harman, M., Clark, D. (2011). FLINT: Fault Localisation using Information Theory. UK: Department of Computer Science, University College London.
Yoo, S., Harman, M., Ur, S. (2011). Highly Scalable Multi-Objective Test Suite Minimisation Using Graphics Card.
YOO, S., Harman, M., Ur, S. (2011). Highly Scalable Multi-Objective Test Suite Minimisation Using Graphics Card. UK: Department of Computer Science, University College London.
Zhang, Y., Harman, M., Finkelstein, A., Afshin Mansouri, S. (2011). Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation. INFORMATION AND SOFTWARE TECHNOLOGY, 53 (7), 761-773. doi:10.1016/j.infsof.2011.02.001
Zhang, Y., Harman, M., Lim, S. (2011). Search Based Optimization of Requirements Interaction Management. London: Department of Computer Science.

2010

Abrah ao, S., De Marco, L., Ferrucci, F., Gravino, C., Sarro, F. (2010). A COSMIC measurement procedure for sizing web applications developed using the OO-H method.
Amtoft, T., Androutsopoulos, K., Clark, D., Harman, M., Li, Z. (2010). An Alternative Characterization of Weak Order Dependence. Information Processing Letters., 110 939-943. doi:10.1016/j.ipl.2010.07.023
Barraclough, R.W., Binkley, D., Danicic, S., Harman, M., Hierons, R.M., Kiss, A., ...Ouarbya, L. (2010). A trajectory-based strict semantics for program slicing. THEORETICAL COMPUTER SCIENCE, 411 (11-13), 1372-1386. doi:10.1016/j.tcs.2009.10.025
Barr, E.T., Bird, C., Hyatt, E., Menzies, T., Robles, G. (2010). On the shoulders of giants..
Binkley, D., Harman, M., Hassoun, Y., Islam, S., Li, Z. (2010). Assessing the impact of global variables on program dependence and dependence clusters. J. Syst. Softw., 83 96-107. doi:10.1016/j.jss.2009.03.038
Boreale, M., Clark, D., Gorla, D. (2010). A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis.
Buglione, L., Ferrucci, F., Gencel, C., Gravino, C., Sarro, F. (2010). Which COSMIC Base Functional Components are Significant in Estimating Web Application Development?: A Case Study.
Corazza, A., Martino, S.D., Ferrucci, F., Gravino, C., Sarro, F., Mendes, E. (2010). How effective is Tabu search to configure support vector regression for effort estimation?.
D'Ambrosio, P., Ferrucci, F., Sarro, F., Tucci, M. (2010). An Approach for the Development of DOOH-oriented Information Systems..
Derderian, K., Hierons, R.M., Harman, M., Guo, Q. (2010). Estimating the feasibility of transition paths in extended finite state machines. AUTOMATED SOFTWARE ENGINEERING, 17 (1), 33-56. doi:10.1007/s10515-009-0057-9
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F. (2010). Using evolutionary based approaches to estimate software development effort.
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F. (2010). Estimating Software Development Effort using Tabu Search..
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F. (2010). Genetic programming for effort estimation: An analysis of the impact of different fitness functions.
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F., Mendes, E. (2010). Investigating Tabu Search for Web Effort Estimation..
Gold, N. (2010). Motivating Students in Software Engineering Group Projects: An Experience Report. Innovation in Teaching And Learning in Information and Computer Sciences (ITALICS), 9 10-19.
Gold, N.E., Rink, J., Spiro, N. (2010). The form of performance: Analyzing pattern distribution in select recordings of Chopin's Mazurka op. 24 no. 2. Musicae Scientiae: the journal of the European Society for the Cognitive Sciences of Music, 14 (2), 23-55. doi:10.1177/102986491001400202
Gold, N., Krinke, J., Harman, M., Binkley, D. (2010). Issues in clone classification for dataflow languages.
Guy, G., Dunn, S., Gold, N. (2010). Capturing Visitor Experiences for Study and Preservation.
Gu, Z., Barr, E.T., Hamilton, D.J., Su, Z. (2010). Has the bug really been fixed?.
Harman, M. (2010). Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization.
Harman, M. (2010). Automated Patching Techniques: The Fix Is In. COMMUNICATIONS OF THE ACM, 53 (5), 108. doi:10.1145/1735223.1735248
Harman, M. (2010). The relationship between search based software engineering and predictive modeling..
Harman, M. (2010). Why Source Code Analysis and Manipulation will always be important. Proceedings - 10th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2010, 7-19. doi:10.1109/SCAM.2010.28
Harman, M., Jia, Y., Langdon, W.B. (2010). A manifesto for higher order mutation testing.
Harman, M., Kim, S.G., Lakhotia, K., McMinn, P., Yoo, S. (2010). Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem.
Harman, M., Mansouri, A. (2010). Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 36 (6), 737-741. doi:10.1109/TSE.2010.106
Harman, M., McMinn, P. (2010). A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 36 (2), 226-247. doi:10.1109/TSE.2009.71
Harman, M., Muccini, H., Schulte, W., Xie, T. (2010). 10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors..
Harman, M., Muccini, H., Schulte, W., Xie, T. (2010). 10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors..
Islam, S.S., Krinke, J., Binkley, D. (2010). Dependence cluster visualization.
Islam, S.S., Krinke, J., Binkley, D., Harman, M. (2010). Coherent dependence clusters.
Khalid Alzarouni, D.C., Tratt, L. (2010). Semantic Malware Detection. .
Krinke, J., Gold, N., Jia, Y., Binkley, D. (2010). Distinguishing copies from originals in software clones.
Krinke, J., Gold, N., Jia, Y., Binkley, D. (2010). Cloning and copying between GNOME projects.
Lakhotia, K., Harman, M., Gross, H. (2010). AUSTIN: A Tool for Search Based Software Testing for the C Language and Its Evaluation on Deployed Automotive Systems. Search Based Software Engineering (SSBSE), 2010 Second International Symposium on Search Based Software Engineering, 101 -110.
Lakhotia, K., McMinn, P., Harman, M. (2010). An empirical investigation into branch coverage for C programs using CUTE and AUSTIN..
Lakhotia, K., Tillmann, N., Harman, M., Halleux, J.D. (2010). FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution..
Langdon, W.B. (2010). 2-bit Flip Mutation Elementary Fitness Landscapes. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (2010). GPU Working Party: Slides presented at Dagstuhl.
Langdon, W.B., Graillet, O.S., Harrison, A.P. (2010). Automated DNA Motif Discovery.
Langdon, W.B., Graillet, O.S., Harrison, A.P. (2010). RNAnet a Map of Human Gene Expression.
Langdon, W.B., Gustafson, S.M. (2010). Genetic Programming and Evolvable Machines: ten years of reviews. Genetic Programming and Evolvable Machines, 11 321-338. doi:10.1007/s10710-010-9111-4
Langdon, W.B., Harman, M. (2010). Evolving a CUDA Kernel from an nVidia Template.
Langdon, W.B., Harman, M. (2010). Evolving gzip matches Kernel from an nVidia CUDA Template. London, WC2R 2LS, UK .
Langdon, W.B., Harman, M., Jia, Y. (2010). Efficient multi-objective higher order mutation testing with genetic programming. JOURNAL OF SYSTEMS AND SOFTWARE, 83 (12), 2416-2430. doi:10.1016/j.jss.2010.07.027
Langdon, W.B., McKay, R.I., Spector, L. (2010). Genetic Programming. In Gendreau, M., Potvin, J.-.Y. (Eds.), Handbook of Metaheuristics. (pp. 185-225). Springer.
Marchetto, A., Tiella, R., Tonella, P., Alshahwan, N., Harman, M. (2010). Crawlability metrics for automated web testing. International Journal on Software Tools for Technology Transfer, 1-19.
McMinn, P., Stevenson, M., Harman, M. (2010). Reducing qualitative human oracle costs associated with automatically generated test data. 1st International Workshop on Software Test Output Validation, STOV 2010, in Conjunction with the 2010 International Conference on Software Testing and Analysis, ISSTA 2010, 1-4. doi:10.1145/1868048.1868049
Petke, J., Jeavons, P. (2010). Local Consistency and SAT-Solvers..
Poli, R., Vanneschi, L., Langdon, W.B., McPhee, N.F. (2010). Theoretical Results in Genetic Programming: The next ten years?. Genetic Programming and Evolvable Machines, 11 285-320. doi:10.1007/s10710-010-9110-5
Rowsell, J., Camargo, R.D.S., Langdon, W.B., Stalteri, M.A., Harrison, A.P. (2010). Uncovering the Expression Patterns of Chimeric Transcripts Using Surveys of Affymetrix GeneChips. Journal of Integrative Bioinformatics, 7 137. doi:10.2390/biecoll-jib-2010-137
Tang, E., Barr, E.T., Li, X., Su, Z. (2010). Perturbing numerical calculations for statistical analysis of floating-point program (in)stability..
Yoo, S., Harman, M. (2010). Regression testing minimization, selection and prioritization: a survey.. Software Testing, Verification, and Reliability, doi:10.1002/stvr.430
Yoo, S., Harman, M. (2010). Test Data Regeneration: Generating New Test Data from Existing Test Data. Journal of Software Testing, Verification and Reliability, doi:10.1002/stvr.435
Yoo, S., Harman, M. (2010). Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation. Journal of Systems Software, 83 689-701.
Zhang, Y., Alba, E., Durillo, J.J., Eldh, S., Harman, M. (2010). Today/Future importance analysis. Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation (GECCO '10), 1357-1364. doi:10.1145/1830483.1830733
Zhang, Y., Harman, M. (2010). Search Based Optimization of Requirements Interaction Management.
Zhao, R., Harman, M., Li, Z. (2010). Empirical study on the efficiency of search based test generation for EFSM models. ICSTW ’10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 222-231. doi:10.1109/ICSTW.2010.44

2009

Aldecoa-Otalora, E., Langdon, W.B., Cunningham, P., Arno, M.J. (2009). Unexpected presence of mycoplasma probes on human microarrays. BioTechniques, 47 1013-1016. doi:10.2144/000113271
Alshahwan, N., Harman, M., Marchetto, A., Tonella, P. (2009). Improving web application testing using testability measures.
Androutsopoulos, K., Clark, D., Harman, M., Li, Z., Tratt, L. (2009). Control Dependence for Extended Finite State Machines.
Androutsopoulos, K., Gold, N., Harman, M., Li, Z., Tratt, L. (2009). A theoretical and empirical study of EFSM dependence.
Bao, C.H., Gold, N., Harman, M. (2009). Maintaining WS-BPEL Using Aspects.
Binkley, D., Harman, M. (2009). Identifying 'Linchpin Vertices' that Cause Large Dependence Clusters.
Bird, C., Barr, E.T., Nash, A., Devanbu, P.T., Filkov, V., Su, Z. (2009). Structure and Dynamics of Research Collaboration in Computer Science..
Bird, C., Rigby, P.C., Barr, E.T., Hamilton, D.J., Germán, D.M., Devanbu, P.T. (2009). The promises and perils of mining git..
Clark, D., Lano, K., Onunkun, T. (2009). An Information Flow Analysis of B Specifications and Refinements. .
DeFigueiredo, D.D.B., Barr, E.T., Wu, S.F. (2009). Trust Is in the Eye of the Beholder..
Durillo, J.J., Zhang, Y., Alba, E., Nebro, A.J. (2009). A Study of the Multi-Objective Next Release Problem.
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F. (2009). Using Tabu Search to Estimate Software Development Effort..
Finkelstein, A., Harman, M., Mansouri, S.A., Ren, J., Zhang, Y.Y. (2009). A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making. Requirements Engineering, 14 (4), 231-245.
Gold, N. (2009). Service-Oriented Software in the Humanities: A Software Engineering Perspective. Digital Humanities Quarterly, 3
Gueorguiev, S., Harman, M., Antoniol, G. (2009). Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering..
Harman, M. (2009). Message from the general chair. Proceedings - 1st International Symposium on Search Based Software Engineering, SSBSE 2009, doi:10.1109/SSBSE.2009.4
Harman, M., Binkley, D., Gallagher, K., Gold, N., Krinke, J. (2009). Dependence clusters in source code. ACM Transactions on Programming Languages and Systems (TOPLAS), 32 (1), 1-33. doi:10.1145/1596527.1596528
Harman, M., Binkley, D., Gallagher, K., Gold, N., Krinke, J. (2009). Dependence Clusters in Source Code. ACM Transactions on Programming Languages and Systems (TOPLAS), 32 (1), 1-33. doi:10.1145/1596527.1596528
Harman, M., Islam, F., Xie, T., Wappler, S. (2009). Automated Test Data Generation for Aspect-Oriented Programs.
Harman, M., Krinke, J., Ren, J., Yoo, S. (2009). Search based data sensitivity analysis applied to requirement engineering.
Harman, M., Li, Z., McMinn, P., Offutt, J., Clark, J. (2009). TAIC PART 2007 and Mutation 2007 special issue editorial. JOURNAL OF SYSTEMS AND SOFTWARE, 82 (11), 1753-1754. doi:10.1016/j.jss.2009.06.028
Harman, M., Mansouri, S.A., Zhang, Y. (2009). Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications. Department of Computer Science, King’s College London .
Harman, M., Mansouri, S.A., Zhang, Y. (2009). Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications. .
Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., ...Krause, P. (2009). Using Formal Specifications to Support Testing. ACM COMPUTING SURVEYS, 41 (2), doi:10.1145/1459352.1459354
Jia, Y., Binkley, D., Harman, M., Krinke, J., Matsushita, M. (2009). KClone: A proposed approach to fast precise code clone detection.
Jia, Y., Harman, M. (2009). Higher Order Mutation Testing. INFORMATION AND SOFTWARE TECHNOLOGY, 51 (10), 1379-1393. doi:10.1016/j.infsof.2009.04.016
Lakhotia, K., McMinn, P., Harman, M. (2009). Automated Test Data Generation for Coverage: Haven’t We Solved This Problem Yet?. Testing: Academic and Industrial Conference - Practice and Research Techniques, 2009. TAIC PART ’09., 95 -104.
Langdon, W.B. (2009). Scaling of Program Functionality. Genetic Programming and Evolvable Machines, 10 5-36. doi:10.1007/s10710-008-9065-y
Langdon, W.B. (2009). A CUDA SIMT Interpreter for Genetic Programming. Strand, WC2R 2LS, UK .
Langdon, W.B. (2009). A Fast High Quality Pseudo Random Number Generator for nVidia CUDA.
Langdon, W.B., Harman, M., Jia, Y. (2009). Multi objective higher order mutation testing with GP..
Langdon, W.B., Harman, M., Jia, Y. (2009). Multi Objective Higher Order Mutation Testing with Genetic Programming.
Langdon, W.B., Harman, M., Jia, Y. (2009). Multi objective higher order mutation testing with genetic programming.
Langdon, W.B., Harrison, A.P. (2009). Evolving DNA motifs to Predict GeneChip Probe Performance. Algorithms in Molecular Biology, 4 doi:10.1186/1748-7188-4-6
Langdon, W.B., Rowsell, J., Harrison, A.P. (2009). Creating Regular Expressions as mRNA Motifs with GP to Predict Human Exon Splitting. Strand, London, WC2R 2LS, UK .
Langdon, W.B., Upton, G.J.G., Harrison, A.P. (2009). Probes containing runs of guanine provide insights into the biophysics and bioinformatics of Affymetrix GeneChips. Briefings in Bioinformatics, 10 259-277. doi:10.1093/bib/bbp018
McMinn, P., Binkley, D., Harman, M. (2009). Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 18 (3), doi:10.1145/1525880.1525884
Mu, C., Clark, D. (2009). Automatically Compute Information Flow Quantity via Probabilistic Semantics. Journal of Information Systems Security, 5 47-85.
Mu, C., Clark, D. (2009). An Interval-based Abstraction for Quantifying Information Flow. Electr. Notes Theor. Comput. Sci., 253 119-141.
Mu, C., Clark, D. (2009). Quantitative Analysis of Secure Information Flow via Probabilistic Semantics.
Nguyen, C.D., Perini, A., Tonella, P., Miles, S., Harman, M., Luck, M. (2009). Evolutionary testing of autonomous software agents..
Nguyen, C.D., Perini, A., Tonella, P., Miles, S., Harman, M., Luck, M. (2009). Evolutionary testing of autonomous software agents. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 1 364-371.
Yoo, S., Harman, M. (2009). Regression Testing Minimisation, Selection and Prioritisation - A Survey. .
Yoo, S., Harman, M., Tonella, P., Susi, A. (2009). Clustering Test Cases to Achieve Effective & Scalable Prioritisation Incorporating Expert Knowledge.
Yoo, S., Harman, M., Ur, S. (2009). Measuring and Improving Latency to Avoid Test Suite Wear Out.

2008

(2008). Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers.
Arteaga-Salas, J.M., Zuzan, H., Langdon, W.B., Upton, G.J.G., Harrison, A.P. (2008). An overview of image-processing methods for Affymetrix GeneChips. Briefings in Bioinformatics, 9 25-33. doi:10.1093/bib/bbm055
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. (2008). Evaluating Key Statements Analysis.
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. (2008). An empirical study of the relationship between the concepts expressed in source code and dependence. Journal of Systems and Software, 81 2287-2298. doi:10.1016/j.jss.2008.04.007
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. (2008). An empirical study of the relationship between the concepts expressed in source code and dependence. Journal of Systems and Software, 81 2287-2298. doi:10.1016/j.jss.2008.04.007
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K., Wegener, J. (2008). Dependence Anti Patterns.
Clark, D., Hunt, S. (2008). Non-Interference for Deterministic Interactive Programs.
Di Lucca, G.A., Gold, N., Visaggio, G. (2008). Guest Editor's Introduction: 10th Conference on Software Maintenance and Reengineering.
Di Penta, M., Antoniol, G., Harman, M. (2008). Special Issue on Search-Based Software Maintenance. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 20 (5), 317-319. doi:10.1002/smr.395
Finkelstein, A., Harman, M., Mansouri, S.A., Ren, J., Zhang, Y. (2008). "Fairness Analysis" in Requirements Assignments.
Gutjahr, W.J., Harman, M. (2008). Search-based software engineering. COMPUTERS & OPERATIONS RESEARCH, 35 (10), 3049-3051. doi:10.1016/j.cor.2007.01.008
Harman, M. (2008). Open problems in testability transformation. 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08, 196-209. doi:10.1109/ICSTW.2008.30
Harman, M., Alshahwan, N. (2008). Automated Session Data Repair for Web Application Regression Testing..
Harman, M., Baresel, A., Binkley, D., Hierons, R.M., Hu, L., Korel, B., ...Roper, M. (2008). Testability Transformation - Program Transformation to Improve Testability..
Harman, M., Li, Z., McMinn, P. (2008). Editorial: Testing practice and research. SOFTWARE TESTING VERIFICATION & RELIABILITY, 18 (2), 69-70. doi:10.1002/stvr.383
Harrison, A.P., Rowsell, J., Camargo, R.D.S., Langdon, W.B., Stalteri, M., Upton, G.J.G., Arteaga-Salas, J.M. (2008). The use of Affymetrix GeneChips as a tool for studying alternative forms of RNA. Biochemical Society Transactions, 36 511-513. doi:10.1042/BST0360511
Jiang, T., Gold, N., Harman, M., Li, Z. (2008). Locating dependence structures using search-based slicing. Information and Software Technology, 50 1189-1209. doi:10.1016/j.infsof.2007.11.001
Jiang, T., Gold, N., Harman, M., Li, Z. (2008). Locating dependence structures using search-based slicing. Information and Software Technology, 50 1189-1209. doi:10.1016/j.infsof.2007.11.001
Jiang, T., Harman, M., Hassoun, Y. (2008). Analysis of Procedure Splitability.
Jia, Y., Harman, M. (2008). Constructing Subtle Faults Using Higher Order Mutation Testing.
Jia, Y., Harman, M. (2008). MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language.
Krinke, J. (2008). Is cloned code more stable than non-cloned code?.
Krinke, J. (2008). Mining execution relations for crosscutting concerns. IET Software, 2 (2), 65-78. doi:10.1049/iet-sen:20070005
Krinke, J. (2008). Advanced slicing of sequential and concurrent programs. Saarbrücken, Germany: VDM Verlag Dr. Müller.
Lakhotia, K., Harman, M., McMinn, P. (2008). Handling dynamic data structures in search based testing..
Langdon, W.B. (2008). Genetic Programming for Drug Discovery. Wivenhoe Park, Colchester CO4 3SQ, UK .
Langdon, W.B. (2008). A Field Guide to Genetic Programing(Summary for Wyvern).
Langdon, W.B. (2008). Row Quantile Normalisation of Microarrays. Colchester, CO4 3SQ, UK .
Langdon, W.B. (2008). Gene breakdown. Wyvern,
Langdon, W.B. (2008). A Map of Human Gene Expression. Colchester, CO4 3SQ, UK .
Langdon, W.B., Banzhaf, W. (2008). Repeated Patterns in Genetic Programming. Natural Computing, 7 589-613. doi:10.1007/s11047-007-9038-8
Langdon, W.B., Harrison, A.P. (2008). GP on SPMD parallel Graphics Hardware for mega Bioinformatics Data Mining. Soft Computing, 12 1169-1183. doi:10.1007/s00500-008-0296-x
Langdon, W.B., Harrison, A.P. (2008). Evolving Regular Expressions for GeneChip Probe Performance Prediction. University of Essex, Wivenhoe Park, Colchester CO4 3SQ, UK .
Langdon, W.B., Poli, R. (2008). Mapping Non-conventional Extensions of Genetic Programming. Natural Computing, 7 21-43. doi:10.1007/s11047-007-9044-x
Langdon, W.B., Poli, R., Banzhaf, W. (2008). An Eigen Analysis of the GP Community. Genetic Programming and Evolvable Machines, 9 171-182. doi:10.1007/s10710-008-9060-3
Langdon, W.B., Poli, R., McPhee, N.F., Koza, J.R. (2008). Genetic Programming: An Introduction and Tutorial, with a Survey of techniques and Applications. In Fulcher, J., Jain, L.C. (Eds.), Computational Intelligence: A Compendium. (pp. 927-1028). Springer-Verlag.
Lano, K., Clark, D. (2008). Semantics and Refinement of Behaviour State Machines.
Lano, K., Clark, D. (2008). Model Transformation Specification and Verification.
Mens, K., Kellens, A., Krinke, J. (2008). Pitfalls in aspect mining.
Poli, R., Langdon, W.B., McPhee, N.F. (2008). A field guide to genetic programming. Published via http://lulu.com and freely available at http://www.gp-field-guide.org.uk.
Sanchez-Graillet, O., Rowsell, J., Langdon, W.B., Stalteri, M.A., Salas, J.M.A., Upton, G.J.G., Harrison, A.P. (2008). Widespread existence of uncorrelated probe intensities from within the same probeset on Affymetrix GeneChips. Journal of Integrative Bioinformatics, 5 98. doi:10.2390/biecoll-jib-2008-98
Spiro, N., Gold, N., Rink, J. (2008). Plus ça change: analyzing performances of Chopin’s Mazurka Op. 24 No. 2.
Upton, G.J.G., Langdon, W.B., Harrison, A.P. (2008). G-spots cause incorrect expression measurement in Affymetrix microarrays. BMC Genomics, 9 613. doi:10.1186/1471-2164-9-613
Yoo, S., Harman, M. (2008). Test data augmentation: generating new test data from existing test data. .
Zhang, Y., Finkelstein, A., Harman, M. (2008). Search based requirements optimisation: Existing work and challenges.

2007

Barr, E.T., Bishop, M., Gondree, M. (2007). Fixing federal e-voting standards.. Communications of the ACM, 50 (3), 19. doi:10.1145/1226736.1226754
Bellon, S., Koschke, R., Antoniol, G., Krinke, J., Merlo, E. (2007). Comparison and evaluation of clone detection tools. IEEE Transactions on Software Engineering, 33 (9), 577-591. doi:10.1109/TSE.2007.70725
Binkley, D., Gold, N., Harman, M. (2007). An empirical study of static program slice size. ACM Transactions on Software Engineering and Methodology (TOSEM), 16
Binkley, D., Harman, M., Krinke, J. (2007). Empirical study of optimization techniques for massive slicing. ACM Transactions on Programming Languages and Systems (TOPLAS), 30 (1), doi:10.1145/1290520.1290523
Bouillon, P., Krinke, J., Meyer, N., Steimann, F. (2007). EZUNIT: a framework for associating failed unit tests with potential programming errors.
Clark, D., Danicic, S., Giacobazzi, R. (2007). Special issue on Programming Language Interference and Dependence. J. Log. Algebr. Program., 72 123.
Clark, D., Hunt, S. (2007). Non-Interference For Interactive Programs.
Clark, D., Hunt, S., Malacaria, P. (2007). A Static Analysis for Quantifying Information Flow in a Simple Imperative Language. Journal of Computer Security, 15 321-372.
Crandall, J.R., Zinn, D., Byrd, M., Barr, E.T., East, R. (2007). ConceptDoppler: a weather tracker for internet censorship..
Danicic, S., Harman, M., Hierons, R., Howroyd, J., Laurence, M.R. (2007). Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. THEORETICAL COMPUTER SCIENCE, 373 (1-2), 1-18. doi:10.1016/j.tcs.2006.10.001
Danicic, S., Harman, M., Howroyd, J., Ouarbya, L. (2007). A non-standard semantics for program slicing and dependence analysis. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 72 (2), 191-206. doi:10.1016/j.jlap.2007.02.010
Di Penta, M., Harman, M., Antoniol, G., Qureshi, F. (2007). The effect of communication overhead on software maintenance project staffing: a search-based approach.
Dunn, S., Gold, N., Hughes, L. (2007). CHIMERA: A Service Oriented Computing Approach for Archaeological Research.
Guo, Q., Hierons, R.A., Harman, M., Derderian, K. (2007). Heuristics for fault diagnosis when testing from finite state machines. SOFTWARE TESTING VERIFICATION & RELIABILITY, 17 (1), 41-57. doi:10.1002/stvr.352
Harman, M. (2007). The current state and future of search based software engineering.
Harman, M. (2007). Search based software engineering for program comprehension.
Harman, M. (2007). Automated Test Data Generation using Search Based Software Engineering..
Harman, M. (2007). A message from the TAIC PART 2007 and mutation 2007 general chair. Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007, doi:10.1109/TAICPART.2007.4344089
Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., Wegener, J. (2007). The impact of input domain reduction on search-based test data generation..
Harman, M., Lakhotia, K., McMinn, P. (2007). A Multi-Objective Approach To Search-Based Test Data Generation.
Harman, M., McMinn, P. (2007). A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation..
Harman, M., Tratt, L. (2007). Pareto Optimal Search Based Refactoring at the Design Level.
Krinke, J. (2007). Changes to code clones in evolving software.
Krinke, J. (2007). Information flow and taint analysis with dependence graphs.
Krinke, J. (2007). Statement-level cohesion metrics and their visualization.
Krinke, J. (2007). A study of consistent and inconsistent changes to code clones.
Langdon, W.B. (2007). A SIMD interpreter for Genetic Programming on GPU Graphics Cards. Colchester, UK .
Langdon, W.B. (2007). The Cg Tutorial, Fernando and Kilgard, Addison-Wesley nVidia ISBN 0-321-19496-9. Computer Graphics Forum, 26 853.
Langdon, W.B. (2007). PRNG Random Numbers on GPU. University of Essex Wivenhoe Park, Colchester CO4 3SQ, UK .
Langdon, W.B., Poli, R. (2007). Evolving Problems to Learn about Particle Swarm Optimisers and other Search Algorithms. IEEE Transactions on Evolutionary Computation, 11 561-578. doi:10.1109/TEVC.2006.886448
Lano, K., Clark, D. (2007). Direct Semantics of Extended State Machines. Journal of Object Technology, 6 35-51.
Li, Z., Harman, M., Hierons, R.M. (2007). Search algorithms for regression test case prioritization. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 33 (4), 225-237. doi:10.1109/TSE.2007.38
Penta, M.D., Harman, M., Antoniol, G., Qureshi, F. (2007). The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach..
Poli, R., Langdon, W.B., McPhee, N.F., Koza, J.R. (2007). Genetic Programming An Introductory Tutorial and a Survey of Techniques and Applications. UK .
Spiro, N., Gold, N., Rink, J. (2007). Performance motives: analysis and comparison of performance timing repetitions using pattern matching and Formal Concept Analysis.
Spiro, N., Gold, N., Rink, J. (2007). In Search of Motive: Identification of Repeated Patterns in Performance and Their Structural Context.
Tomassini, M., Luthi, L., Giacobini, M., Langdon, W.B. (2007). The Structure of the Genetic Programming Collaboration Network. Genetic Programming and Evolvable Machines, 8 97-103. doi:10.1007/s10710-006-9018-2
Yoo, S., Harman, M. (2007). Pareto Efficient Multi-Objective Test Case Selection.
Zhang, Y., Harman, M., Mansouri, S.A. (2007). The Multi-Objective Next Release Problem.

2006

(2006). Beyond Program Slicing, 06.11. - 11.11.2005.
Antoniol, G., Krinke, J., Tonella, P. (2006). Special issue on Source code analysis and manipulation. SCI COMPUT PROGRAM, 62 (3), 205-208. doi:10.1016/j.scico.2006.04.009
Baker, P., Harman, M., Steinhofel, K., Skaliotis, A. (2006). Search based approaches to component selection and prioritization for the next release problem.
Berman, L., Danicic, S., Gallagher, K., Gold, N. (2006). The sound of software: Using sonification to aid comprehension.
Binkley, D., Ceccato, M., Harman, M., Ricca, F., Tonella, P. (2006). Tool-supported refactoring of existing object-oriented code into aspects.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Korel, B. (2006). Theoretical foundations of dynamic program slicing.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Korel, B. (2006). A formalisation of the relationship between forms of program slicing.
Binkley, D., Danicic, S., Harman, M., Howroyd, J., Ouarbya, L. (2006). A formal relationship between program slicing and partial evaluation..
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. (2006). An Empirical Study of Executable Concept Slice Size.
Binkley, D., Harman, M., Krinke, J. (2006). Characterising, explaining, and exploiting the approximate nature of static analysis through animation.
Binkley, D.W., Danicic, S., Harman, M., Howroyd, J., Ouarbya, L. (2006). A formal relationship between program slicing and partial evaluation. FORMAL ASPECTS OF COMPUTING, 18 (2), 103-119. doi:10.1007/s00165-0077-6
Dean, T., Harman, M., Koschke, R., Van De Vanter, M. (2006). Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop. JOURNAL OF SYSTEMS AND SOFTWARE, 79 (9), 1217-1218. doi:10.1016/j.jss.2006.02.039
Derderian, K., Hierons, R.M., Harman, M., Guo, Q. (2006). Automated unique input output sequence generation for conformance testing of FSMs. COMPUTER JOURNAL, 49 (3), 331-344. doi:10.1093/comjnl/bxl003
Derrick, J., Harman, M., Hierons, R.M. (2006). Guest editorial. FORMAL ASPECTS OF COMPUTING, 18 (1), 1-2. doi:10.1007/s00165-005-0087-4
Derrick, J., Harman, M., Hierons, R.M. (2006). Formal Aspects of Computing: Guest Editorial. Formal Aspects of Computing, 18 (1), 1-2. doi:10.1007/s00165-005-0087-4
Gallagher, K., Binkley, D., Harman, M. (2006). Stop-list slicing.
Gold, N., Harman, M., Li, Z., Mahdavi, K. (2006). Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding.
Gold, N., Harman, M., Li, Z., Mahdavi, K. (2006). Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding..
Guo, Q., Hierons, R.M., Harman, M., Derderian, K. (2006). Improving test quality using robust unique input/output circuit sequences (UIOCs). INFORMATION AND SOFTWARE TECHNOLOGY, 48 (8), 696-707. doi:10.1016/j.infsof.2005.08.001
Hammer, C., Grimme, M., Krinke, J. (2006). Dynamic path conditions in dependence graphs.
Hammer, C., Krinke, J., Nodes, F. (2006). Intransitive Noninterference in Dependence Graphs.
Hammer, C., Krinke, J., Snelting, G. (2006). Information flow control for Java based on path conditions in dependence graphs.
Harman, M. (2006). Search-Based Software Engineering for Maintenance and Reengineering.
Harman, M. (2006). Search Based Software Engineering.
Harman, M., Black, S., Tonella, P. (2006). Astrenet Aspect Analysis workshop 2006.
Harman, M., Black, S., Tonella, P. (2006). Workshop Introduction Astrenet Aspect Analysis..
Harman, M., Korel, B., Linos, P., Mockus, A., Shepperd, M. (2006). EMSE special issue from ICSM and Metrics. EMPIRICAL SOFTWARE ENGINEERING, 11 (3), 333-334. doi:10.1007/s10664-006-9003-7
Harman, M., Lakhotia, A., Binkley, D. (2006). Theory and algorithms for slicing unstructured programs. INFORMATION AND SOFTWARE TECHNOLOGY, 48 (7), 549-565. doi:10.1016/j.infsof.2005.06.001
Harman, M., Skaliotis, A., Steinhfel, K. (2006). Search-based approaches to the component selection and prioritization problem.
Krinke, J. (2006). Effects of context on program slicing. Journal of Systems and Software, 79 (9), 1249-1260. doi:10.1016/j.jss.2006.02.040
Krinke, J. (2006). Mining control flow graphs for crosscutting concerns.
Langdon, W.B. (2006). The Halting Probability in von Neumann Architectures. UK .
Langdon, W.B. (2006). Predicting Ten Thousand Bits from Ten Thousand Inputs. Colchester, UK .
Langdon, W.B. (2006). Web Usage of the GP Bibliography. SIGEvolution newsletter of the ACM Special Interest Group on Genetic and Evolutionary Computation, 1 16-21.
Langdon, W.B., Poli, R. (2006). Evolving Problems to Learn about Particle Swarm Optimisers and other Search Algorithms. UK .
Lano, K., Androutsopoulos, K., Clark, D. (2006). Concurrency and Real time specifications in UML.
McMinn, P., Harman, M., Binkley, D., Tonella, P. (2006). The species per path approach to SearchBased test data generation..
Ong, A., Clark, D., Kim, J. (2006). A hybridized ais for anomaly detection: Combining negative selection and association rules (extended abstract). Proceedings of Artificial Immune Systems Bristol ’06,
Poli, R., Langdon, W.B. (2006). Backward-chaining Evolutionary Algorithms. Artificial Intelligence, 170 953-982. doi:10.1016/j.artint.2006.04.003
Poli, R., Langdon, W.B., Dignum, S. (2006). On the Limiting Distribution of Program Sizes in Tree-based Genetic Programming. .
Poli, R., Langdon, W.B., Marrow, P., Kennedy, J., Clerc, M., Bratton, D., Holden, N. (2006). Communication, Leadership, Publicity and Group Formation in Particle Swarms. UK .
Poli, R., Wright, A.H., McPhee, N.F., Langdon, W.B. (2006). Emergent Behaviour, Population-based Search and Low-pass Filtering. .
Snelting, G., Robschink, T., Krinke, J. (2006). Efficient path conditions in dependence graphs for software safety analysis. ACM Transactions on Software Engineering and Methodology (TOSEM), 15 (4), 410-457. doi:10.1145/1178625.1178628
Visaggio, G., Di Lucca, G.A., Gold, N. (2006). Message from the Chairs.

2005

Antoniol, G., Di Penta, M., Harman, M. (2005). Search-based techniques applied to optimization of project planning for a massive maintenance project.
Bennett, K., Gold, N., Mohan, A. (2005). Cut the biggest IT cost.
Binkley, D., Ceccato, M., Harman, M., Ricca, F., Tonella, P. (2005). Automated refactoring of object oriented code into aspects.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Korel, B. (2005). Minimal slicing and the relationships between forms of slicing.
Binkley, D., Harman, M. (2005). Locating dependence clusters and dependence pollution.
Binkley, D., Harman, M. (2005). Forward slices are smaller than backward slices.
Binkley, D., Harman, M., Krinke, J. (2005). 05451 Abstracts Collection -- Beyond Program Slicing..
Bouillon, P., Krinke, J., Lukosch, S. (2005). Eine Plattform für die Softwaretechnik-Fernlehre.
Bouillon, P., Krinke, J., Lukosch, S. (2005). Software engineering projects in distant teaching.
Chen, J.-.C., Gold, N.E., Mehandjiev, N., Layzell, P.J. (2005). Managing Supply Chains of Software as a Service through Agent Negotiations.
Chio, C.D., Poli, R., Langdon, W.B. (2005). Evolution of Force-Generating Equations for PSO using GP.
Chio, C.D., Poli, R., Langdon, W.B. (2005). Evolution of Forces for Particle Swarm Optimisation using Genetic Programming.
Clark, D., Hunt, S., Malacaria, P. (2005). Quantified Interference for a While Language. Electronic Notes in Theoretical Computer Science, 112 149-166.
Clark, D., Hunt, S., Malacaria, P. (2005). Quantitative information flow, relations and polymorphic types. Journal of Logic and Computation, 15 (2), 181-199. doi:10.1093/logcom/exi009
Danicic, S., Daoudi, M., Fox, C., Harman, M., Hierons, R.M., Howroyd, J.R., ...Ward, M. (2005). ConSUS: a light-weight program conditioner.
Danicic, S., Fox, C., Harman, M., Hierons, R., Howroyd, J., Laurence, M.R. (2005). Static program slicing algorithms are minimal for free liberal program schemas. COMPUTER JOURNAL, 48 (6), 737-748. doi:10.1093/comjnl/bxh121
DeFigueiredo, D.D.B., Barr, E.T. (2005). TrustDavis: A Non-Exploitable Online Reputation System..
Derderian, K., Harman, M., Hierons, R.M., Guo, G. (2005). Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.
Fatiregun, D., Harman, M., Hierons, R.M. (2005). Search-based amorphous slicing.
Gold, N.E., Harman, M., Binkley, D., Hierons, R.M. (2005). Unifying program slicing and concept assignment for higher-level executable source code extraction. Software—Practice & Experience, 35 977.
Gold, N.E., Harman, M., Binkley, D., Hierons, R.M. (2005). Unifying program slicing and concept assignment for higher-level executable source code extraction. Software—Practice & Experience, 35 977.
Gold, N.E., Mohan, A.M., Layzell, P.J. (2005). Spatial Complexity Metrics: An Investigation of Utility. IEEE Transactions on Software Engineering, 31 203.
Gold, N., Systä, T., Tjortjis, C., Di Penta, M. (2005). Message from the program chairs.
Guo, Q., Hierons, R.M., Harman, M., Derderian, K. (2005). Constructing multiple unique input/output sequences using metaheuristic optimisation techniques. IEE PROCEEDINGS-SOFTWARE, 152 (3), 127-140. doi:10.1049/ip-sen:20045001
Harman, M., Binkley, D., Krinke, J. (2005). 05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar..
Harman, M., Korel, B., Linos, P.K. (2005). Guest Editorial: Special Issue on Software Maintenance and Evolution.. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 31 (10), 801-803. doi:10.1109/TSE.2005.113
Harman, M., Swift, S., Mahdavi, K. (2005). An empirical study of the robustness of two module clustering fitness functions.
Hierons, R.M., Harman, M., Fox, C.J. (2005). Branch-coverage testability transformation for unstructured programs. COMPUTER JOURNAL, 48 (4), 421-436. doi:10.1093/comjnl/bxh093
Korel, B., Harman, M., Chung, S., Apirukvorapinit, P. (2005). Data dependence based testability transformation in automated test generation.
Korel, B., Tahat, L.H., Harman, M. (2005). Test prioritization using system models.
Krinke, J. (2005). Program slicing. In Chang, S.H. (Ed.), Handbook of software engineering and knowledge engineering. (pp. 307-332). World Scientific Publishing.
Krinke, J., Breu, S. (2005). Aspect mining based on control-flow.
Krinke, J., Roos, M. (2005). Erfahrungen mit dem Open-Access-Journal “eleed (e-learning and education)”.
Langdon, W.B. (2005). Pfeiffer - A Distributed Open-ended Evolutionary System.
Langdon, W.B. (2005). The Distribution of Amorphous Computer Outputs..
Langdon, W.B. (2005). ’Pure theatre’ at Lakeside: Review of "Look Back in Anger". Wyvern Extra,
Langdon, W.B., Banzhaf, W. (2005). Repeated patterns in tree genetic programming. In Keijzer, M., Tettamanzi, A., Collet, P. (Eds.), Genetic Programming: 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings. (pp. 190-202). Springer-Verlag GmbH.
Langdon, W.B., Banzhaf, W. (2005). Repeated Sequences in Linear Genetic Programming Genomes. Complex Systems, 15 (4), 285-306.
Langdon, W.B., Gustafson, S. (2005). Genetic Programming and Evolvable Machines:five years of reviews. Genetic Programming and Evolvable Machines, 6 (2), 221-228.
Langdon, W.B., Poli, R. (2005). Evolutionary Solo Pong Players. Colchester, UK .
Langdon, W.B., Poli, R. (2005). On Turing complete T7 and MISC F-4 program fitness landscapes. UK .
Langdon, W.B., Poli, R., Stephens, C.R. (2005). Kernel methods for PSOs. UK .
Lano, K., Androutsopoulos, K., Clark, D. (2005). Refinement Patterns for UML. Electronic Notes in Theoretical Computer Science, 137 131-149.
Poli, R., Langdon, W.B. (2005). Backward-chaining Genetic Programming. Colchester, UK: Department of Computing and Electronic Systems, University of Essex.
Poli, R., Langdon, W.B. (2005). An elementary formulation of Riemann’s Zeta function. UK .
Zeller, A., Krinke, J. (2005). Essential open source toolset. Wiley.

2004

(2004). Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I.
(2004). Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II.
Adamopoulos, K., Harman, M., Hierons, R.M. (2004). How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution.
Antoniol, G., Di Penta, M., Harman, M. (2004). A robust search-based approach to project management in the presence of abandonment, rework, error and uncertainty.
Antoniol, G., Di Penta, M., Harman, M. (2004). Search-based techniques for optimizing software project resource allocation.
Baresel, A., Binkley, D., Harman, M., Korel, B. (2004). Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach..
Binkley, D., Burd, L., Harman, M., Tonella, P. (2004). Source Code Analysis and Manipulation - Introduction.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Ouarbya, L. (2004). Formalizing executable dynamic and forward slicing.
Binkley, D., Harman, M. (2004). A survey of empirical results on program slicing. ADVANCES IN COMPUTERS, VOL 62, 62 105-178. doi:10.1016/S0065-2458(03)62003-6
Binkley, D., Harman, M. (2004). Analysis and visualization of predicate dependence on formal parameters and global variables. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 30 (11), 715-735. doi:10.1109/TSE.2004.78
Bouillon, P., Krinke, J. (2004). A platform for teaching distributed software engineering.
Bouillon, P., Krinke, J. (2004). Using Eclipse in distant teaching of software engineering.
Breu, S., Krinke, J. (2004). Aspect mining using event traces.
Clark, D., Hunt, S., Malacaria, P. (2004). Quantified Interference: Information Theory and Information Flow.
Clark, D., Hunt, S., Malacaria, P. (2004). Non-Interference For Weak Observers.
Clark, J., Harman, M., Hierons, R. (2004). Software testing in the United Kingdom. SOFTWARE TESTING VERIFICATION & RELIABILITY, 14 (3), 165-166. doi:10.1002/stvr.302
Corney, D.P.A., Buxton, B.F., Langdon, W.B., Jones, D.T. (2004). BioRAT: Extracting biological information from full-length papers. Bioinformatics, 20 (17), 3206-3213. doi:10.1093/bioinformatics/bth386
Danicic, S., De Lucia, A., Harman, M. (2004). Building executable union slices using conditioned slicing.
Derderian, K., Hierons, R.M., Harman, M., Guo, Q. (2004). Input sequence generation for testing of Communicating Finite State Machines (CFSMs).
Fatiregun, D., Harman, M., Hierons, R.M. (2004). Evolving transformation sequences using genetic algorithms.
Fatiregun, D., Harman, M., Hierons, R.M. (2004). Evolving Transformation Sequences using Genetic Algorithms..
Fox, C., Danicic, S., Harman, M., Hierons, R.M. (2004). CONSIT: a fully automated conditioned program slicer. SOFTWARE-PRACTICE & EXPERIENCE, 34 (1), 15-46. doi:10.1002/spe.556
Gold, N., Bennett, K. (2004). Program comprehension for web services.
Gold, N., Knight, C., Mohan, A., Munro, M. (2004). Understanding Service-Oriented Software. IEEE Software, 21 71.
Guo, Q., Hierons, R.M., Harman, M., Derderian, K. (2004). Computing unique input/output sequences using genetic algorithms.
Harman, M., Binkley, D., Singh, R., Hierons, R.M. (2004). Amorphous procedure extraction.
Harman, M., Clark, J. (2004). Metrics are fitness functions too.
Harman, M., Hu, L., Hierons, R., Wegener, J., Sthamer, H.S., Baresel, A., Roper, M. (2004). Testability transformation. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 30 (1), 3-16. doi:10.1109/TSE.2004.1265732
Harman, M., Hu, L., Munro, M., Zhang, X., Binkley, D., Danicic, S., ...Ouarbya, L. (2004). Syntax-Directed Amorphous Slicing..
Harman, M., Korel, B. (2004). Message from the program chairs. IEEE International Conference on Software Maintenance, ICSM,
Harman, M., Wegener, J. (2004). Getting results from search-based approaches to software engineering.
Haungs, M., Pandey, R., Barr, E.T. (2004). Handling Catastrophic Failures in Scalable Internet Applications..
Hierons, R.M., Harman, M. (2004). Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. THEORETICAL COMPUTER SCIENCE, 323 (1-3), 191-233. doi:10.1016/j.tcs.2004.04.002
Hu, L., Harman, M., Hierons, R.M., Binkley, D. (2004). Loop squashing transformations for amorphous slicing.
Krinke, J. (2004). Advanced slicing of sequential and concurrent programs.
Krinke, J. (2004). Advanced slicing of sequential and concurrent programs. In Wagner, D. (Ed.), Ausgezeichnete Informatikdissertationen 2003. (pp. 101-110). Bonn, Germany: Köllen Verlag.
Krinke, J. (2004). Context-sensitivity matters, but context does not.
Krinke, J. (2004). Slicing, chopping, and path conditions with barriers. Software Quality Journal, 12 (4), 339-360. doi:10.1023/B:SQJO.0000039792.93414.a5
Krinke, J. (2004). Textual vs. graphical visualization of fine-grained dependences.
Krinke, J. (2004). Visualization of program dependence and slices.
Krinke, J., Breu, S. (2004). Control-flow-graph-based aspect mining.
Langdon, W.B. (2004). Global distributed evolution of L-systems fractals. In Keijzer, M., O'Reilly, U., Lucas, S. (Eds.), Genetic Programming: 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004. Proceedings. (pp. 349-358). Springer-Verlag GmbH.
Langdon, W.B. (2004). Genetic Algorithms--Principles and Perspectives: {A} Guide to {GA} Theory.. Knowledge Engineering Review, 19 (2), 185-186.
Langdon, W.B. (2004). Lindenmayer Systems Fractals Evolved by Pfeiffer 10 September – 9 November 2003. .
Langdon, W.B., Banzhaf, W. (2004). Repeated Sequences in Linear GP Genomes.
Langdon, W.B., Barrett, S.J. (2004). Genetic programming in data mining for drug discovery. In Ghosh, A., Jain, L. (Eds.), Evolutionary Computing in Data Mining. (pp. 211-235). Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Langdon, W.B., Buxton, B.F. (2004). Genetic Programming for Mining DNA Chip data from Cancer Patients. Genetic Programming and Evolvable Machines, 5 251-257. doi:10.1023/B:GENP.0000030196.55525.f7
Lano, K., Clark, D., Androutsopoulos, K. (2004). UML to B: Formal verification of object-oriented models.
Mohan, A., Gold, N. (2004). Programming style changes in evolving source code.
Mohan, A., Gold, N., Layzell, P. (2004). An approach to understanding program comprehensibility using spatial complexity, concept assignment and typographical style.
Mohan, A., Gold, N., Layzell, P. (2004). An initial approach to assessing program comprehensibility using spatial complexity, number of concepts and typographical style.
O'BRIEN, L., GOLD, N., KONTOGIANNIS, K. (Eds.), (2004). Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP 2003). Institute of Electrical & Electronics Engineers(IEEE).
Wright, A., Poli, R., Stephens, C.R., Langdon, W.B., Pulavarty, S. (2004). An estimation of distribution algorithm based on maximum entropy.

2003

(2003). Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I.
(2003). Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II.
Bennett, K.H., Gold, N.E., Layzell, P.J., Zhu, F., Brereton, O.P., Budgen, D., ...Xu, J. (2003). A broker architecture for integrating data using a web services environment.
Binkley, D., Harman, M. (2003). An empirical study of predicate dependence levels and trends.
Binkley, D., Harman, M. (2003). A large-scale empirical study of forward and backward static slice size and context sensitivity.
Binkley, D., Harman, M. (2003). Results from a large-scale study of performance optimization techniques for source code analyses based on graph reachability algorithms.
Binkley, D., Harman, M. (2003). Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms..
Breu, S., Krinke, J. (2003). Aspect mining using dynamic analysis.
Clark, D., Hunt, S., Malacaria, P. (2003). Quantified Interference for a While Language. .
Clark, D., Hunt, S., Malacaria, P. (2003). Quantitative Analysis of Leakage of Confidential Information.
Clark, J.A., Dolado, J.J., Harman, M., Hierons, R.M., Jones, B.F., Lumkin, M., ...Roper, M. (2003). Formulating software engineering as a search problem..
Dijk, S.V., Thierens, D., Gaag, L.C.V.D. (2003). Building a GA from Design Principles for Learning Bayesian Networks..
Dolado, J.J., Harman, M., Otero, M.C., Hu, L. (2003). An empirical investigation of the influence of a type of side effects on program comprehension. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 29 (7), 665-670. doi:10.1109/TSE.2003.1214329
Fatiregun, D., Harman, M., Hierons, R. (2003). Search based transformations.
Gallagher, K., Harman, M., Danicic, S. (2003). Guaranteed inconsistency avoidance during software evolution. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 15 (6), 393-416. doi:10.1002/smr.289
Gold, N., Mohan, A. (2003). A Framework for Understanding Conceptual Changes in Evolving Source Code.
Harman, M., Binkley, D., Danicic, S. (2003). Amorphous program slicing. JOURNAL OF SYSTEMS AND SOFTWARE, 68 (1), 45-64. doi:10.1016/S0164-1212(02)00135-8
Hierons, R.M., Harman, M., Singh, H. (2003). Automatically generating information from a Z specification to support the classification tree method.
Krinke, J. (2003). Barrier slicing and chopping.
Krinke, J. (2003). Context-sensitive slicing of concurrent programs.
Langdon, W.B. (2003). Comparison of DNAchip and Computer Vision Data. .
Langdon, W.B. (2003). How many Good Programs are there? How Long are they?.
Langdon, W.B. (2003). Convergence of Program Fitness Landscapes.
Langdon, W.B. (2003). Predicting Cancer.
Langdon, W.B. (2003). The Distribution of Reversible Functions is Normal. In Riolo, R.L., Worzel, B. (Eds.), Genetic Programming Theory and Practise. (pp. 173-188). Kluwer.
Langdon, W.B. (2003). Equations for Human Bioavailability and P450.
Langdon, W.B., Buxton, B.F. (2003). The Application of Genetic Programming for Drug Discovery in the Pharmaceutical Industry. EPSRC RAIS Secondment with GlaxoSmithKline.
Lano, K., Clark, D., Androutsopoulos, K. (2003). RSDS, a Subset of UML with Precise Semantics. L’OBJET, 9 53-73.
Laurence, M.R., Danicic, S., Harman, M., Hierons, R., Howroyd, J. (2003). Equivalence of conservative, free, linear program schemas is decidable. THEORETICAL COMPUTER SCIENCE, 290 (1), 831-862. doi:10.1016/S0304-3975(02)00374-2
Lucia, A.D., Harman, M., Hierons, R., Krinke, J. (2003). Unions of slices are not slices.
Mahdavi, K., Harman, M., Hierons, R. (2003). Finding building blocks for software clustering.
Mahdavi, K., Harman, M., Hierons, R.M. (2003). A multiple hill climbing approach to software module clustering.
Störzer, M., Krinke, J. (2003). Interference analysis for AspectJ.
Störzer, M., Krinke, J., Breu, S. (2003). Trace analysis for aspect application.
Zeller, A., Krinke, J. (2003). Open-Source-Programmierwerkzeuge. Heidelberg, Germany: dpunkt Verlag.
Zhang, X.Y., Xie, X.R., Munro, M., Harman, M., Hu, L. (2003). Formal verification of communication protocol using type theory.

2002

Banzhaf, W., Langdon, W.B. (2002). Some considerations on the reason for bloat. Genetic Programming and Evolvable Machines, 3 81-91. doi:10.1023/A:1014548204452
Bennett, K., Munro, M., Xu, J., Gold, N., Layzell, P., Mehandjiev, N., ...Brereton, P. (2002). Prototype Implementations of an Architectural Model for Service-Based Flexible Software.
Bowen, J.P., Bogdanov, K., Clark, J.A., Harman, M., Hierons, R.M., Krause, P. (2002). FORTEST: Formal methods and testing.
Clark, D., Hankin, C., Hunt, S. (2002). Information Flow for Algol-like Languages. Journal of Computer Languages, 28 3-28.
Daoudi, M., Ouarbya, L., Harman, M., Fox, C., Ward, M.P. (2002). ConSUS: A scalable approach to conditioned slicing.
Gold, N., Bennett, K. (2002). Hypothesis-based concept assignment in software maintenance. IEE Proceedings - Software, 149 103. doi:10.1049/ip-sen:20020549
Harman, M., Fox, C., Hierons, R., Hu, L., Danicic, S., Wegener, J. (2002). VADA: A transformation-based system for variable dependence analysis.
Harman, M., Gold, N., Hierons, R., Binkley, D. (2002). Code Extraction Algorithms which Unify Slicing and Concept Assignment.
Harman, M., Hierons, R.M., Proctor, M. (2002). A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization..
Harman, M., Hu, L., Hierons, R., Fox, C., Danicic, S., Wegener, J., ...Baresel, A. (2002). Evolutionary testing supported by slicing and transformation.
Harman, M., Hu, L., Hierons, R.M., Baresel, A., Sthamer, H. (2002). Improving Evolutionary Testing By Flag Removal..
Harman, M., Hu, L., Hierons, R., Munro, M., Zhang, X.Y., Dolado, J.J., ...Wegener, J. (2002). A post-placement side-effect removal algorithm.
Harman, M., Hu, L., Munro, M., Zhang, X.Y., Danicic, S., Daoudi, M., Ouarbya, L. (2002). An interprocedural amorphous slicer for WSL.
Harman, M., Munro, M., Hu, L., Zhang, X.Y. (2002). Source code analysis and manipulation. INFORMATION AND SOFTWARE TECHNOLOGY, 44 (13), 717-720. doi:10.1016/S0950-5849(02)00124-6
Haungs, M., Pandey, R., Barr, E.T., Barnes, J.F. (2002). A Fast Connection-Time Redirection Mechanism for Internet Application Scalability..
Hierons, R., Harman, M., Fox, C., Ouarbya, L., Daoudi, M. (2002). Conditioned slicing supports partition testing. SOFTWARE TESTING VERIFICATION & RELIABILITY, 12 (1), 23-28. doi:10.1002/stvr.232
Krinke, J. (2002). Evaluating context-sensitive slicing and chopping.
Krinke, J., Störzer, M., Zeller, A. (2002). Web-basierte Programmierpraktika mit Praktomat.
Langdon, W.B. (2002). A Hybrid Genetic Programming Neural Network Classifier for Use in Drug Discovery. In Abraham, A., Javier, R., Koppen, M. (Eds.), Soft Computing Systems - Design, Management and Applications, 1-4 December 2002. (pp. 6-). IOS Press.
Langdon, W.B. (2002). Evolutionary Computation II Session at BNAIC 2002. Newsletter BNVKI, 19(6) 145-146.
Langdon, W.B. (2002). Convergence Rates for the Distribution of Program Outputs.
Langdon, W.B. (2002). How many Good Programs are there? How Long are they?. In De Jong, K.A., Poli, R., Rowe, J.E. (Eds.), Foundations of Genetic Algorithms VII. (pp. 183-202). Spain: Morgan Kaufmann.
Langdon, W.B. (2002). Structure of the Genetic Programming Search Space.
Langdon, W.B. (2002). Was Occam Wrong? Blunting Occam's Razor. BNVKI Newsletter, 19 (3), 56-57.
Langdon, W.B. (2002). Characteristics of the Genetic Programming Search Space. University of Hertfordshire .
Langdon, W.B. (2002). Application of genetic programming in drug lead discovery.
Langdon, W.B., Buxton, B.F., Barrett, S.J. (2002). Combining Machine Learning techniques to Predict Compounds’ Cytochrome P450 High Throughput Screening Inhibition.
Langdon, W.B., Poli, R. (2002). Foundations of Genetic Programming. Springer.
Lano, K., Clark, D., Androutsopoulos, K. (2002). From Implicit Specifications to Explicit Designs in Reactive System Development..
Lano, K., Clark, D., Androutsopoulos, K. (2002). Safety and Security Analysis of Object-Oriented Models..
Lano, K., Clark, D., Androutsopoulos, K. (2002). From Implicit Specifications to Explicit Designs in Reactive System Development.
Lano, K., Clark, D., Androutsopoulos, K. (2002). Safety and Security Analysis of Object-Oriented Models.
Mahdavi, K., Harman, M. (2002). Book Review: Automatic Re-Engineering of Software Using Genetic Programming..
Ouarbya, L., Danicic, S., Daoudi, M., Harman, M., Fox, C. (2002). A denotational interprocedural program slicer.
Ouarbya, L., Danicic, S., Daoudi, M., Harman, M., Fox, C. (2002). A Denotational Interprocedural Program Slicer..
Sivagurunathan, Y., Harman, M., Sivagurunathan, B. (2002). Slice-based dynamic memory modelling - A case study.
Tjortjis, C., Gold, N., Layzell, P., Bennett, K. (2002). From system comprehension to program comprehension.
Zhang, X., Munro, M., Harman, M., Hu, L. (2002). Weakest precondition for general recursive programs formalized in coq.
Zhang, X., Munro, M., Harman, M., Hu, L. (2002). Weakest Precondition for General Recursive Programs Formalized in Coq..
Zhang, X.Y., Munro, M., Harman, M., Hu, L. (2002). Mechanized operational semantics of WSL.

2001

(2001). Long random linear programs do not generalize. Genetic Programming and Evolvable Machines, 2 (2), 95-100.
Barr, E.T., Pandey, R., Haungs, M. (2001). MAGE: A Distributed Programming Model..
Bennett, K., Gold, N. (2001). Achieving ultra rapid evolution using service-based software.
Bennett, K.H., Munro, M., Gold, N., Layzell, P., Budgen, D., Brereton, P. (2001). An Architectural Model for Service-Based Software with Ultra Rapid Evolution.
Bennett, K.H., Xu, J., Munro, M., Hong, Z., Layzell, P.J., Gold, N., ...Brereton, P. (2001). An Architectural Model for Service-Based Flexible Software.
Buxton, B.F., Langdon, W.B., Barrett, S.J. (2001). Data fusion by intelligent classifier combination. Measurement and Control, 34 (8), 229-234.
Clark, D., Hunt, S., Malacaria, P. (2001). Quantitative Analysis of the Leakage of Confidential Data. Electronic Notes in Theoretical Computer Science, 59
Dykiert, M., Gold, N.E. (2001). Support for Learning Synthesiser Programming.
Fox, C., Harman, M., Hierons, R., Danicic, S. (2001). Backward conditioning: a new program specialisation technique and its application to program comprehension.
Gold, N. (2001). Hypothesis-Based Concept Assignment to Support Software Maintenance.
Gold, N., Bennett, K. (2001). A Flexible Method for Segmentation in Concept Assignment.
Harman, M., Hierons, R., Danicic, S. (2001). The relationship between program dependence and mutation analysis.
Harman, M., Hierons, R., Danicic, S., Howroyd, J., Laurence, M., Fox, C. (2001). Node coarsening calculi for program slicing.
Harman, M., Hierons, R., Fox, C., Danicic, S., Howroyd, J. (2001). Pre/post conditioned slicing.
Harman, M., Hu, L., Munro, M., Zhang, X.Y. (2001). GUSTT: An amorphous slicing system which combines slicing and transformation.
Harman, M., Hu, L., Munro, M., Zhang, X.Y. (2001). Side-effect removal transformation.
Harman, M., Jones, B. (2001). SEMINAL - Software engineering using metaheuristic INnovative ALgorithms.
Harman, M., Jones, B.F. (2001). Search-based software engineering. INFORMATION AND SOFTWARE TECHNOLOGY, 43 (14), 833-839. doi:10.1016/S0950-5849(01)00189-6
Harman, M., Jones, B.F. (2001). Software engineering using metaheuristic innovative algorithms: workshop report. INFORMATION AND SOFTWARE TECHNOLOGY, 43 (14), 905-907. doi:10.1016/S0950-5849(01)00196-3
Harman, M., Jones, B.F. (2001). The SEMINAL workshop: reformulating software engineering as a metaheuristic search problem.. ACM SIGSOFT Software Engineering Notes, 26 (6), 62. doi:10.1145/505532.505548
Krinke, J. (2001). Identifizierung von ähnlichem Code mit Programmabhängigkeitsgraphen.
Krinke, J. (2001). Identifying similar code with program dependence graphs.
Langdon, W.B. (2001). Dynamics of Evolutionary Algorithms.
Langdon, W.B. (2001). Evolutionary Data Fusion. UK .
Langdon, W.B. (2001). Prediction. .
Langdon, W.B. (2001). Maximum Product of Non-Negative Numbers. .
Langdon, W.B., Buxton, B.F. (2001). Genetic Programming for Improved Receiver Operating Characteristics.
Langdon, W.B., Nordin, P. (2001). Evolving hand-eye coordination for a humanoid robot with machine code genetic programming.

2000

Binkley, D., Harman, M., Raszewski, L.R., Smith, C. (2000). An empirical study of amorphous slicing as a program comprehension support tool.
Clark, D., Hankin, C., Hunt, S. (2000). Safety of Strictness Analysis via Term Graph Rewriting.
Danicic, S., Fox, C., Harman, M., Hierons, R. (2000). ConSIT: A conditioned program slicer.
Danicic, S., Harman, M. (2000). Espresso: A Slicer Generator..
Feldt, R., Neill, M.O., Ryan, C., Nordin, P., Langdon, W.B. (2000). GP-Beagle: A Benchmarking Problem Repository for the Genetic Programming Community.
Fox, C., Harman, M., Hierons, R.M., Danicic, S. (2000). ConSIT: A Conditioned Program Slicer..
GOLD, N., MUNRO, M., BENNETT, K., BROOKE, C., RAMAGE, M. (2000). Overcoming the legacy dilemma: modelling socio-technical change options. In Bustard, D., Kawalek, P., Norris, M. (Eds.), Systems modeling for business process improvement. Artech House Publishers.
Hierons, R.M., Harman, M. (2000). Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine..
Langdon, W. (2000). Size fair and homologous tree genetic programming crossovers. Journal of Genetic Programming and Evolutionary Machines, 1 95-119. doi:10.1023/A:1010024515191
Langdon, W.B. (2000). GECCO’99 Student Workshop. Robotica, 18 87. doi:10.1017/S0263574799002507
Langdon, W.B. (2000). Genetic Programming and Evolvable Machines: Books and other Resources. Genetic Programming and Evolvable Machines, 1 165-169. doi:10.1023/A:1010028616099
Langdon, W.B. (2000). Trends in Evolutionary Data Mining.
Langdon, W.B. (2000). Natural language text classification and filtering with trigrams and evolutionary nearest neighbour classifiers. Kruislaan 413, NL-1098 SJ Amsterdam, The Netherlands .
Langdon, W.B. (2000). Problems with ROC Convex Hulls. Gower Street, London .
Lano, K., Androutsopoulos, K., Clark, D. (2000). Structuring and design of reactive systems using RSDS and B.
Lano, K., Androutsopoulos, K., Clark, D. (2000). Structuring and Design of Reactive Systems Using RSDS and B.
Lano, K., Clark, D., Androutsopoulos, K., Kan, P. (2000). Invariant-based synthesis of fault-tolerant systems.
Lano, K., Clark, D., Androutsopoulos, K., Kan, P. (2000). Invariant-Based Synthesis of Fault-Tolerant Systems.
Malabarba, S., Pandey, R., Gragg, J., Barr, E.T., Barnes, J.F. (2000). Runtime Support for Type-Safe Dynamic Java Classes..
Zeller, A., Krinke, J. (2000). Programmierwerkzeuge - Versionskontrolle, Konstruktion, Testen, Fehlersuche unter Linux / Unix.. dpunkt.verlag.

1999

(1999). Foundations of Genetic Programming.
Chong, F.S., Langdon, W.B. (1999). Java based Distributed Genetic Programming on the Internet.
Harman, M., Fox, C., Hierons, R., Binkley, D., Danicic, S. (1999). Program simplification as a means of approximating undecidable propositions.
Hierons, R.M., Harman, M., Danicic, S. (1999). Using Program Slicing to Assist in the Detection of Equivalent Mutants..
Krinke, J., Robschink, T. (1999). Kombination von Slicing und Constraint-Solving für Software-Reengineering.
Krinke, J., Robschink, T., Snelting, G. (1999). Software safety test with VALSOFT. Informatik – Forschung und Entwicklung, 14 (2), 62-73. doi:10.1007/s004500050126
Langdon, W.B. (1999). Size Fair and Homologous Tree Crossovers. CWI, P.O. Box 94079, Kruislaan 413, NL-1090 GB Amsterdam, The Netherlands .
Langdon, W.B. (1999). Linear Increase in Tree Height Leads to Sub-Quadratic Bloat.
Langdon, W.B. (1999). GECCO’99 Student Workshop. Newsletter BVNKI, 16 144-143.
Langdon, W.B. (1999). Genetic Programming Approach to Benelearn 99: I.
Langdon, W.B. (1999). Evolutionary Computation 1 Session at BNAIC’99. Newsletter BVNKI, 16 168-169.
Langdon, W.B., Poli, R. (1999). On the Tendency for Search with Simple Evaluation Functions to Find Larger Partial Solutions. Soft Computing,
Langdon, W.B., Soule, T., Poli, R., Foster, J.A. (1999). The Evolution of Size and Shape. In Spector, L., Langdon, W.B., Reilly, U.-.M.O., Angeline, P.J. (Eds.), Advances in Genetic Programming 3. (pp. 163-190). Cambridge, MA, USA: MIT Press.
Poli, R., Langdon, W.B. (1999). Sub-machine-code Genetic Programming. In Spector, L., Langdon, W.B., Reilly, U.-.M.O., Angeline, P.J. (Eds.), Advances in Genetic Programming 3. (pp. 301-323). Cambridge, MA, USA: MIT Press.
Poli, R., Page, J., Langdon, W.B. (1999). Solving Even-12, -13, -15, -17, -20 and -22 Boolean Parity Problems using Sub-machine Code GP with Smooth Uniform Crossover, Smooth Point Mutation and Demes. .
Robschink, T., Krinke, J. (1999). Heuristische Graphzerlegung.
Spector, L., Langdon, W.B., O'Reilly, U.-.M., Angeline, P.J. (1999). An Introduction to the Third Volume. In Spector, L., Langdon, W.B., Reilly, U.-.M.O., Angeline, P.J. (Eds.), Advances in Genetic Programming 3. (pp. 1-12). Cambridge, MA, USA: MIT Press.
Spector, L., Langdon, W.B., Reilly, U.-.M.O., Angeline, P.J. (Eds.), (1999). Advances in Genetic Programming 3. Cambridge, MA, USA: MIT Press.

1998

Brooke, C., Ramage, M., Bennett, K., Gold, N. (1998). Change Effects And Legacy Information Systems: A Framework To Aid Our Understanding.
Brooke, C., Ramage, M., Gold, N. (1998). From Legacy System To Business Asset: A Model To Support Organisational And Technological Change.
Harman, M., Danicic, S. (1998). A new algorithm for slicing unstructured programs. JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE, 10 (6), 415-441. doi:10.1002/(SICI)1096-908X(199811/12)10:6<415::aid-smr180>3.0.CO;2-Z
Harman, M., Gallagher, K.B. (1998). Program slicing. INFORMATION AND SOFTWARE TECHNOLOGY, 40 (11-12), 577-581. doi:10.1016/S0950-5849(98)00084-6
Harman, M., Sivagurunathan, Y., Danicic, S. (1998). Analysis of dynamic memory access using amorphous slicing.
Krinke, J. (1998). Static slicing of threaded programs.
Krinke, J., Snelting, G. (1998). Validation of measurement software as an application of slicing and constraint solving. Information and Software Technology, 40 (11-12), 661-675.
Krinke, J., Snelting, G., Robschink, T. (1998). Software-Sicherheitsprüfung mit VALSOFT.
Langdon, W.B. (1998). GP97 Conference Report. Robotica, 16 117. doi:10.1017/S0263574798210204
Langdon, W.B. (1998). Genetic Programming and Data Structures: Genetic Programming + Data Structures = Automatic Programming!. Boston: Kluwer.
Langdon, W.B. (1998). GENETIC ALGORITHMS IN ENGINEERING SYSTEMS by A.N.S. Zalzala and P.J. Fleming. IEE Control Engineering Series 55, 1997, ISBN 0 85296 902 3, 279 pp. (£ 45; Hbk).. Robotica, 16 701. doi:10.1017/S026357479821085X
Langdon, W.B., Poli, R. (1998). Why Ants are Hard. .
Langdon, W.B., Poli, R. (1998). Better Trained Ants for Genetic Programming. .
Langdon, W.B., Poli, R. (1998). Why “Building Blocks” Don’t Work on Parity Problems. .
Page, J., Poli, R., Langdon, W.B. (1998). Smooth Uniform Crossover with Smooth Point Mutation in Genetic Programming: A Preliminary Study. .
Poli, R., Langdon, W.B. (1998). On the Ability to Search the Space of Programs of Standard, One-point and Uniform Crossover in Genetic Programming. .
Poli, R., Langdon, W.B. (1998). Schema Theory for Genetic Programming with One-point Crossover and Point Mutation. Evolutionary Computation, 6 231-252. doi:10.1162/evco.1998.6.3.253
Poli, R., Langdon, W.B. (1998). Sub-machine-code Genetic Programming. .
Poli, R., Langdon, W.B., O'Reilly, U.-.M. (1998). Short Term Extinction Probability of Newly Created Schemata, and Schema Variance and Signal-to-Noise-Ratio Theorems in the Presence of Schema Creation. .

1997

Harman, M., Danicic, S. (1997). Amorphous program slicing.
Langdon, W.B. (1997). Fitness Causes Bloat in Variable Size Representations. .
Langdon, W.B. (1997). Fitness Causes Bloat: Mutation.
Langdon, W.B. (1997). GP97 Conference Report. EvoNews, 1 4-5.
Langdon, W.B. (1997). Fitness Causes Bloat: Simulated Annealing, Hill Climbing and Populations. .
Langdon, W.B., Clack, C. (1997). Software – The Next Generation: Grow Your Own Programs. University College London, Gower Street, London .
Langdon, W.B., Poli, R. (1997). Price’s Theorem and the MAX Problem. .
Langdon, W.B., Poli, R. (1997). Fitness Causes Bloat. Birmingham, B15 2TT, UK .
Langdon, W.B., Poli, R. (1997). Genetic Programming in Europe.
Langdon, W.B., Poli, R. (1997). Genetic Programming Bloat with Dynamic Fitness. .
Langdon, W.B., Poli, R. (1997). Fitness Causes Bloat: Mutation.
Langdon, W.B., Treleaven, P.C. (1997). Scheduling Maintenance of Electrical Power Transmission Networks Using Genetic Programming. In Warwick, K., Ekwue, A., Aggarwal, R. (Eds.), Artificial Intelligence Techniques in Power Systems. (pp. 220-237). IEE.
Poli, R., Langdon, W.B. (1997). A New Schema Theory for Genetic Programming with One-Point Crossover and Point Mutation. The University of Birmingham, B15 2TT, UK .
Poli, R., Langdon, W.B. (1997). An Experimental Analysis of Schema Creation, Propagation and Disruption in Genetic Programming. .
Poli, R., Langdon, W.B. (1997). Genetic Programming with One-Point Crossover and Point Mutation. Birmingham, B15 2TT, UK .
Poli, R., Langdon, W.B. (1997). A Review of Theoretical and Experimental Results on Schemata in Genetic Programming. B15 2TT, UK .
Poli, R., Langdon, W.B. (1997). A Review of Theoretical and Experimental Results on Schemata in Genetic Programming.
Sivagurunathan, Y., Harman, M., Danicic, S. (1997). Slicing, I/O and the Implicit State..

1996

Clark, D., Kennaway, R. (1996). Event Structures and Non-Orthogonal Term Graph Rewriting. Mathematical Structures in Computer Science, 6 545-578.
Harman, M., Simpson, D., Danicic, S. (1996). Slicing Programs in the Presence of Errors..
Langdon, W. (1996). Scheduling Planned Maintenance of the South Wales Region of the National Grid. .
Langdon, W.B. (1996). Data Structures and Genetic Programming. In Angeline, P.J., K E Kinnear, J. (Eds.), Advances in Genetic Programming 2. (pp. 395-414). Cambridge, MA, USA: MIT Press.
Langdon, W.B. (1996). A Bibliography for Genetic Programming. In Angeline, P.J., K E Kinnear, J. (Eds.), Advances in Genetic Programming 2. (pp. 507-532). Cambridge, MA, USA: MIT Press.
Langdon, W.B. (1996). Using Data Structures within Genetic Programming. Gower Street, London, WC1E 6BT, UK .
Langdon, W.B. (1996). Genetic Programming and Databases. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1996). Scheduling Maintenance of Electrical Power Transmission Networks Using Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1996). Evolution of Genetic Programming Populations. Gower Street, London WC1E 6BT, UK .

1995

Clark, D., Kennaway, R. (1995). Some properties of non-orthogonal term graph rewriting systems. Electr. Notes Theor. Comput. Sci., 2
Danicic, S., Harman, M., Sivagurunathan, Y. (1995). A parallel algorithm for static program slicing. INFORMATION PROCESSING LETTERS, 56 (6), 307-313. doi:10.1016/0020-0190(95)00170-0
Harman, M., Danicic, S. (1995). Using Program Slicing to Simplify Testing..
HARMAN, M., DANICIC, S., JONES, B., SIVAGURUNATHAN, B., SIVAGURUNATHAN, Y. (1995). Project project: Tools for program analysis and comprehension.
Langdon, W.B. (1995). Evolving Data Structures Using Genetic Programming. Gower Street, London, WC1E 6BT, UK .
Langdon, W.B. (1995). Pareto, Population Partitioning, Price and Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1995). Directed Crossover within Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1995). Data Structures and Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1995). Scheduling Planned Maintenance of the National Grid. In Fogarty, T.C. (Ed.), Evolutionary Computing. (pp. 132-153). Springer-Verlag.
Langdon, W.B., Qureshi, A. (1995). Genetic Programming – Computers using “Natural Selection” to generate programs. Gower Street, London WC1E 6BT, UK .

1994

Clark, D., Errington, L., Hankin, C. (1994). Static Analysis of Value-Passing Process Calculi.
HARMAN, M., DANICIC, S. (1994). USING AN INTERPRETER TO TEACH INTRODUCTORY PROGRAMMING.
HARMAN, M., DANICIC, S. (1994). USING A FUNCTIONAL LANGUAGE TO TEACH ELEMENTS OF FORMAL METHODS.
HARMAN, M., DANICIC, S. (1994). PRACTICAL SUBPROGRAM VERIFICATION - AN APPROACH WHICH USES SLICING, METRICS AND AXIOMATIC VERIFICATION.
Langdon, W.B. (1994). Quick Intro to simple-gp.c. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1994). Genetic Programming. Department of Computer Science .

1993

Clark, D., Hankin, C. (1993). A Lattice of Abstract Graphs.
HARMAN, M., DANICIC, S. (1993). PROJECTING FUNCTIONAL MODELS OF IMPERATIVE PROGRAMS. SIGPLAN NOTICES, 28 (11), 33-41.

1991

Bustin, P., Langdon, W.B., Elbourn, B. (1991). Sizing Report for the Company Office System at Thames Valley Park, British Gas Exploration and Production.

1990

HARMAN, M., DANICIC, S., GILCHRIST, R. (1990). PROGRAMMING-LANGUAGES FOR STATISTICAL COMPUTATION.

1988

Langdon, W.B. (1988). A Simple Comparison of VAX and microVAX RSX. The Globalpages, 109-111.
Langdon, W.B. (1988). $<$Control-Y$>$ Cancels X-OFF, Doesn’t it?. The Globalpages, 106-107.
Langdon, W.B. (1988). Patching MVE VMS 4.4 to support SI disks. The Globalpages, 108.

1987

Langdon, W.B. (1987). ODS-2 Specification Wanted. PAGESWAPPER, 8 VAX 47-48.
Langdon, W.B. (1987). Response to December “Bag of Tricks”. Multi-Tasker, RSX-15.
Langdon, W.B. (1987). Installing new Products with an old VMSINSTAL. The Globalpages, 12.
Langdon, W.B. (1987). Problems with Installing VAX-11 RSX version 2.2. The Globalpages, 13.
Langdon, W.B. (1987). Application software standards. PAGESWAPPER, 9 VAX 31.

1986

Langdon, W.B. (1986). Recovering Corrupted Files-11 Directories. The Globalpages, 24-25.
Langdon, W.B. (1986). Odd Problems with Installing Fortran. The Globalpages, 26-27.
Langdon, W.B. (1986). The Native Mode Restore. The Globalpages, 28.
This page was generated automatically.