Publications

Publications

Publications

2020

Gavidia-Calderon, C., Sarro, F., Harman, M., Barr, E.T. (2020). Game-theoretic analysis of development practices: Challenges and opportunities. Journal of Systems and Software, 159 doi:10.1016/j.jss.2019.110424

2019

Alshahwan, N., Ciancone, A., Harman, M., Jia, Y., Mao, K., Marginean, A., ...Zorin, I. (2019). Some challenges for software testing research (invited talk paper).
Alsubaihin, A., Sarro, F., BLACK, S., Capra, L. (2019). Empirical comparison of text-based mobile apps similarity measurement techniques. Empirical Software Engineering, doi:10.1007/s10664-019-09726-5
Alsubaihin, A., Sarro, F., BLACK, S., Capra, L., Harman, M. (2019). App Store Effects on Software Engineering Practices. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2019.2891715
An, G., Blot, A., Petke, J., Yoo, S. (2019). PyGGI 2.0: Language independent genetic improvement framework.
Bafatakis, N., Boecker, N., Boon, W., Cabello Salazar, M., Krinke, J., Oznacar, G., White, R. (2019). Python Coding Style Compliance on Stack Overflow.
Binkley, D., Gold, N.E., Islam, S., Krinke, J., Yoo, S. (2019). A Comparison of Tree- and Line-Oriented Observational Slicing. Empirical Software Engineering, doi:10.1007/s10664-018-9675-9
Blot, A., Petke, J. (2019). On Adaptive Specialisation in Genetic Improvement.
Brownlee, A.E.I., Petke, J., Alexander, B., Barr, E.T., Wagner, M., White, D.R. (2019). Gin: Genetic Improvement Research Made Easy.
Bruce, D., Menéndez, H.D., Clark, D. (2019). Dorylus: An Ant Colony Based Tool for Automated Test Case Generation.
Clark, D., Hierons, R.M., Patel, K. (2019). Normalised Squeeziness and Failed Error Propagation. Information Processing Letters, 149 6-9. doi:10.1016/j.ipl.2019.04.001
Dąbrowski, J., Letier, E., Perini, A., Sussi, A. (2019). Finding and Analyzing App Reviews Related to Specific Features: A Research Preview.
Houben, S., Bengler, B., gavrilov, D., Gallacher, S., nisi, V., nunes, N., ...Rogers, Y. (2019). Roam-IO: Engaging With People Tracking Data through an Interactive Physical Data Installation.
Jahangirova, G., Clark, D., Harman, M., Tonella, P. (2019). An Empirical Validation of Oracle Improvement. IEEE Transactions on Software Engineering,
Jimenez, M., Rwemalika, R., Papadakis, M., Sarro, F., Le Traon, Y., Harman, M. (2019). The importance of accounting for real-world labelling when predicting software vulnerabilities.
Joffe, L., Clark, D. (2019). Directing a Search Towards Execution Properties with a Learned Fitness Function.
Joffe, L., Clark, D. (2019). Constructing Search Spaces for Search-Based Software Testing Using Neural Networks.
Just, R., Krinke, J., Li, N., Rojas, J.M. (2019). Special issue on mutation testing and analysis. SOFTWARE TESTING VERIFICATION & RELIABILITY, 29 (1-2), doi:10.1002/stvr.1697
koh, V., Li, W., Livan, G., Capra, L. (2019). Offline biases in online platforms: a study of diversity and homophily in Airbnb. EPJ Data Science, doi:10.1140/epjds/s13688-019-0189-5
Langdon, W.B. (2019). Genetic programming and evolvable machines at 20. Genetic Programming and Evolvable Machines, doi:10.1007/s10710-019-09344-6
Langdon, W.B., Lorenz, R. (2019). Evolving AVX512 Parallel C Code Using GP.
Langdon, W., Petke, J. (2019). Genetic Improvement of Data gives Binary Logarithm from sqrt.
Lee, S., Binkley, D., Feldt, R., Gold, N., Yoo, S. (2019). MOAD: Modeling Observation-based Approximate Dependency.
Marginean, A., Bader, J., Chandra, S., Harman, M., Jia, Y., Mao, K., ...Scott, A. (2019). SapFix: Automated End-To-End Repair at Scale.
Menendez, H.D. (2019). VARMOG: A Co-Evolutionary Algorithm to Identify Manifolds on Large Data.
Menéndez, H.D., Bhattacharya, S., Clark, D., Barr, E.T. (2019). The arms race: Adversarial search defeats entropy used to detect malware. Expert Systems with Applications, 118 246-260. doi:10.1016/j.eswa.2018.10.011
Menéndez, H.D., Llorente, J.L. (2019). Mimicking anti-viruses with machine learning and entropy profiles. Entropy, 21 (5), doi:10.3390/e21050513
Okazaki, S., Plangger, K., West, D., Menéndez, H.D. (2019). Exploring digital corporate social responsibility communications on Twitter. Journal of Business Research, doi:10.1016/j.jbusres.2019.09.006
Petke, J., Alexander, B., Barr, E.T., Brownlee, A.E.I., Wagner, M., White, D.R. (2019). A Survey of Genetic Improvement Search Spaces.
Petke, J., Brownlee, A.E.I. (2019). Software Improvement with Gin: a Case Study.
Petke, J., Brun, Y. (2019). Message from the demonstrations track chairs of ICSE 2019.
Purves, R., Himonides, E., Gold, N. (2019). Bridging software engineering and music with Lego.
Ragkhitwetsagul, C., Krinke, J. (2019). Siamese: scalable and incremental code clone search via multiple code representations. Empirical Software Engineering, doi:10.1007/s10664-019-09697-7
Ragkhitwetsagul, C., Krinke, J., Paixao, M., Bianco, G., Oliveto, R. (2019). Toxic Code Snippets on Stack Overflow. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2019.2900307
Sarro, F. (2019). Search-Based Predictive Modelling for Software Engineering: How Far Have We Gone?.
Wang, P., Krinke, J., Zhou, X., Lu, K. (2019). AVPredictor: Comprehensive prediction and detection of atomicity violations. Concurrency and Computation: Practice and Experience, doi:10.1002/cpe.5160
Zhang, J., Zhang, L., Hao, D., Zhang, L., Harman, M. (2019). An Empirical Comparison of Mutant Selection Assessment Metrics.

2018

(2018). Guest Editorial for the 8 th Symposium on Search Based Software Engineering Special Section. Information and Software Technology, 95 265. doi:10.1016/j.infsof.2017.12.013
(2018). Guest Editorial Special Issue on Search-Based Software Engineering. IEEE Transactions on Evolutionary Computation, 22 (3), 333. doi:10.1109/TEVC.2018.2832282
Abrahão, S., De Marco, L., Ferrucci, F., Gomez, J., Gravino, C., Sarro, F. (2018). Definition and evaluation of a COSMIC measurement procedure for sizing Web applications in a model-driven development environment. Information and Software Technology, doi:10.1016/j.infsof.2018.07.012
Allamanis, M., Barr, E.T., Bird, C., Devanbu, P., Marron, M., Sutton, C. (2018). Mining Semantic Loop Idioms. IEEE Transactions on Software Engineering, 44 (7), 651-668. doi:10.1109/TSE.2018.2832048
Allamanis, M., Barr, E.T., Devanbu, P., Sutton, C. (2018). A survey of machine learning for big code and naturalness. ACM Computing Surveys, 51 (4), doi:10.1145/3212695
Alshahwan, N., Gao, X., Harman, M., Jia, Y., Mao, K., Mols, A., ...Zorin, I. (2018). Deploying Search Based Software Engineering with Sapienz at Facebook.
Basios, M., Li, L., Wu, F., Kanthan, L., Barr, E. (2018). Darwinian Data Structure Selection.
Boeing, P., Leon, M., Nesbeth, D.N., Finkelstein, A., Barnes, C. (2018). Towards an Aspect-Oriented Design and Modelling Framework for Synthetic Biology. Processes, 6 (9), doi:10.3390/pr6090167
Bruce, B.R., Petke, J., Harman, M., Barr, E.T. (2018). Approximate Oracles and Synergy in Software Energy Search Spaces. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2018.2827066
Calleja, A., Martín, A., Menéndez, H.D., Tapiador, J., Clark, D. (2018). Picking on the family: Disrupting android malware triage by forcing misclassification. Expert Systems with Applications, 95 113-126. doi:10.1016/j.eswa.2017.11.032
Dash, S.K., Allamanis, M., Barr, E.T. (2018). RefiNym: using names to refine types.
dos Santos, R.P., Werner, C., Finkelstein, A. (2018). Ecosystems Effects on Software-Consuming Organizations: an experience report on two observational studies.
Esteves Paixao, M.H., Krinke, J., Han, D., Harman, M. (2018). CROP: linking code reviews to source code changes.
Ferrucci, F., Salza, P., Sarro, F. (2018). Using Hadoop MapReduce for parallel genetic algorithms: A comparison of the global, grid and island models. Evolutionary Computation, 26 (4), 535-567. doi:10.1162/EVCO_a_00213
Gold, N.E., Gwartz, J. (2018). Loop-Based Graphical Live-Coded Music in the Browser.
Gold, N., Himonides, E. (2018). Can software engineering be taught by making (and) music?: a proposed empirical study.
Harman, M. (2018). Guest Editorial: Search-Based Software Engineering. IET SOFTWARE, 12 (4), 291-292. doi:10.1049/iet-sen.2018.0016
Harman, M. (2018). We Need a Testability Transformation Semantics.
Harman, M., O'Hearn, P. (2018). From start-ups to scale-ups: Opportunities and open problems for static and dynamic program analysis.
Hellendoorn, V.J., Bird, C., Barr, E.T., Allamanis, M. (2018). Deep learning type inference.
Jahangirova, G., Clark, D., Harman, M., Tonella, P. (2018). OASIs: Oracle assessment and improvement tool.
Jimenez, M., Checkam, T.T., Cordy, M., Papadakis, M., Kintis, M., Le Traon, Y., Harman, M. (2018). Are mutants really natural?: A study on how "naturalness" helps mutant selection.
Khazem, K., Barr, E.T., Hosek, P. (2018). Making data-driven porting decisions with Tuscan.
Langdon, W.B., Petke, J. (2018). Evolving better software parameters.
Langdon, W.B., Petke, J., Lorenz, R. (2018). Evolving better RNAfold structure prediction.
Lee, S., Binkley, D., Gold, N.E., Islam, S., Krinke, J., Yoo, S. (2018). MOBS: Multi-operator Observation-Based Slicing using lexical approximation of program dependence (extended abstract).
Liu, C., Bengler, B., Di Cuia, D., Seaborn, K., Nunes Vilaza, G., Gallacher, S., ...Rogers, Y. (2018). Pinsight: A Novel Way of Creating and Sharing Digital Content through 'Things' in the Wild.
Newbold, J.W., Gold, N., Berthouze, N.L. (2018). Visual cues effect on the impact of sonification on movement.
Nunes Vilaza, G., Liu, C., Bengler, B., Capra, L., Rogers, Y. (2018). Here, this and next: evaluating public engagement with multiple, distributed and interlinked devices.
Papadakis, M., Kintis, M., Zhang, J., Jia, Y., Traon, Y.L., Harman, M. (2018). Mutation Testing Advances: An Analysis and Survey. Advances in Computers, doi:10.1016/bs.adcom.2018.03.015
Petke, J., Le Goues, C., Forrest, S., Langdon, W.B. (2018). Genetic Improvement of Software (Dagstuhl Seminar 18052).
Petke, J., Menzies, T. (2018). Guest Editorial for the Special Section from the 9th International Symposium on Search Based Software Engineering. Information and Software Technology, 104 194. doi:10.1016/j.infsof.2018.10.002
Petke, J., Stolee, K.T., Langdon, W.B., Weimer, W. (2018). Proceedings of the 4th International Genetic Improvement Workshop, , GI@ICSE 2018, Gothenburg, Sweden, June 2, 2018.
Quattrone, G., Greatorex, A., Quercia, D., Capra, L., Musolesi, M. (2018). Analyzing and Predicting the Spatial Penetration of Airbnb in U.S. Cities. EPJ Data Science, doi:10.1140/epjds/s13688-018-0156-6
Quattrone, G., Nicolazzo, S., Nocera, A., Quercia, D., Capra, L. (2018). Is the Sharing Economy About Sharing at All? A Linguistic Analysis of Airbnb Reviews.
Ragkhitwetsagul, C., Krinke, J., Marnette, B. (2018). A Picture Is Worth a Thousand Words: Code Clone Detection Based on Image Similarity.
Sarro, F. (2018). Predictive analytics for software testing: Keynote paper.
Sarro, F., Gao, C., Zeng, J., Lyu, M.R., King, I. (2018). Exploring the effects of ad schemes on the performance cost of mobile phones.
Sarro, F., Harman, M., Jia, Y., Zhang, Y. (2018). Customer Rating Reactions Can Be Predicted Purely Using App Features.
Sarro, F., Petrozziello, A. (2018). Linear Programming as a Baseline for Software Effort Estimation. ACM Transactions on Software Engineering and Methodology, doi:10.1145/3234940
Suzuki, L., Finkelstein, A. (2018). Data as Infrastructure for Smart Cities. London, UK: IET Press.
Venerandi, A., Quattrone, G., Capra, L. (2018). A scalable method to quantify the relationship between urban form and socio-economic indexes. EPJ Data Science, doi:10.1140/epjds/s13688-018-0132-1
White, R., Krinke, J. (2018). TestNMT: Function-to-test neural machine translation.
Wilkie, J., Al Halabi, Z., Karaoglu, A., Liao, J., Ndungu, G., Ragkhitwetsagul, C., ...Krinke, J. (2018). Who's this?: developer identification using IDE event data.
Wu, H., Changhai, N., Petke, J., Jia, Y., Harman, M. (2018). An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing. IEEE Transactions on Software Engineering, 14 (8), doi:10.1109/TSE.2018.2852744
Zhang, J., Zhang, L., Harman, M., Hao, D., Jia, Y., Zhang, L. (2018). Predictive Mutation Testing. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2018.2809496

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, 10 (1),
Basios, M., Li, L., Wu, F., Kanthan, L., Barr, E. (2017). Optimising Darwinian Data Structures on Google Guava.
Binkley, D., Gold, N.E., Islam, S., Krinke, J., Yoo, S. (2017). Tree-oriented vs. line-oriented Observation-Based Slicing.
Busari, S.A., Letier, E. (2017). RADAR: A Lightweight Tool for Requirements and Architecture Decision Analysis.
Chekam, T.T., Papadakis, M., Le Traon, Y., Harman, M. (2017). An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation That Avoids the Unreliable Clean Program Assumption.
Dabrowski, J., Kifetew, F.M., Muñante, D., Letier, E., Siena, A., Susi, A. (2017). Discovering requirements through goal-driven process mining.
Dittus, M., Quattrone, G., Capra, L. (2017). Mass Participation During Emergency Response: Event-centric Crowdsourcing in Humanitarian Mapping.
Dittus, M.S., Capra, L. (2017). Private Peer Feedback as Engagement Driver in Humanitarian Mapping. Proceedings of the ACM on Human-Computer Interaction, doi:10.1145/3134675
Dodier-Lazaro, S., Abu-Salma, R., Becker, I., Sasse, M.A. (2017). From Paternalistic to User-Centred Security: Putting Users First with Value-Sensitive Design.
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.
Dodier-Lazaro, S., Becker, I., Krinke, J., Sasse, M.A. (2017). "No Good Reason to Remove Features" Expert Users Value Useful Apps over Secure Ones.
Felderer, M., Fernández, D.M., Turhan, B., Kalinowski, M., Sarro, F., Winkler, D. (2017). Preface - Product-Focused Software Process Improvement - 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29 - December 1, 2017, Proceedings. Springer.
Finkelstein, A., Harman, M., Jia, Y., Martin, W., Sarro, F., Zhang, Y. (2017). Investigating the relationship between price, rating, and popularity in the Blackberry World App Store. INFORMATION AND SOFTWARE TECHNOLOGY, 87 119-139. doi:10.1016/j.infsof.2017.03.002
Franch, X., Letier, E. (2017). Introduction to the RE'16 best papers special issue.. Requir. Eng., 22 315-316. doi:10.1007/s00766-017-0276-8
Gao, Z., Bird, C., Barr, E.T. (2017). To Type or Not to Type: Quantifying Detectable Bugs in JavaScript.
Gargantini, A., Petke, J., Radavelli, M. (2017). Combinatorial Interaction Testing for Automated Constraint Repair.
Gold, N.E., Binkley, D., Harman, M., Islam, S., Krinke, J., Yoo, S. (2017). Generalized observational slicing for tree-represented modelling languages.
Huang, J., Keung, J.W., Sarro, F., Li, Y.-.F., Yu, Y.T., Chan, W.K., Sun, H. (2017). Cross-validation based K nearest neighbor imputation for software quality datasets: An empirical study. JOURNAL OF SYSTEMS AND SOFTWARE, 132 226-252. doi:10.1016/j.jss.2017.07.012
Jiang, H., Tang, K., Petke, J., Harman, M. (2017). Search Based Software Engineering. IEEE COMPUTATIONAL INTELLIGENCE MAGAZINE, 12 (2), 23-+. doi:10.1109/MCI.2017.2670459
Kintis, M., Papadakis, M., Jia, Y., Malevris, N., Le Traon, Y., Harman, M. (2017). Detecting Trivial Mutant Equivalences via Compiler Optimisations. IEEE Transactions on Software Engineering, 1. doi:10.1109/TSE.2017.2684805
Krinke, J., Li, N., Rojas, J.M. (2017). Message from the Mutation 2017 Chairs.
Langdon, W.B., Lam, B.Y.H. (2017). Genetically Improved BarraCUDA. BioData Mining, doi:10.1186/s13040-017-0149-1
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
Langdon, W.B., Lorenz, R. (2017). Improving SSE parallel code with grow and graft genetic programming.
Langdon, W.B., Petke, J. (2017). Software is not fragile.
Langdon, W.B., Veerapen, N., Ochoa, G. (2017). Visualising the search landscape of the triangle program.
Langdon, W.B., Yoo, S., Harman, M. (2017). Inferring automatic test oracles.
Langdon, W.B., Zile, K. (2017). Genetic Improvement of computational biology software.
Mao, K., Harman, M., Jia, Y. (2017). Robotic Testing of Mobile Apps for Truly Black-Box Automation. IEEE SOFTWARE, 34 (2), 11-16.
Mao, K., Harman, M., Jia, Y. (2017). Crowd Intelligence Enhances Automated Mobile Testing.
Martín, A., Calleja, A., Menendez, H.D., Tapiador, J., Camacho, D. (2017). ADROIT: Android malware detection using meta-information.
Martín, A., Menéndez, H.D., Camacho, D. (2017). String-based malware detection for android environments.
Menendez, H., Otero, F.E.B., Camacho, D. (2017). Extending the SACOC algorithm through the Nystrom method for Dense Manifold Data Analysis. International Journal of Bio-Inspired Computation, doi:10.1504/IJBIC.2017.085894
Menzies, T., Petke, J. (2017). Preface. .
Newbold, J., Gold, N., Bianchi-Berthouze, N.L. (2017). Musical expectancy in squat sonification for people who struggle with physical activity.
Paixao, M., Harman, M., Zhang, Y., Yu, Y. (2017). An Empirical Study of Cohesion and Coupling: Balancing Optimisation and Disruption. IEEE Transactions on Evolutionary Computation, 1. doi:10.1109/TEVC.2017.2691281
Paixao, M., Krinke, J., Han, D., R.a.g.k.h.i.t.w.e.t.s.a.g.u.l., H.a.r.m.a.n. (2017). Are developers aware of the architectural impact of their changes?.
Patrick, M., Jia, Y. (2017). 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. (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
Petke, J. (2017). New operators for non-functional genetic improvement.
Petke, J., Galeotti, J.P. (2017). Message from the workshop chairs SBST 2017.
Petke, J., Haraldsson, S., Harman, M., langdon, W., White, D., Woodward, J. (2017). Genetic Improvement of Software: a Comprehensive Survey. IEEE Transactions on Evolutionary Computation, 1. doi:10.1109/TEVC.2017.2693219
Petke, J., Harman, M., Langdon, W.B., Weimer, W. (2017). Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2017.2702606
Qiu, D., Li, B., Barr, E.T., Su, Z. (2017). Understanding the syntactic rule usage in java. Journal of Systems and Software, 123 160-172. doi:10.1016/j.jss.2016.10.017
Quattrone, G., Dittus, M., Capra, L. (2017). Work Always in Progress: Analysing Maintenance Practices in Spatial Crowd-sourced Datasets.
Ragkhitwetsagul, C., Krinke, J. (2017). Using Compilation/Decompilation to Enhance Clone Detection.
Ragkhitwetsagul, C., Krinke, J., Clark, D. (2017). A comparison of code similarity analysers. Empirical Software Engineering, doi:10.1007/s10664-017-9564-7
Rodríguez-Fernández, V., Menéndez, H.D., Camacho, D. (2017). Analysing temporal performance profiles of UAV operators using time series clustering. Expert Systems with Applications, 70 103-118. doi:10.1016/j.eswa.2016.10.044
Rodríguez-Fernández, V., Menéndez, H.D., Camacho, D. (2017). A study on performance metrics and clustering methods for analyzing behavior in UAV operations. Journal of Intelligent and Fuzzy Systems, 32 (2), 1307-1319. doi:10.3233/JIFS-169129
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
Smith-Clarke, C., Capra, L. (2017). Information Diffusion and Economic Development.
Urbieta, A., González-Beltrán, A., Ben Mokhtar, S., Anwar Hossain, M., Capra, L. (2017). Adaptive and context-aware service composition for IoT-based smart cities. Future Generation Computer Systems, doi:10.1016/j.future.2016.12.038
Wang, P., Krinke, J., Lu, K., Li, G., Dodier-Lazaro, S. (2017). How Double-Fetch Situations turn into Double-Fetch Vulnerabilities: A Study of Double Fetches in the Linux Kernel.
Yoo, S., Xie, X., Kuo, F.-.C., Chen, T.Y., Harman, M. (2017). Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation: Theoretical and Empirical Analysis. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 26 (1), doi:10.1145/3078840

2016

Abdallah, S.A., Gold, N.E., Marsden, A. (2016). Analysing Symbolic Music with Probabilistic Grammars. In Meredith, D. (Ed.), Computational Music Analysis. (pp. 157-189). Cham, Switzerland: Springer.
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.
Barr, E.T., Marron, M., Maurer, E., Moseley, D., Seth, G. (2016). Time-Travel Debugging for JavaScript/Node.js.
Bhoopchand, A., Rocktäschel, T., Barr, E.T., Riedel, S. (2016). Learning Python Code Suggestion with a Sparse Pointer Network. .
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.
Cornu, B., Barr, E.T., Seinturier, L., Monperrus, M. (2016). Casper: Automatic tracking of null dereferences to inception with causality traces. JOURNAL OF SYSTEMS AND SOFTWARE, 122 52-62. doi:10.1016/j.jss.2016.08.062
Dittus, M., Quattrone, G., Capra, L. (2016). Social Contribution Settings and Newcomer Retention in Humanitarian Crowd Mapping.
Dittus, M.S., Capra, L., Quattrone, G. (2016). Analysing Volunteer Engagement in Humanitarian Mapping: Building Contributor Communities at Large Scale.
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.
Finkelstein, A. (2016). Software engineering and policy.
Franch, X., Letier, E., Duarte, C.H.C., Ebert, C., Breaux, T., Perini, A., Jin, Z. (2016). Message from the Chairs.
g.a.l.l.a.c.h.e.r., G.o.l.s.t.e.i.j.n., rogers, Y., Capra, L., Eustace, S. (2016). SmallTalk: Using Tangible Interactions to Gather Feedback from Children.
Gargantini, A., Petke, J., Radavelli, M., Vavassori, P. (2016). Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing.
Harman, M. (2016). Search Based Software Engineering and Genetic Improvement.
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
Houben, S., Golsteijn, C., Gallacher, S., Johnson, R., Bakker, S., Marquardt, N., ...Rogers, Y. (2016). Physikit: Data Engagement Through Physical Ambient Visualizations in the Home.
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., Ochoa, G. (2016). Genetic improvement: A key challenge for evolutionary computation.
Langdon, W.B., Petke, J. (2016). Genetic Improvement. [Digital scholarly resource]. Retrieved from: http://blog.ieeesoftware.org/2016/02/genetic-improvement.html?platform=hootsuite
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. .
Li, L., Harman, M., Wu, F., Zhang, Y. (2016). The Value of Exact Analysis in Requirements Selection. IEEE Transactions on Software Engineering, PP (99), doi:10.1109/TSE.2016.2615100
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, A., Menendez, H.D., Camacho, D. (2016). Studying the Influence of Static API Calls for Hiding Malware.
Martin, A., Menéndez, H.D., Camacho, D. (2016). Genetic boosting classification for malware detection.
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
Oni, O., Letier, E. (2016). Optimizing the Incremental Delivery of Software Features Under Uncertainty.
Papadakis, M., Henard, C., Harman, M., Jia, Y., Traon, Y.L. (2016). Threats to the validity of mutation-based test assessment.
Petke, J. (2016). Genetic Improvement for Code Obfuscation.
Petke, J., Gay, G. (2016). Message from the workshop chairs.
Quattrone, G., Dittus, M., Capra, L. (2016). Exploring Maintenance Practices in Crowd-Mapping.
Quattrone, G., Proserpio, D., Quercia, D., Capra, L., Musolesi, M. (2016). Who Benefits from the “Sharing” Economy of Airbnb?.
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.
Rogers, Y., Golsteijn, C., Capra, L., Gallacher, S. (2016). Sens-Us: Designing Innovative Civic Technology for the Public Good..
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., Kessentini, M., Deb, K. (2016). Preface- Search Based Software Engineering - 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings. Springer.
Sarro, F., Petrozziello, A., Harman, M. (2016). Multi-objective software effort estimation.
Smith-Clarke, C., Capra, L. (2016). Beyond the baseline: Establishing the value in mobile phone based poverty estimates.
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. (pp. 109-128). Singapore: Imperial College Press and World Scientific.
traunmueller, M., Capra, L., marshall, P. (2016). “...when you’re a Stranger": Evaluating Safety Perceptions of (un)familiar Urban Places.
Venerandi, A., Quattrone, G., Capra, L. (2016). City form and well-being: what makes London neighborhoods good places to live?.
Venerandi, A., Quattrone, G., Capra, L. (2016). Guns of Brixton: which London neighborhoods host gang activity?.
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. (2015). Suggesting Accurate Method and Class Names.
Alshahwan, N., Barr, E.T., Clark, D., Danezis, G. (2015). Detecting Malware with Information Complexity. .
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, 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.
Cortes-Cornax, M., Matei, A., Dupuy-Chessa, S., Rieu, D., Mandran, N., Letier, E. (2015). Using intentional fragments to bridge the gap between organizational and intentional levels. INFORMATION AND SOFTWARE TECHNOLOGY, 58 1-19. doi:10.1016/j.infsof.2014.09.010
Dehghanniri, H., Letier, E., Borrion, H. (2015). Improving Security Decision under Uncertainty: A Multidisciplinary Approach.
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.
Gallacher, S., Golsteijn, C., Wall, L., Koeman, L., Andberg, S., Capra, L., Rogers, Y. (2015). Getting Quizzical About Physical: Observing Experiences with a Tangible Questionnaire.
Gallacher, S., O' Connor, J., Bird, J., Rogers, Y., Capra, L., Harrison, D., Marshall, P. (2015). Mood Squeezer: Lightening up the Workplace through Playful and Lightweight Interactions.
Genn, H. (2015). Foreward. UCL Journal of Law and Jurisprudence, 4 (1), doi:10.14324/111.2052-1871.026
Golsteijn, C., Gallacher, S., Capra, L., Rogers, Y. (2015). Sens-Us: Imagining a Citizen-led, Dynamic, and Localized Census.
Golsteijn, C., Gallacher, S., Koeman, L., Wall, L., Andberg, S., Rogers, Y., Capra, L. (2015). VoxBox: a Tangible Machine that Gathers Opinions from the Public at Events.
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., 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. (2015). Genetic improvement of programs.
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., Harman, M. (2015). Optimising Existing Software with Genetic Programming. IEEE Transactions on Evolutionary Computation, PP (99), 118-135. doi:10.1109/TEVC.2013.2281544
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.
Mashhadi, A., Quattrone, G., Capra, L. (2015). The impact of society on volunteered geographic information: The case of OpenStreetMap. In OpenStreetMap in GIScienceExperiences, Research, and Applications. (pp. 125-141). Springer.
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.
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..
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
Quattrone, D., Capra, L., De Meo, P. (2015). There’s No Such Thing as the Perfect Map: Quantifying Bias in Spatial Crowd-sourcing Datasets.
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
Saeidi, M., Riedel, S., Capra, L. (2015). Lower dimensional representations of city neighbourhoods.
Smith, E.K., Barr, E.T., Le Goues, C., Brun, Y. (2015). Is the Cure Worse Than the Disease? Overfitting in Automated Program Repair.
Traunmueller, M., Marshall, P., Capra, L. (2015). Crowdsourcing Safety Perceptions of People: Opportunities and Limitations.
Urbieta, A., Gonzalez-Beltran, A., Ben Mokhtar, S., Parra, J., Capra, L., Hossain, M.A., ...Ignacio Vazquez, J. (2015). Hybrid service matchmaking in ambient assisted living environments based on context-aware service modeling. CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 18 (3), 1171-1188. doi:10.1007/s10586-015-0469-1
Urbieta, A., González-Beltrán, A., Ben Mokhtar, S., Parra, J., Capra, L., Hossain, M.A., ...Vázquez, J.I. (2015). Hybrid service matchmaking in ambient assisted living environments based on context-aware service modeling. Cluster Computing, 18 (3), 1171-1188. doi:10.1007/s10586-015-0469-1
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
Venerandi, A., Quattrone, G., Capra, L., Quercia, D., Saez-Trumper, D. (2015). Measuring Urban Deprivation from User Generated Content.
Venerandi, A., Quattrone, g.i.o.v.a.n.n.i., Capra, l.i.c.i.a., Daniele, Q.u.e.r.c.i.a., Diego, S.a.e.z.-.T.r.u.m.p.e.r. (2015). Measuring Urban Deprivation from User Generated Content.
Woodward, J.R., Petke, J., Langdon, W. (2015). How computers are learning to make human software work more efficiently. The Conversation, June 25-2015 10.08am BST.
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.
Boeing, P., Nesbeth, D.N., Finkelstein, A., Barnes, C. (2014). An Aspect Oriented Design and Modelling Framework for Synthetic Biology..
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). Active Scores: Representation and Synchronization in Human-Computer Performance of Popular Music. Computer Music Journal, 38 (2), 51-62.
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.
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., 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
Kalumbilo, M., Finkelstein, A. (2014). Linking strategy, governance, and performance in software engineering..
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). Mycoplasma Contamination in The 1000 Genomes Project. BioData Mining, doi:10.1186/1756-0381-7-3
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.
Lathia, N., Capra, L. (2014). Tube Star: Crowd-Sourced Experiences on Public Transport.
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.F., Camacho, D. (2014). A genetic graph-based approach for partitional clustering. International Journal of Neural Systems, 24 (3), 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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8669 69-76.
Menéndez, H.D., Otero, F.E.B., Camacho, D. (2014). SACOC: A spectral-based ACO clustering algorithm.
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.
Pichardo-Almarza, C.D., Metcalf, L., Finkelstein, A., Diaz-Zuccarini, V. (2014). Using a Systems Pharmacology Approach to Study the Effect of Statins on the EarlyStage of Atherosclerosis in Humans. CPT: Pharmacometrics and Systems Pharmacology,
Porter, C., Letier, E., Sasse, M.A. (2014). Building a National E-Service using Sentire: Experience report on the use of Sentire: A Volere-based requirements framework driven by calibrated personas and simulated user feedback.
Quattrone, G., Mashhadi, A., Capra, L. (2014). Mind the map: The impact of culture and economic affluence on crowd-mapping behaviours. Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW, 934-944. doi:10.1145/2531602.2531713
Quattrone, G., Mashhadi, A., Quercia, D., Smith-Clarke, C., Capra, L. (2014). Modelling growth of urban crowd-sourced information. WSDM'14: PROCEEDINGS OF THE 7TH ACM INTERNATIONAL CONFERENCE ON WEB SEARCH AND DATA MINING, 563-572. doi:10.1145/2556195.2556244
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).
Smith-Clarke, C., Mashhadi, A., Capra, L. (2014). Poverty on the cheap: Estimating poverty maps using aggregated mobile communication networks. Conference on Human Factors in Computing Systems - Proceedings, 511-520. doi:10.1145/2556288.2557358
Stefan, D., Letier, E. (2014). Supporting Sustainability Decisions in Large Organisations.
Traunmueller, M., Quattrone, G., Capra, L. (2014). Mining Mobile Phone Data to Investigate Urban Crime Theories at Scale.
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.
Vindel, R., Menéndez, H.D., Camacho, D. (2014). Combining time series and clustering to extract players' evolutionary profiles.
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 .
Zheng, Y., Capra, L., Wolfson, O., Yang, H. (2014). Urban Computing: Concepts, Methodologies, and Applications. ACM Transactions on Intelligent Systems and Technology (TIST), 5 (3), doi:10.1145/2629592
Zheng, Y., Capra, L., Wolfson, O., Yang, H. (2014). Introduction to the special section on Urban computing. ACM Transactions on Intelligent Systems and Technology, 5 (3), doi:10.1145/26426501
Zheng, Y., Capra, L., Wolfson, O., Yang, H. (2014). Introduction to the special section on Urban computing. ACM Transactions on Intelligent Systems and Technology, 5 (3), doi:10.1145/26426501
Zheng, Y., Capra, L., Wolfson, O., Yang, H. (2014). Introduction to the Special Section on Urban Computing. ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 5 (3), doi:10.1145/2642650
Zheng, Y., Capra, L., Wolfson, O., Yang, H. (Eds.), (2014). ACM Transactions on Intelligent Systems and Technology - Special Section on Urban Computing. ACM Transactions on Intelligent Systems and Technology, 5 (3),

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.T., Thanh, V., Vu, L., Su, Z. (2013). Automatic Detection of Floating-Point Exceptions.
Barr, E., Vo, T., le, V., Su, Z. (2013). Automatic Detection of Floating-Point Exceptions.
Bello, G., Menendez, H., Okazaki, S., Camacho, D. (2013). Extracting Collective Trends from Twitter Using Social-Based Data Mining.
Binkley, D., Gold, N.E., Krinke, J., Harman, M., Yoo, S. (2013). Observation-Based Slicing. Department of Computer Science, UCL .
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
Brockhoff, D., Knowles, J.D., Langdon, W.B. (2013). Breakout Session on Evolutionary Multiobjective Optimization.
Chan, S., Treleaven, P., Capra, L. (2013). Continuous hyperparameter optimization for large-scale recommender systems. 2013 IEEE INTERNATIONAL CONFERENCE ON BIG DATA,
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
Dannenberg, R.B., Jin, Z., Gold, N.E., Sandu, O.E., Palliyaguru, P.N., Robertson, A., ...Kleinberger, R. (2013). Human-Computer Music Performance: From Synchronized Accompaniment to Musical Partner.
Dodier-Lazaro, S., Avril, Q., Gouranton, V. (2013). SODA: A Scalability-Oriented Distributed & Anticipative Model for Collision Detection in Physically-based Simulations.
Duboc, L., Letier, E., Rosenblum, D.S. (2013). Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis.. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 39 (1), 119-140. doi:10.1109/TSE.2012.12
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. (2013). The Next 10 Years: the shape of software to come and what if means for software engineering..
Finkelstein, A.C.W. (2013). Valve: an electrical romance. In Carnall, M. (Ed.), Conversation Pieces: Inspirational objects in UCL's historic collections. (pp. 22-23). Oxford, UK: Shire Publications Ltd.
Finkelstein, A.C.W., Finkelstein, L. (2013). The convergence of measurement science and computer science: A scientific conversation. MEASUREMENT, 46 (8), 2946-2949. doi:10.1016/j.measurement.2013.04.047
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 .
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,
Hecht, B., Schöning, J., Haklay, M., Capra, L., Mashhadi, A.J., Terveen, L., Kwan, M.P. (2013). Geographic Human-Computer Interaction.
Hristova, D., Quattrone, G., Mashhadi, A.J., Capra, L. (2013). The Life of the Party: Impact of Social Mapping in OpenStreetMap..
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.
Lathia, N., Smith, C., Froehlich, J., Capra, L. (2013). Individuals among commuters: Building personalised transport information services from fare collection systems. Pervasive and Mobile Computing, 9 (5), 643-664. doi:10.1016/j.pmcj.2012.10.007
Letier, E., Fitzgerald, C. (2013). Measure what counts: An evaluation pattern for software data analysis. 2013 1ST INTERNATIONAL WORKSHOP ON DATA ANALYSIS PATTERNS IN SOFTWARE ENGINEERING (DAPSE), 20-22.
Letier, E., Heaven, W. (2013). Requirements Modelling by Synthesis of Deontic Input-Output Automata.
Mao, K., Yang, Y., Li, M., Harman, M. (2013). Pricing crowdsourcing-based software development tasks..
Mashhadi, A., Quattrone, G., Capra, L. (2013). Putting Ubiquitous Crowd-sourcing into Context.
Menendez, H., Bello-Orgaz, G., Camacho, D. (2013). Extracting behavioural models from 2010 FIFA world cup. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 26 (1), 43-61. doi:10.1007/s11424-013-2289-9
Menendez, 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?.
Romualdo-Suzuki, L., Finkelstein, A., Gann, D.M. (2013). A middleware framework for urban data management..
Smith, C., Capra, L. (2013). Monitoring Neighbourhood Health.
Smith, C., Mashhadi, A., Capra, L. (2013). Ubiquitous Sensing for Mapping Poverty in Developing Countries.
Smith, C., Quercia, D., Capra, L. (2013). Finger On The Pulse: Identifying Deprivation Using Transit Flow Analysis.
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
Zervoudakis, F., Rosenblum, D.S., Elbaum, S.G., Finkelstein, A. (2013). Cascading verification: an integrated method for domain-specific model checking..
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.
Agrifoglio, R., Black, S., Metallo, C., Ferrara, M. (2012). EXTRINSIC VERSUS INTRINSIC MOTIVATION IN CONTINUED TWITTER USAGE. JOURNAL OF COMPUTER INFORMATION SYSTEMS, 53 (1), 33-41.
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., Menendez, 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
Capra, L., Quercia, D. (2012). Middleware for Social Computing: A Roadmap. Springer Journal of Internet Services and Applications (JISA), Special Issue on The Future of Middleware
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.
Ceapa, I., Smith, C., Capra, L. (2012). Avoiding the crowds: Understanding Tube station congestion patterns from trip data. Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 134-141. doi:10.1145/2346496.2346518
Chan, S., Capra, L. (2012). From online browsing to offline purchases: Analyzing contextual information in the retail business. CEUR Workshop Proceedings, 889
Cheney, J., Finkelstein, A., Ludäscher, B., Vansummeren, S. (2012). Principles of Provenance (Dagstuhl Seminar 12091).. Dagstuhl Reports, 2 84-113.
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
Cornax, M.C., Matei, A., Letier, E., Dupuy-Chessa, S., Rieu, D. (2012). Intentional Fragments: Bridging the Gap between Organizational and Intentional Levels in Business Processes..
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.
Dermeval, D., Pimentel, J., Silva, C.T.L.L., Castro, J., Santos, E., Guedes, G., ...Finkelstein, A. (2012). STREAM-ADD - Supporting the Documentation of Architectural Design Decisions in an Architecture Derivation Process..
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.
Fitzgerald, C., Letier, E., Finkelstein, A. (2012). Early failure prediction in feature request management systems: An extended study. REQUIREMENTS ENGINEERING, 17 (2), 117-132. doi:10.1007/s00766-012-0150-7
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.
Gonzalez Beltran, A.N., Tagger, B., Finkelstein, A. (2012). Federated ontology-based queries over cancer data. BMC Bioinformatics, doi:10.1186/1471-2105-13-S1-S9
Gu, Z., Barr, E.T., Schleck, D., Su, Z. (2012). Reusing Debugging Knowledge via Trace-based Bug Search.
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
Hetherington, J., Sumner, T., Seymour, R.M., Li, L., Rey, M.V., Yamaji, S., ...Finkelstein, A. (2012). A composite computational model of liver glucose homeostasis. I. Building the composite model.. JOURNAL OF THE ROYAL SOCIETY INTERFACE, 9 (69), 689-700. doi:10.1098/rsif.2011.0141
Hindle, A., Barr, E.T., Su, Z., Gabel, M., Devanbu, P.T. (2012). On the naturalness of software..
Hristova, D., Mashhadi, A., Quattrone, G., Capra, L. (2012). Mapping community engagement with urban crowd-sourcing. AAAI Workshop - Technical Report, WS-12-04 14-19.
Jeavons, P., Petke, J. (2012). Local Consistency and SAT-Solvers.. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 43 329-351. doi:10.1613/jair.3531
Kargupta, S., Black, S. (2012). A Novel Approach for Service Performance Analysis and Forecast.. J. Web Eng., 11 146-176.
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 .
Lathia, N., Ahmed, S., Capra, L. (2012). Measuring the impact of opening the London shared bicycle scheme to casual users. TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 22 88-102. doi:10.1016/j.trc.2011.12.004
Lathia, N., Capra, L., Magliocchetti, D., De Vigili, F., Conti, G., De Amicis, R., ...Alexa, V. (2012). Personalizing Mobile Travel Information Services.
Lim, S.L., Finkelstein, A. (2012). StakeRare: Using Social Networks and Collaborative Filtering for Large-Scale Requirements Elicitation. IEEE Transactions on Software Engineering,
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
Mashhadi, A., Quattrone, G., Capra, L., Mooney, P. (2012). On the accuracy of urban crowd-sourcing for maintaining large-scale geospatial databases. WikiSym 2012 Conference Proceedings - 8th Annual International Symposium on Wikis and Open Collaboration, doi:10.1145/2462932.2462952
Menéndez, H., Bello-Orgaz, G., Camacho, D. (2012). Features selection from high-dimensional web data using clustering analysis.
Menéndez, H., 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
Pimentel, J., Castro, J., Santos, E., Finkelstein, A. (2012). Towards Requirements and Architecture Co-evolution..
Pimentel, J., Santos, E., Dermeval, D., Castro, J., Finkelstein, A. (2012). Towards Architectural Evolution through Model Transformations..
Porter, C., Sasse, M.A., Letier, E. (2012). Designing acceptable user registration processes for e-services.
Quercia, D., Capra, L., Crowcroft, J. (2012). The Social World of Twitter: Topics, Geography, and Emotions..
Quercia, D., Ellis, J., Capra, L., Crowcroft, J. (2012). Tracking "gross community happiness" from tweets..
Santos, E., Pimentel, J., Castro, J., Finkelstein, A. (2012). On the Dynamic Configuration of Business Process Models..
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..
Schöning, J., Rogers, Y., Bird, J., Capra, L., McCann, J.A., Prendergast, D., Sheridan, C. (2012). Intel Collaborative Research Institute - Sustainable Connected Cities..
Smith, C., Quercia, D., Capra, L. (2012). Anti-gravity Underground?.
Sumner, T., Hetherington, J., Seymour, R.M., Li, L., Varela Rey, M., Yamaji, S., ...Finkelstein, A. (2012). A composite computational model of liver glucose homeostasis. II. Exploring system behaviour.. JOURNAL OF THE ROYAL SOCIETY INTERFACE, 9 (69), 701-706. doi:10.1098/rsif.2011.0783
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.
(2011). Marine Requirements Elucidation and the Nature of Preliminary Ship Design. Transactions of the Royal Institution of Naval Architects Part A: International Journal of Maritime Engineering, 153 (Part A1), doi:10.3940/rina.ijme.2011.a1.202
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
Bahsoon, R., Emmerich, W. (2011). Economics-driven Architecting for Non-functional Requirements in the Presence of Middleware. In Relating Software Requirements and Architectures. Springer.
Bello, G., Menendez, H., Camacho, D. (2011). Using the Clustering Coefficient to Guide a Genetic-Based Communities Finding Algorithm.
Bencomo, N., Letier, E., Finkelstein, A., Whittle, J., Welsh, K. (2011). Foreword: 2nd workshop requirements@run.time. Proceedings of the 2011 2nd International Workshop on Requirements@Run.Time, RE@RunTime 2011, doi:10.1109/ReRunTime.2011.6046240
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
Boness, K., Finkelstein, A., Harrison, R. (2011). A method for assessing confidence in requirements analysis. INFORMATION AND SOFTWARE TECHNOLOGY, 53 (10), 1084-1096. doi:10.1016/j.infsof.2011.05.003
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..
Bunyakiati, P., Finkelstein, A. (2011). Standards compliance testing for unified modelling language tools. IET SOFTWARE, 5 (2), 120-131. doi:10.1049/iet-sen.2010.0032
Chapman, C., Emmerich, W., Marquez, F.G., Clayman, S., Galis, A. (2011). Software Architecture Definition for On-demand Cloud Provisioning. Cluster Computing,
Clark, D., Giacobazzi, R., Mu, C. (2011). Foreword: programming language interference and dependence.. Mathematical Structures in Computer Science, 21 (6), 1109-1110. doi:10.1017/s0960129511000168
Clark, D.J., Mu, C. (2011). A Tool: Quantitative Analyser for Programs.
Corazza, A., Di Martino, S., Ferrucci, F., Gravino, C., Sarro, F., Mendes, E. (2011). Using tabu search to configure support vector regression for effort estimation. Empirical Software Engineering, 1-41.
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
Dykiert, M., Gold, N.E. (2011). Support for Learning Synthesiser Programming.
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.
Finkelstein, A. (2011). Keynote: Engineering Challenges of New Business Models in Software.
Finkelstein, A. (2011). Ten Open Challenges at the Boundaries of Software Engineering and Information Systems..
Fitzgerald, C., Letier, E., Finkelstein, A. (2011). Early Failure Prediction in Feature Request Management Systems.
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.
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..
Heaven, W., LETIER, E. (2011). Simulating and Optimising Design Decisions in Quantitative Goal Models.
Jennings, B., Finkelstein, A. (2011). Implicit Social Production: Utilising Socially Generated Data By-Products..
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
Jimenez-Diaz, G., Menendez, H.D., Camacho, D., Gonzalez-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 .
Lathia, N., Capra, L. (2011). How Smart is Your Smartcard? Measuring Travel Behaviours, Perceptions, and Incentives.
Lathia, N., Capra, L. (2011). Mining Mobility Data to Minimise Travellers' Spending on Public Transport.
Lathia, N., Quercia, D., Capra, L., Crowcroft, J. (2011). Recsys'11 workshop outline PeMA 2011: personalization in mobile applications..
Letier, E. (2011). Simulating and Optimizing Design Decisions in Goal-Oriented Requirements Models..
Lim, S.L., Damian, D., Finkelstein, A. (2011). StakeSource2.0: Using social networks of stakeholders to identify and prioritise requirements. 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 1022-1024.
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..
Mashhadi, A., Ben Mokhtar, S., Capra, L. (2011). Fair Content Dissemination in Participatory DTNs. Elsevier Ad-Hoc Networks Journal,
Mashhadi, A., Capra, L. (2011). Priority Scheduling for Participatory Delay Tolerant Networks.
Mashhadi, A., Capra, L. (2011). Quality Control for Real-time Ubiquitous Crowdsourcing.
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.
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
Quattrone, G., Capra, L., Ferrara, E., De Meo, P., Ursino, D. (2011). Effective Retrieval of Resources in Folksonomies Using a New Tag Similarity Measure.
Quattrone, G., Capra, L., Meo, P.D., Ferrara, E., Ursino, D. (2011). Effective retrieval of resources in folksonomies using a new tag similarity measure..
Quattrone, G., De Meo, P., Ferrara, E., Capra, L. (2011). Measuring Similarity in Large-scale Folksonomie.
Quattrone, G., Ferrara, E., Meo, P.D., Capra, L. (2011). Measuring Similarity in Large-scale Folksonomies..
Quercia, D., Ellis, J., Capra, L., Crowcroft, J. (2011). In the Mood for Being Influential on Twitter.
Quercia, D., Ellis, J., Capra, L., Crowcroft, J. (2011). In the Mood for Being Influential on Twitter..
Quercia, D., Ellis, J., Capra, L., Crowcroft, J. (2011). In the mood being influential on twitter mood. Proceedings - 2011 IEEE International Conference on Privacy, Security, Risk and Trust and IEEE International Conference on Social Computing, PASSAT/SocialCom 2011, 307-314. doi:10.1109/PASSAT/SocialCom.2011.27
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-+.
Rink, J., Spiro, N., Gold, N. (2011). Motive, gesture, and the analysis of performance. In Gritten, A., King, E. (Eds.), New Perspectives on Music and Gesture. (pp. 267-292). Routledge.
Sarro, F. (2011). Search-Based approaches for software development effort estimation.
Treude, C., Storey, M.-.A.D., Deursen, A.V., Begel, A., Black, S. (2011). Second international workshop on web 2.0 for software engineering: (Web2SE 2011)..
Treude, C., Storey, M.-.A.D., Deursen, A.V., Begel, A., Black, S. (2011). Workshop report from Web2SE 2011: 2nd international workshop on web 2.0 for software engineering.. ACM SIGSOFT Software Engineering Notes, 36 (5), 24. doi:10.1145/2020976.2020977
Veerappa, V., Letier, E. (2011). Clustering Stakeholders for Requirements Decision Making..
Veerappa, V., Letier, E. (2011). Understanding Clusters of Optimal Solutions in Multi-Objective Decision Problems.
Vos, T.E.J., Tonella, P., Wegener, J., Harman, M., Prasetya, W., Puoskari, E., Nir-Buchbinder, Y. (2011). Future Internet Testing with FITTEST..
Wassermann, B., Emmerich, W. (2011). Monere: Monitoring of Service Compositions for Failure Diagnosis.
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.
Zanardi, V., Capra, L. (2011). A Scalable Tag-based Recommender System for New Users of the Social Web.
Zanardi, V., Capra, L. (2011). Dynamic Updating of Online Recommender Systems via Feed-Forward Controllers.
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.
Alshahwan, N., Jia, Y., Lakhotia, K., Fraser, G., Shuler, D., Tonella, P. (2010). AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation..
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
Ben Mokhtar, S., McNamara, L., Capra, L. (2010). A Self-Organising Directory and Matching Service for Opportunistic Social Networking.
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.
D'Ambrosio, P., Ferrucci, F., Sarro, F., Tucci, M. (2010). An Approach for the Development of DOOH-oriented Information Systems..
Dell'Amico, M., Capra, L. (2010). Dependable Filtering: Philosophy and Realizations. ACM TRANSACTIONS ON INFORMATION SYSTEMS, 29 (1), doi:10.1145/1877766.1877771
Del Prete, L., Capra, L. (2010). diffeRS: a Mobile Recommender Service.
Guy, G., Dunn, S., Gold, N. (2010). Capturing Visitor Experiences for Study and Preservation.
Harman, M. (2010). Automated Patching Techniques: The Fix Is In. COMMUNICATIONS OF THE ACM, 53 (5), 108. doi:10.1145/1735223.1735248
Harman, M., Jia, Y., Langdon, W.B. (2010). A manifesto for higher order mutation testing.
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.
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..
Langdon, W.B. (2010). 2-bit Flip Mutation Elementary Fitness Landscapes. Gower Street, London WC1E 6BT, UK .
Langdon, W.B., Graillet, O.S., Harrison, A.P. (2010). Automated DNA Motif Discovery.
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
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.
Zirpins, C., Feuerlicht, G., Lamersdorf, W., Ortiz, G., Chung, Y.J., Emmerich, W., Johnson, R. (2010). 5th International Workshop on Engineering Service-Oriented Applications (WESOA 2009). .
This page was generated automatically.