Publications

Publications

2017

Abdallah, S., Benetos, E., Gold, N.E., Hargreaves, S., Weyde, T., Wolff, D. (2017). The Digital Music Lab: A Big Data Infrastructure for Digital Musicology. ACM Journal on Computing and Cultural Heritage,
dittus, M., quattrone, G., Capra, L. (2017). Mass participation during emergency response: event-centric crowd-sourcing in humanitarian mapping.
quattrone, G., dittus, M., Capra, L. (2017). Work Always in Progress: Analysing Maintenance Practices in Spatial Crowd-sourced Datasets.

2016

Abdallah, S., Benetos, E., Gold, N.E., Hargreaves, S., Weyde, T., Wolff, D. (2016). Digital Music Lab: A Framework for Analysing Big Music Data.
Aspromallis, C., Gold, N.E. (2016). Form-Aware, Real-Time Adaptive Music Generation for Interactive Experiences.
Bowes, D., Hall, T., Harman, M., Jia, Y., Sarro, F., Wu, F. (2016). Mutation-aware fault prediction.
Di Martino, S., Ferrucci, F., Gravino, C., Sarro, F. (2016). Web Effort Estimation: Function Point Analysis vs. COSMIC. Information and Software Technology, 72 90-109. doi:10.1016/j.infsof.2015.12.001
Dittus, M., Quattrone, G., Capra, L. (2016). Analysing volunteer engagement in humanitarian mapping: Building contributor communities at large scale.
dittus, M., quattrone, G., Capra, L. (2016). Social Contribution Settings and Newcomer Retention in Humanitarian Crowd Mapping.
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..
Gallacher, S., Golsteijn, C., Rogers, Y., Capra, L., Eustace, S. (2016). SmallTalk: Using tangible interactions to gather feedback from children.
Golsteijn, C., Gallacher, S., Capra, L., Rogers, Y. (2016). Sens-us: Designing innovative civic technology for the public good.
Harman, M., Al-Subaihin, A., Jia, Y., Martin, W., Sarro, F., Zhang, Y. (2016). Mobile app and app store analysis, testing and optimisation.
Henard, C., Papadakis, M., Harman, M., Jia, Y., Traon, Y.L. (2016). Comparing white-box and black-box test prioritization.
Hindle, A., Barr, E.T., Gabel, M., Su, Z., Devanbu, P. (2016). On the naturalness of software. Communications of the ACM, 59 (5), 122-131. doi:10.1145/2902362
Jahangirova, G., Clark, D., Harman, M., Tonella, P. (2016). Test oracle assessment and improvement.
Langdon, W. (2016). The Genetic Improvement Fitness Landscape. .
Langdon, W.B., Dolado, J., Sarro, F., Harman, M. (2016). Exact Mean Absolute Error of Baseline Predictor, MARP(0). INFORMATION AND SOFTWARE TECHNOLOGY, 73 16-18. doi:10.1016/j.infsof.2016.01.003
Langdon, W.B., Lam, B.Y.H., Modat, M., Petke, J., Harman, M. (2016). Genetic improvement of GPU software. Genetic Programming and Evolvable Machines, 1-40. doi:10.1007/s10710-016-9273-9
Langdon, W.B., Petke, J. (2016). Genetic Improvement.
Langdon, W.B., Petke, J., Bruce, B.R. (2016). Optimising Quantisation Noise in Energy Measurement. Computer Science, University College, London .
Langdon, W., Harman, M. (2016). Fitness Landscape of the Triangle Program. .
mao, K., Capra, L., harman, M., jia, Y. (2016). A Survey of the Use of Crowdsourcing in Software Engineering. Journal of Systems and Software,
Mao, K., Harman, M., Jia, Y. (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
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
Ó 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.
Quattrone, G., Dittus, M., Capra, L. (2016). Exploring maintenance practices in crowd-mapping.
Ragkhitwetsagul, C. (2016). Measuring Code Similarity in Large-scaled Code Corpora.
Ragkhitwetsagul, C., Krinke, J., Clark, D. (2016). Similarity of Source Code in the Presence of Pervasive Modifications.
Ragkhitwetsagul, C., Krinke, J., Paixao, M., Adham, M., Busari, S., Drake, J.H. (2016). Searching for Configurations in Clone Evalution: A Replication Study.
Rodríguez-Fernández, V., Menéndez, H.D., Camacho, D. (2016). Automatic profile generation for UAV operators using a simulation-based training environment. Progress in Artificial Intelligence, 5 (1), 37-46. doi:10.1007/s13748-015-0072-y
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. Singapore: Imperial College Press and World Scientific.
Traunmueller, M., Marshall, P., Capra, L. (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?.
v.e.n.e.r.a.n.d.i., q.u.a.t.t.r.o.n.e., Capra, L. (2016). Guns of Brixton: which London neighborhoods attract criminal groups?.
Yang, Y., Harman, M., Krinke, J., Islam, S., Binkley, D., Zhou, Y., Xu, B. (2016). An Empirical Study on Dependence Clusters for Effort-Aware Fault-Proneness Prediction.

2015

(2015). GECCO Companion ’15: Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference.
(2015). Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015.
Abdallah, S., Alencar-Brayner, A., Benetos, E., Cottrell, S., Dykes, J., Kachkaev, A., ...Tovell, A. (2015). Automatic Transcription and Pitch Analysis of the British Library World and Traditional Music Collections.
Allamanis, M., Barr, E.T., Bird, C., Sutton, C.A. (2015). Suggesting accurate method and class names..
Al-Subaihin, A., Finkelstein, A., Harman, M., Jia, Y., Martin, W., Sarro, F., Zhang, Y. (2015). App store mining and analysis (keynote).
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., 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
Boreale, M., Clark, D., Gorla, D. (2015). A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis.
Bruce, B.R., Petke, J., Harman, M. (2015). Reducing Energy Consumption Using Genetic Improvement.
Bruce, R.R., Petke, J., Harman, M. (2015). Reducing Energy Consumption Using Genetic Improvement.
Clark, D., Feldt, R., Poulding, S., Yoo, S. (2015). Information Transformation: An Underpinning Theory for Software Engineering.
Corazza, A., Di Martino, S., Ferrucci, F., Gravino, C., Sarro, F. (2015). From Function Points to COSMIC - A Transfer Learning Approach for Effort Estimation.
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 Nitto, E., Harman, M., Heymans, P. (2015). Foreword. 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings, iii-v.
Dolado, J.J., Rodriguez, D., Harman, M., Langdon, W.B., Sarro, F. (2015). Evaluation of estimation models using the Minimum Interval of Equivalence. Applied Soft Computing Journal, doi:10.1016/j.asoc.2016.03.026
Epitropakis, M.G., Yoo, S., Harman, M., Burke, E.K. (2015). Empirical evaluation of Pareto efficient multi-objective regression test case prioritisation.
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.
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). Special issue on search based software engineering in Journal of Systems and Software. Journal of Systems and Software, doi:10.1016/j.jss.2015.01.051
Harman, M., Chicano, F. (2015). Search Based Software Engineering (SBSE). Journal of Systems and Software, 103 266-. doi:10.1016/j.jss.2015.01.051
Harman, M., Jia, Y., Zhang, Y. (2015). Achievements, open problems and challenges for search based software testing.
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.
Houben, S., Golsteijn, C., Gallacher, S., Johnson, R., Bakker, S., Marquardt, N., ...Rogers, Y. (2015). Physikit: Data Engagement Through Physical Ambient Visualizations in the Home.
Jia, Y. (2015). Hyperheuristic Search for SBST.
Jia, Y., Cohen, M.B., Harman, M., Petke, J. (2015). Learning Combinatorial Interaction Test Generation Strategies using Hyperheuristic Search.
Jia, Y., Harman, M., Langdon, W.B., Marginean, A. (2015). Grow and serve: Growing Django citation services using SBSE.
Jia, Y., Harman, M., Merayo, M. (2015). Introduction to the special issue on Mutation Testing. SOFTWARE TESTING VERIFICATION & RELIABILITY, 25 (5-7), 461-463. doi:10.1002/stvr.1582
Jia, Y., Wu, F., Harman, M., Krinke, J. (2015). Genetic Improvement using higher order mutation.
Krinke, J., Robillard, M. (2015). Message from the program co-chairs.
Langdon, W.B. (2015). Performance of genetic programming optimised Bowtie2 on genome comparison and analytic testing (GCAT) benchmarks. BIODATA MINING, 8 doi:10.1186/s13040-014-0034-0
Langdon, W.B. (2015). Genetic improvement of software for multiple objectives.
Langdon, W.B. (2015). Genetic Improvement of Programs. Presented at: .
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, 19 (1), 118-135. doi:10.1109/TEVC.2013.2281544
Langdon, W.B., Harman, M. (2015). Optimizing existing software with genetic programming. IEEE Transactions on Evolutionary Computation, 19 (1), 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. (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.
Li, L., Harman, M., Wu, F., Zhang, Y. (2015). SBSelector: Search based component selection for budget hardware.
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.
Martin, W., Harman, M., Jia, Y., Sarro, F., Zhang, Y. (2015). The App Sampling Problem for App Store Mining.
Menendez, H.D. (2015). A tutorial on manifold clustering using genetic algorithms.
Menéndez, H.D., Camacho, D. (2015). MOGCLA: A Multi-Objective Genetic Clustering Algorithm for Large Data Analysis..
Menéndez, H.D., Camacho, D. (2015). Gany: a genetic spectral-based clustering algorithm for large data analysis.
Menendez, H., Otero, F.E.B., Camacho, D. (2015). Extending the SACOC algorithm through the Nystrom method for Dense Manifold Data Analysis. International Journal of Bio-Inspired Computation,
Minku, L., Sarro, F., Mendes, E., Ferrucci, F. (2015). How to Make Best Use of Cross-Company Data for Web Effort Estimation?.
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., Tajadura-Jimenez, A., Williams, A.C. (2015). Musically Informed Sonification for Chronic Pain Rehabilition: Facilitating Progress & Avoiding Over-doing.
Newbold, J.W., Bianchi-Berthouze, N., Gold, N.E., Williams, A. (2015). Musically Informed Sonification for Self-Directed Chronic Pain Physical Rehabilitation.
Okazaki, S., Díaz-Martín, A.M., Rozano, M., Menéndez-Benito, H.D. (2015). Using Twitter to engage with customers: a data mining approach. Internet Research, 25 416-434.
Olajubu, O. (2015). A textual domain specific language for requirement modelling..
Paixao, M., Harman, M., Zhang, Y. (2015). Multi-objective module clustering for Kate.
Paixao, M., Harman, M., Zhang, Y. (2015). Improving the Module Clustering of a C/C++ Editor using a Multi-objective Genetic Algorithm. Department of Computer Science, UCL .
Papadakis, M., Jia, Y., Harman, M., Le Traon, Y. (2015). Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique.
Patrick, M., Jia, Y. (2015). Kernel Density Adaptive Random Testing.
Patrick, M., Jia, Y. (2015). Exploring the landscape of non-functional program properties using spatial analysis.
Patrick, M., Jia, Y. (2015). KD-ART: Should we intensify or diversify tests to kill mutants?. Information and Software Technology, doi:10.1016/j.infsof.2016.04.009
Petke, J. (2015). Testing Django Configurations Using Combinatorial Interaction Testing..
Petke, J. (2015). Bridging Constraint Satisfaction and Boolean Satisfiability. Springer.
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
Pichardo-Almarza, C.D., Metcalf, L., Finkelstein, A., Diaz-Zuccarini, V. (2015). Using a Systems Pharmacology Approach to Study the Effect of Statins on the EarlyStage of Atherosclerosis in Humans. CPT: Pharmacometrics and Systems Pharmacology, 4 (1), 41-50. doi:10.1002/psp4.7
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.
Saeidi, M., Riedel, S., Capra, L. (2015). Lower dimensional representations of city neighbourhoods.
Sarro, F., Al-Subaihin, A.A., Harman, M., Jia, Y., Martin, W., Zhang, Y. (2015). Feature Lifecycles as They Spread, Migrate, Remain, and Die in App Stores.
Smith, E.K., Barr, E.T., Goues, C.L., 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.
Wu, F., Nanavati, J., Harman, M., Jia, Y., Krinke, J. (2015). Memory mutation testing. Information and Software Technology, doi:10.1016/j.infsof.2016.03.002
Wu, F., Weimer, W., Harman, M., Jia, Y., Krinke, J. (2015). Deep Parameter Optimisation.
Zhang, Y., Harman, M., Jia, Y., Sarro, F. (2015). Inferring test models from Kate’s bug reports using multi-objective search.
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., 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., Finkelstein, A., Barnes, C. (2014). An Aspect Oriented Design and Modelling Framework for Synthetic Biology..
Boreale, M., Clark, D., Gorla, D. (2014). A semiring-based trace semantics for processes with applications to information leakage analysis. Mathematical Structures in Computer Science, 29 (5), doi:10.1017/S0960129513000601
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. doi:10.1162/COMJ_a_00239
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). Exploiting prior-phase effort data to estimate the effort for the subsequent phases: A further assessment. ACM International Conference Proceeding Series, 42-51. doi:10.1145/2639490.2639509
Finkelstein, A., Harman, M., Jia, Y., Martin, W., Sarro, F., Zhang, Y. (2014). App Store Analysis: Mining App Stores for Relationships between Customer, Business and Technical Characteristics. Department of Computer Science, UCL .
Gold, N.E., Rossi Rognoni, G. (2014). The MiCLUES system: Dynamic, rich contextual support for museum visits.
Gu, Z., Schleck, D., Barr, E.T., Su, Z. (2014). Capturing and Exploiting IDE Interactions.
Han, J., Gold, N.E. (2014). Lessons Learned in Exploring the Leap Motion™ Sensor for Gesture-based Instrument Design.
Harman, M., Islam, S., Jia, Y., Minku, L.L., Sarro, F., Srivisut, K. (2014). Less is more: Temporal fault predictive performance over multiple hadoop releases.
Harman, M., Islam, S., Jia, Y., Minku, L.L., Sarro, F., Srivisut, K. (2014). Less is More: Temporal Fault Predictive Performance over Multiple Hadoop Releases.
Harman, M., Islam, S., Jia, Y., Minku, L.L., Sarro, F., Srivisut, K. (2014). Less is more: Temporal fault predictive performance over multiple hadoop releases.
Harman, M., Jia, Y., Krinke, J., Langdon, W.B., Petke, J., Zhang, Y. (2014). Search Based Software Engineering for software product line engineering: A survey and directions for future work.
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, 7 (1), doi:10.1186/1756-0381-7-3
Langdon, W.B. (2014). Genetically Improved Software.
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.
Letier, E., Stefan, D., Barr, E.T. (2014). Uncertainty, risk, and information value in software requirements and architecture..
Li, L., Harman, M., Letier, E., Zhang, Y. (2014). Robust Next Release Problem: Handling Uncertainty During Optimization. GECCO'14: PROCEEDINGS OF THE 2014 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 1247-1254. doi:10.1145/2576768.2598334
Li, L., Harman, M., Letier, E., Zhang, Y. (2014). Robust next release problem: Handling uncertainty during optimization. GECCO'14: PROCEEDINGS OF THE 2014 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 1247-1254. doi:10.1145/2576768.2598334
McMinn, P., Harman, M. (2014). Message from the chairs.
MENÉNDEZ, H.D., BARRERO, D.A.V.I.D.F., CAMACHO, D.A.V.I.D. (2014). A GENETIC GRAPH-BASED APPROACH FOR PARTITIONAL CLUSTERING. International Journal of Neural Systems, 24 (03), 1430008. doi:10.1142/S0129065714300083
Menéndez, H.D., Barrero, D.F., Camacho, D. (2014). A co-evolutionary multi-objective approach for a k-adaptive graph-based clustering algorithm.
Menendez, H.D., Camacho, D. (2014). A multi-objective graph-based genetic algorithm for image segmentation.
Menéndez, H.D., Delgado-Calle, C., Camacho, D. (2014). TweetSemMiner: A Meta-Topic Identification Model for Twitter Using Semantic Analysis. In Intelligent Data Engineering and Automated Learning–IDEAL 2014. (pp. 69-76). Springer International Publishing.
Menéndez, H.D., Otero, F.E.B., Camacho, D. (2014). SACOC: A spectral-based ACO clustering algorithm. In Intelligent Distributed Computing VIII. (pp. 185-194). Springer International Publishing.
Menéndez, H.D., Otero, F.E.B., Camacho, D. (2014). MACOC: a medoid-based ACO clustering algorithm. In Swarm Intelligence. (pp. 122-133). Springer International Publishing.
Menéndez, H.D., Plaza, L., Camacho, D. (2014). Combining graph connectivity and genetic clustering to improve biomedical summarization.
Menéndez, H.D., Vázquez, M., Camacho, D. (2014). Mixed Clustering Methods to Forecast Baseball Trends. In Intelligent Distributed Computing VIII. (pp. 175-184). Springer International Publishing.
Menéndez, H.D., Vindel, R., Camacho, D. (2014). Combining time series and clustering to extract gamer profile evolution. In Computational Collective Intelligence. Technologies and Applications. (pp. 262-271). Springer International Publishing.
Neumann, G., Harman, M., Swan, J., Clark, J.A. (2014). The executable experimental template pattern for the systematic comparison of metaheuristics. GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference, 1427-1430. doi:10.1145/2598394.2609850
Okazaki, S., Díaz-Martín, A.M., Rozano, M., Menéndez-Benito, H.D. (2014). How to mine brand Tweets: Procedural guidelines and pretest. International Journal of Market Research, 56 467-488.
Petke, J., Harman, M., Langdon, W.B., Weimer, W. (2014). Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class.
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 2014 - 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.
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 2014 - Proceedings, 407-410. doi:10.1109/CSMR-WCRE.2014.6747206
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, 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., Vo, T., le, V., Su, Z. (2013). Automatic Detection of Floating-Point Exceptions.
Bello, G., Menéndez, H., Okazaki, S., Camacho, D. (2013). Extracting collective trends from Twitter using social-based data mining.
Binkley, D., Gold, N., Harman, M., Islam, S., Krinke, J., Li, Z. (2013). Efficient Identification of Linchpin Vertices in Dependence Clusters. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 35 (2), doi:10.1145/2491522.2491524
Bozkurt, M., Harman, M., Hassoun, Y. (2013). Testing and verification in service-oriented architecture: A survey. SOFTWARE TESTING VERIFICATION & RELIABILITY, 23 (4), 261-313. doi:10.1002/stvr.1470
Bozkurt, M., Harman, M., Hassoun, Y. (2013). Testing and verification in service-oriented architecture: A survey. Software Testing Verification and Reliability, 23 (4), 261-313. doi:10.1002/stvr.1470
Bozkurt, M., Zhang, Y. (2013). Customer-centric Optimal Software Release Problem in Cloud. Department of Computer Science, UCL .
Brockhoff, D., Knowles, J.D., Langdon, W.B. (2013). Breakout Session on Evolutionary Multiobjective Optimization.
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
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..
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 .
Gold, N.E., Sandu, O.E., Palliyaguru, P.N., Dannenberg, R.B., Jin, Z., Robertson, A., ...Kleinberger, R. (2013). Human-Computer Music Performance: From Synchronized Accompaniment to Musical Partner.
Harman, M. (2013). Foreword to the invited impact paper on automatic software repair. SOFTWARE QUALITY JOURNAL, 21 (3), 419. doi:10.1007/s11219-013-9212-4
Harman, M. (2013). Foreword to the invited impact paper on automatic software repair. Software Quality Journal, 21 (3), 419-. doi:10.1007/s11219-013-9212-4
Harman, M. (2013). Software engineering: An ideal set of challenges for evolutionary computation. GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion, 1759-1760. doi:10.1145/2464576.2480770
Harman, M., Clark, J., Cinnéidez, M.O. (2013). Dynamic adaptive search based software engineering needs fast approximate metrics (keynote). 2013 4TH INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE METRICS (WETSOM), 1-6.
Harman, M., Korel, B. (2013). Editorial for special issue of STVR on software testing, verification, and validation - Volume 1 (extended selected papers from ICST 2011). SOFTWARE TESTING VERIFICATION & RELIABILITY, 23 (6), 437. doi:10.1002/stvr.1507
Harman, M., Korel, B. (2013). Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011). SOFTWARE TESTING VERIFICATION & RELIABILITY, 23 (7), 529. doi:10.1002/stvr.1506
Harman, M., Lakhotia, K., Yoo, S., Singer, J., White, D.R. (2013). Cloud engineering is Search Based Software Engineering too. JOURNAL OF SYSTEMS AND SOFTWARE, 86 (9), 2225-2241. doi:10.1016/j.jss.2012.10.027
Harman, M., Langdon, W.B., Weimer, W. (2013). Genetic Programming for Reverse Engineering.
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,
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). Correlation of microarray probes give evidence for mycoplasma contamination in human studies. GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion, 1447-1454. doi:10.1145/2464576.2482725
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 .
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.
Menéndez, H., Bello-Orgaz, G., Camacho, D. (2013). Extracting behavioural models from 2010 FIFA world cup. Journal of Systems Science and Complexity, 26 (1), 43-61. doi:10.1007/s11424-013-2289-9
Menéndez, H.D., Barrero, D.F., Camacho, D. (2013). A Multi-Objective Genetic Graph-Based Clustering algorithm with memory optimization..
Menéndez, H.D., Llorente, J.L. (2013). The Combination of Graph Theory and Unsupervised Learning Applied to Social Data Mining. In Graph Theory: New Research. (pp. 155-184). NOVA Publishers.
Menéndez, H.D., Plaza, L., Camacho, D. (2013). A genetic graph-based clustering approach to biomedical summarization.
Meyer, B., Gall, H., Harman, M., Succi, G. (2013). Empirical answers to fundamental software engineering problems (Panel). 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings, 14-18. doi:10.1145/2491411.2505430
Panayi, E., Harman, M., Wetherilt, A. (2013). Agent-based modelling of stock markets using existing order book data. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7838 LNAI 101-114. doi:10.1007/978-3-642-38859-0_8
Petke, J., Langdon, W.B., Harman, M. (2013). Applying Genetic Improvement to MiniSAT..
Petke, J., Yoo, S., Cohen, M.B., Harman, M. (2013). Efficiency and early fault detection with lower and higher strength combinatorial interaction testing.
Razgon, I., Petke, J. (2013). Cliquewidth and Knowledge Compilation..
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. (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 2013 - Proceedings, 75-81. doi:10.1109/IWAST.2013.6595795
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 (1), 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
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.
(2012). Marine Requirements Elucidation and the Nature of Preliminary Ship Design. INTERNATIONAL JOURNAL OF MARITIME ENGINEERING, 154 A221-A233.
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., Menéndez, H.D., Camacho, D. (2012). Adaptive K-means algorithm for overlapped graph clustering. International Journal of Neural Systems, 22 (5), doi:10.1142/S0129065712500189
Bozkurt, M., Harman, M. (2012). Optimised realistic test input generation using web services. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7515 LNCS 105-120. doi:10.1007/978-3-642-33119-0_9
Capra, L., Quercia, D. (2012). Middleware for Social Computing: A Roadmap. Journal of Internet Services and Applications, 3 (1), 117-125. doi:10.1007/s13174-011-0045-8
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
Chapman, C., Emmerich, W., Marquez, F.G., Clayman, S., Galis, A. (2012). Software Architecture Definition for On-demand Cloud Provisioning. CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 15 (2), 79-100. doi:10.1007/s10586-011-0152-0
Cheney, J., Finkelstein, A., Ludäscher, B., Vansummeren, S. (2012). Principles of Provenance (Dagstuhl Seminar 12091).. Dagstuhl Reports, 2 84-113. doi:10.4230/DagRep.2.2.84
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. 2012 3rd International Workshop on Emerging Trends in Software Metrics, WETSoM 2012 - Proceedings, 21-27. doi:10.1109/WETSoM.2012.6226988
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 Chio, C., Agapitos, A., Cagnoni, S., Cotta, C., De Vega, F.F., Di Caro, G., ...Farooq, M. (2012). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7248 LNCS
Ferrucci, F., Sarro, F., Mendes, E. (2012). Web effort estimation: The value of cross-company data set compared to single-company data set. ACM International Conference Proceeding Series, 29-38. doi:10.1145/2365324.2365330
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, 13 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.
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., Jia, Y., Zhang, Y. (2012). App store mining and analysis: MSR for app stores..
Harman, M., Jia, Y., Zhang, Y. (2012). App store mining and analysis: MSR for app stores.
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.
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). Creating and Debugging Performance CUDA C. In (pp. 7-50). .
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. ACM SIGEVOlution, 6 (1), 16-22. 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, 38 (3), 707-735. doi:10.1109/TSE.2011.36
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., Ben Mokhtar, S., Capra, L. (2012). Fair Content Dissemination in Participatory DTNs. AD HOC NETWORKS, 10 (8), 1633-1645. doi:10.1016/j.adhoc.2011.05.010
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
McMinn, P., Harman, M., Lakhotia, K., Hassoun, Y., Wegener, J. (2012). Input domain reduction through irrelevant variable removal and its effect on local, global, and hybrid search-based structural test data generation. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 38 (2), 453-477. doi:10.1109/TSE.2011.18
Menéndez, H., Bello-Orgaz, G., Camacho, D. (2012). Features selection from high-dimensional web data using clustering analysis.
Menéndez, H.D., Camacho, D. (2012). A Genetic Graph-Based Clustering Algorithm..
Mondal, M., Roy, C.K., Rahman, M.S., Saha, R.K., Krinke, J., Schneider, K.A. (2012). Comparative stability of cloned and non-cloned code: an empirical study..
Nguyen, C.D., Miles, S., Perini, A., Tonella, P., Harman, M., Luck, M. (2012). Evolutionary testing of autonomous software agents. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 25 (2), 260-283. doi:10.1007/s10458-011-9175-4
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
Yoo, S., Harman, M. (2012). Regression testing minimization, selection and prioritization: a survey.. Software Testing Verification and Reliability, 22 (2), 67-120. doi:10.1002/stv.430
Yoo, S., Harman, M. (2012). Test Data Regeneration: Generating New Test Data from Existing Test Data. Software Testing Verification and Reliability, 22 (3), 171-201. doi:10.1002/stvr.435

2011

(2011). CIGPU 2011 Computational Intelligence on Consumer Games and Graphics Hardware.
Alshahwan, N., Harman, M. (2011). Automated web application testing using search based software engineering.
Androutsopoulos, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K., Li, Z. (2011). Model projection: Simplifying models in response to restricting the environment.
Baars, A., Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., Tonella, P., Vos, T. (2011). Symbolic Search-Based Testing.
Baars, A., Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., Tonella, P., Vos, T. (2011). Symbolic search-based testing. 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings, 53-62. doi:10.1109/ASE.2011.6100119
Bahsoon, R., Emmerich, W. (2011). Economics-driven Architecting for Non-functional Requirements in the Presence of Middleware. In Relating Software Requirements and Architectures. Springer.
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,
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
Clark, D., Giacobazzi, R., Mu, C. (2011). Foreword: programming language interference and dependence.. Mathematical Structures in Computer Science, 21 (06), 1109-1110. doi:10.1017/S0960129511000168
Clark, D.J., Mu, C. (2011). A Tool: Quantitative Analyser for Programs.
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
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?.
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.
GOLD, N., RINK, J., SPIRO, N. (2011). Motive, gesture, and the analysis of performance. In Gritten, A., King, E. (Eds.), New Perspectives on Music and Gesture. .
Gu, Z., Barr, E.T., Su, Z. (2011). BQL: capturing and reusing debugging knowledge..
Harman, M. (2011). The SBSE Approach to Automated Optimization of Verification and Testing..
Harman, M. (2011). Software Engineering Meets Evolutionary Computation. COMPUTER, 44 (10), 31-39.
Harman, M. (2011). Making the case for MORTO: Multi objective regression test optimization. Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, 111-114. doi:10.1109/ICSTW.2011.60
Harman, M. (2011). Refactoring as testability transformation. Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, 414-421. doi:10.1109/ICSTW.2011.38
Harman, M., Jia, Y., Langdon, W.B. (2011). Strong Higher Order Mutation-Based Test Data Generation.
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
Jiménez-Díaz, G., Menéndez, H.D., Camacho, D., González-Calero, P.A. (2011). Predicting Performance in Team Games - The Automatic Coach..
Jiménez-D iaz, G., Menéndez, H.D., Camacho, D., González-Calero, P.A. (2011). Predicting performance in team games.
Krinke, J. (2011). Is cloned code older than non-cloned code?.
Küssner, M., Gold, N.E., Tidhar, D., Prior, H.M., Leech-Wilkinson, D. (2011). Synaesthetic Traces: Digital Acquisition of Musical Shapes.
Langdon, W.B. (2011). Elementary bit string mutation landscapes. FOGA 11: PROCEEDINGS OF THE 2011 ACM/SIGEVO FOUNDATIONS OF GENETIC ALGORITHMS XI, 25-41.
Langdon, W.B. (2011). Graphics Processing Units and Genetic Programming: An overview. SOFT COMPUTING, 15 (8), 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). Generalisation in Genetic Programming.
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). Formal Concept Analysis on Graphics Hardware.
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., Hailes, S., Capra, L. (2011). Temporal Defences for Robust Recommendations.
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.
Lim, S.L., Finkelstein, A. (2011). Anticipating Change in Requirements Engineering.. In Avgeriou, P., Grundy, J., Hall, J.G., Lago, P., Mistrík, I. (Eds.), Relating Software Requirements and Architectures. (pp. 17-34). Springer.
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., 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.
Orgaz, G.B., Menéndez, H.D., Camacho, D. (2011). Using the Clustering Coefficient to Guide a Genetic-Based Communities Finding Algorithm..
Petke, J., Jeavons, P. (2011). The Order Encoding: From Tractable CSP to Tractable SAT..
Praditwong, K., Harman, M., Yao, X. (2011). Software module clustering as a multi-objective search problem. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 37 (2), 264-282. doi:10.1109/TSE.2010.26
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-141.
Sarro, F. (2011). Search-Based approaches for software development effort estimation. ACM International Conference Proceeding Series, 38-43. doi:10.1145/2181101.2181111
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..
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

Amtoft, T., Androutsopoulos, K., Clark, D., Harman, M., Li, Z. (2010). An Alternative Characterization of Weak Order Dependence. INFORMATION PROCESSING LETTERS, 110 (21), 939-943. doi:10.1016/j.ipl.2010.07.023
Bahsoon, R., Capra, L., Emmerich, W., Fayad, M.E. (2010). Special Issue on Software Architecture and Mobility.. Journal of Systems and Software, 83 (6), 883-884. doi:10.1016/j.jss.2010.02.035
Bahsoon, R., Capra, L., Emmerich, W., Fayad, M. (Eds.), (2010). Software Architecture and Mobility. Journal of Systems and Software, 83 (6),
Barraclough, R.W., Binkley, D., Danicic, S., Harman, M., Hierons, R.M., Kiss, A., ...Ouarbya, L. (2010). A trajectory-based strict semantics for program slicing. THEORETICAL COMPUTER SCIENCE, 411 (11-13), 1372-1386. doi:10.1016/j.tcs.2009.10.025
Barr, E.T., Bird, C., Hyatt, E., Menzies, T., Robles, G. (2010). On the shoulders of giants..
Beltrán, A.G., Tagger, B., Finkelstein, A. (2010). Ontology-based Queries over Cancer Data..
Bencomo, N., Whittle, J., Sawyer, P., Finkelstein, A., Letier, E. (2010). Requirements reflection: requirements as runtime entities..
Bencomo, N., Whittle, J., Sawyer, P., Finkelstein, A., Letier, E. (2010). Requirements reflection: requirements as runtime entities..
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. JOURNAL OF SYSTEMS AND SOFTWARE, 83 (1), 96-107. doi:10.1016/j.jss.2009.03.038
Chapman, C., Emmerich, W., Marquez, F.G., Clayman, S., Galis, A. (2010). Software Architecture Definition for On-demand Cloud Provisioning.
Corazza, A., Martino, S.D., Ferrucci, F., Gravino, C., Sarro, F., Mendes, E. (2010). How effective is Tabu search to configure support vector regression for effort estimation?.
D'Ambrosio, P., Ferrucci, F., Sarro, F., Tucci, M. (2010). An Approach for the Development of DOOH-oriented Information Systems..
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.
Derderian, K., Hierons, R.M., Harman, M., Guo, Q. (2010). Estimating the feasibility of transition paths in extended finite state machines. AUTOMATED SOFTWARE ENGINEERING, 17 (1), 33-56. doi:10.1007/s10515-009-0057-9
Dubinsky, Y., Kruchten, P., Finkelstein, A., Bass, L., Chulani, S., Prikladnicki, R. (2010). Software Development Governance (SDG) Workshop..
Duboc, L., Rosenblum, D.S., Letier, E. (2010). Requirements Death, Taxes, & Scalability. IEEE SOFTWARE, 27 (4), 20-21. doi:10.1109/MS.2010.97
Duboc, L., Rosenblum, D.S., Letier, E. (2010). requirements Death, Taxes, & Scalability. IEEE SOFTWARE, 27 (4), 20-21. doi:10.1109/MS.2010.97
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F. (2010). Estimating Software Development Effort using Tabu Search..
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F. (2010). Genetic programming for effort estimation: An analysis of the impact of different fitness functions. Proceedings - 2nd International Symposium on Search Based Software Engineering, SSBSE 2010, 89-98. doi:10.1109/SSBSE.2010.20
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F., Mendes, E. (2010). Investigating Tabu Search for Web Effort Estimation..
Ghosheh, E., Black, S., Kapetanios, E., Baldwin, M. (2010). Exploring the Relationship between UML Design Metrics for Web Applications and Maintainability.. The Journal of Object Technology, 9 (3), 125. doi:10.5381/jot.2010.9.3.a5
Gold, N. (2010). Motivating Students in Software Engineering Group Projects: An Experience Report. Innovation in Teaching And Learning in Information and Computer Sciences (ITALICS), 9 10-19.
Gold, N.E., Rink, J., Spiro, N. (2010). The form of performance: Analyzing pattern distribution in select recordings of Chopin's Mazurka op. 24 no. 2. Musicae Scientiae, 14 (2), 23-55. doi:10.1177/102986491001400202
Gold, N., Krinke, J., Harman, M., Binkley, D. (2010). Issues in clone classification for dataflow languages.
Guy, G., Dunn, S., Gold, N. (2010). Capturing Visitor Experiences for Study and Preservation.
Gu, Z., Barr, E.T., Hamilton, D.J., Su, Z. (2010). Has the bug really been fixed?.
Harman, M. (2010). Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization.
Harman, M. (2010). Automated Patching Techniques: The Fix Is In. COMMUNICATIONS OF THE ACM, 53 (5), 108. doi:10.1145/1735223.1735248
Harman, M. (2010). The relationship between search based software engineering and predictive modeling..
Harman, M. (2010). Why Source Code Analysis and Manipulation will always be important. Proceedings - 10th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2010, 7-19. doi:10.1109/SCAM.2010.28
Harman, M., Jia, Y., Langdon, W.B. (2010). A manifesto for higher order mutation testing.
Harman, M., Kim, S.G., Lakhotia, K., McMinn, P., Yoo, S. (2010). Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem.
Harman, M., Mansouri, A. (2010). Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 36 (6), 737-741. doi:10.1109/TSE.2010.106
Harman, M., McMinn, P. (2010). A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 36 (2), 226-247. doi:10.1109/TSE.2009.71
Harman, M., Muccini, H., Schulte, W., Xie, T. (2010). 10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors..
Harman, M., Muccini, H., Schulte, W., Xie, T. (2010). 10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors..
Islam, S.S., Krinke, J., Binkley, D. (2010). Dependence cluster visualization.
Islam, S.S., Krinke, J., Binkley, D., Harman, M. (2010). Coherent dependence clusters.
Jennings, B., Finkelstein, A. (2010). Micro Workflow Gestural Analysis: representation in social business processes. BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2009, 43 278-290.
Khalid Alzarouni, D.C., Tratt, L. (2010). Semantic Malware Detection. .
Krinke, J., Gold, N., Jia, Y., Binkley, D. (2010). Distinguishing copies from originals in software clones.
Krinke, J., Gold, N., Jia, Y., Binkley, D. (2010). Cloning and copying between GNOME projects.
Lakhotia, K., Harman, M., Gross, H. (2010). AUSTIN: A Tool for Search Based Software Testing for the C Language and Its Evaluation on Deployed Automotive Systems. Proceedings - 2nd International Symposium on Search Based Software Engineering, SSBSE 2010, 101-110. doi:10.1109/SSBSE.2010.21
Lakhotia, K., McMinn, P., Harman, M. (2010). An empirical investigation into branch coverage for C programs using CUTE and AUSTIN..
Lakhotia, K., Tillmann, N., Harman, M., Halleux, J.D. (2010). FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution..
Langdon, W.B. (2010). 2-bit Flip Mutation Elementary Fitness Landscapes. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (2010). GPU Working Party: Slides presented at Dagstuhl.
Langdon, W.B., Graillet, O.S., Harrison, A.P. (2010). Automated DNA Motif Discovery.
Langdon, W.B., Graillet, O.S., Harrison, A.P. (2010). RNAnet a Map of Human Gene Expression.
Langdon, W.B., Gustafson, S.M. (2010). Genetic Programming and Evolvable Machines: ten years of reviews. Genetic Programming and Evolvable Machines, 11 (3-4), 321-338. doi:10.1007/s10710-010-9111-4
Langdon, W.B., Harman, M. (2010). Evolving a CUDA Kernel from an nVidia Template.
Langdon, W.B., Harman, M. (2010). Evolving gzip matches Kernel from an nVidia CUDA Template. London, WC2R 2LS, UK .
Langdon, W.B., Harman, M., Jia, Y. (2010). Efficient multi-objective higher order mutation testing with genetic programming. JOURNAL OF SYSTEMS AND SOFTWARE, 83 (12), 2416-2430. doi:10.1016/j.jss.2010.07.027
Langdon, W.B., McKay, R.I., Spector, L. (2010). Genetic Programming. In Gendreau, M., Potvin, J.-.Y. (Eds.), Handbook of Metaheuristics. (pp. 185-225). Springer.
Langdon, W.B., Upton, G.J.G., Camargo, R.D.S., Harrison, A.P. (2010). A Survey of Spatial Defects in Homo Sapiens Affymetrix GeneChips. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 7 (4), 647-653. doi:10.1109/TCBB.2008.108
Lathia, N., Froehlich, J., Capra, L. (2010). Mining Public Transport Usage For Personalised Intelligent Transport Systems.
Lathia, N., Hailes, S., Capra, L., Amatriain, X. (2010). Temporal Diversity in Recommender Systems.
Lathia, N., Hailes, S., Capra, L., Amatriain, X. (2010). Temporal Diversity in Recommender Systems.
Lim, S.L., Quercia, D., Finkelstein, A. (2010). StakeNet: using social networks to analyse the stakeholders of large-scale software projects..
Lim, S.L., Quercia, D., Finkelstein, A. (2010). StakeSource: harnessing the power of crowdsourcing and social networks in stakeholder analysis..
Lo Giusto, G., Mashhadi, A., Capra, L. (2010). Folksonomy-based Reasoning for Content Dissemination in Mobile Settings.
Marchetto, A., Tiella, R., Tonella, P., Alshahwan, N., Harman, M. (2010). Crawlability metrics for automated web testing. International Journal on Software Tools for Technology Transfer, 1-19.
McMinn, P., Stevenson, M., Harman, M. (2010). Reducing qualitative human oracle costs associated with automatically generated test data. 1st International Workshop on Software Test Output Validation, STOV 2010, in Conjunction with the 2010 International Conference on Software Testing and Analysis, ISSTA 2010, 1-4. doi:10.1145/1868048.1868049
Papakos, P., Capra, L., Rosenblum, D. (2010). VOLARE: Context-Aware Adaptive Cloud Service Discovery for Mobile Systems.
Petke, J., Jeavons, P. (2010). Local Consistency and SAT-Solvers..
Poli, R., Vanneschi, L., Langdon, W.B., McPhee, N.F. (2010). Theoretical Results in Genetic Programming: The next ten years?. Genetic Programming and Evolvable Machines, 11 (3-4), 285-320. doi:10.1007/s10710-010-9110-5
Quercia, D., Ellis, J., Capra, L. (2010). Using Mobile Phones to Nurture Social Networks. IEEE PERVASIVE COMPUTING, 9 (3), 12-20. doi:10.1109/MPRV.2010.43
Rowsell, J., Camargo, R.D.S., Langdon, W.B., Stalteri, M.A., Harrison, A.P. (2010). Uncovering the Expression Patterns of Chimeric Transcripts Using Surveys of Affymetrix GeneChips. Journal of integrative bioinformatics, 7 (3), 512-513.
Sabetzadeh, M., Finkelstein, A., Goedicke, M. (2010). Viewpoints.. In Laplante, P.A. (Ed.), Encyclopedia of Software Engineering. (pp. 1318-1329). Taylor & Francis.
Sama, M., Rosenblum, D.S., Wang, Z., Elbaum, S. (2010). Multi-Layer Faults in the Architectures of Mobile, Context-Aware Adaptive Applications. JOURNAL OF SYSTEMS AND SOFTWARE, 83 (6), 906-914. doi:10.1016/j.jss.2009.11.005
Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A. (2010). Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems..
Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A. (2010). Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems..
Skene, J., Raimondi, F., Emmerich, W. (2010). Service-Level Agreements for Electronic Services. IEEE Transactions on Software Engineering, 36 (2), 288-304. doi:10.1109/TSE.2009.55
Tang, E., Barr, E.T., Li, X., Su, Z. (2010). Perturbing numerical calculations for statistical analysis of floating-point program (in)stability..
Yoo, S., Harman, M. (2010). Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation. JOURNAL OF SYSTEMS AND SOFTWARE, 83 (4), 689-701. doi:10.1016/j.jss.2009.11.706
Zhang, Y., Alba, E., Durillo, J.J., Eldh, S., Harman, M. (2010). Today/Future importance analysis. Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10, 135-142. doi:10.1145/1830483.1830733
Zhang, Y., Harman, M. (2010). Search Based Optimization of Requirements Interaction Management.
Zhao, R., Harman, M., Li, Z. (2010). Empirical study on the efficiency of search based test generation for EFSM models. ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops, 222-231. doi:10.1109/ICSTW.2010.44

2009

Aldecoa-Otalora, E., Langdon, W.B., Cunningham, P., Arno, M.J. (2009). Unexpected presence of mycoplasma probes on human microarrays. BioTechniques, 47 (6), 1013-1016. doi:10.2144/000113271
Alshahwan, N., Harman, M., Marchetto, A., Tonella, P. (2009). Improving web application testing using testability measures.
Androutsopoulos, K., Clark, D., Harman, M., Li, Z., Tratt, L. (2009). Control Dependence for Extended Finite State Machines.
Androutsopoulos, K., Gold, N., Harman, M., Li, Z., Tratt, L. (2009). A theoretical and empirical study of EFSM dependence.
Bao, C.H., Gold, N., Harman, M. (2009). Maintaining WS-BPEL Using Aspects.
Ben Mokhtar, S., Capra, L. (2009). From Pervasive To Social Computing: Algorithms and Deployments.
Ben Mokhta, S., McNamara, L., Capra, L. (2009). A Middleware Service for Pervasive Social Networking.
Binkley, D., Harman, M. (2009). Identifying 'Linchpin Vertices' that Cause Large Dependence Clusters.
Bird, C., Barr, E.T., Nash, A., Devanbu, P.T., Filkov, V., Su, Z. (2009). Structure and Dynamics of Research Collaboration in Computer Science..
Bird, C., Rigby, P.C., Barr, E.T., Hamilton, D.J., Germán, D.M., Devanbu, P.T. (2009). The promises and perils of mining git..
Black, S., Boca, P., Bowen, J.P., Gorman, J., Hinchey, M. (2009). Formal Versus Agile: Survival of the Fittest.. Computer, 42 (9), 37-45. doi:10.1109/MC.2009.284
Black, S., Counsell, S., Hall, T., Bowes, D. (2009). Fault Analysis in OSS Based on Program Slicing Metrics..
Bolchini, D., Finkelstein, A., Perrone, V., Nagl, S. (2009). Better bioinformatics through usability analysis. BIOINFORMATICS, 25 (3), 406-412. doi:10.1093/bioinformatics/btn633
Bolchini, D., Finkestein, A., Paolini, P. (2009). Designing Usable Bio-Information Architectures. HCI (4), 5613 653-662. doi:10.1007/978-3-642-02583-9_71
Bunyakiati, P., Finkelstein, A. (2009). The Compliance Testing of Software Tools with respect to the UML standards specification - the ArgoUML case study. 2009 ICSE WORKSHOP ON AUTOMATION OF SOFTWARE TEST, 138-143. doi:10.1109/IWAST.2009.5069052
Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., ...Cukic, B. (2009). Software Engineering for Self-Adaptive Systems: A Research Roadmap. SOFTWARE ENGINEERING FOR SELF-ADAPTIVE SYSTEMS, 5525 1-26. doi:10.1007/978-3-642-35813-5_1
Chen, T.-.W., Fung, A.W., Yang, P.F., Huang, Y., Lin, C.M., Yajnik, S., ...Rosenblum, D.S. (2009). Packet routing via payload inspection and subscription processing in a publish-subscribe network. 1020090037962.
Clark, D., Lano, K., Onunkun, T. (2009). An Information Flow Analysis of B Specifications and Refinements. .
Cubo, J., Sama, M., Raimondi, F., Rosenblum, D.S. (2009). A model to design and verify context-aware adaptive service composition.
DeFigueiredo, D.D.B., Barr, E.T., Wu, S.F. (2009). Trust Is in the Eye of the Beholder..
Durillo, J.J., Zhang, Y., Alba, E., Nebro, A.J. (2009). A Study of the Multi-Objective Next Release Problem.
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F. (2009). Using Tabu Search to Estimate Software Development Effort..
Finkelstein, A. (2009). Models@run.time: commentary. COMPUTER, 42 (10), 25.
Finkelstein, A., Harman, M., Mansouri, S.A., Ren, J., Zhang, Y.Y. (2009). A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making. REQUIREMENTS ENGINEERING, 14 (4), 231-245. doi:10.1007/s00766-009-0075-y
Foster, H., Mukhija, A., Rosenblum, D.S., Uchitel, S. (2009). Engage: Engineering Service Modes with WS-Engineer and Dino.
Ghosheh, E., Black, S. (2009). WapMetrics: a tool for computing UML Design Metrics for Web Applications.
Gold, N. (2009). Service-Oriented Software in the Humanities: A Software Engineering Perspective. Digital Humanities Quarterly, 3
Gonzalez-Beltran, A.N., Finkelstein, A., Wilkinson, J.M., Kramer, J. (2009). Domain Concept-Based Queries for Cancer Research Data Sources.
Gueorguiev, S., Harman, M., Antoniol, G. (2009). Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering..
Harman, M. (2009). Message from the general chair. Proceedings - 1st International Symposium on Search Based Software Engineering, SSBSE 2009, doi:10.1109/SSBSE.2009.4
Harman, M., Binkley, D., Gallagher, K., Gold, N., Krinke, J. (2009). Dependence clusters in source code. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 32 (1), doi:10.1145/1596527.1596528
Harman, M., Binkley, D., Gallagher, K., Gold, N., Krinke, J. (2009). Dependence Clusters in Source Code. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 32 (1), doi:10.1145/1596527.1596528
Harman, M., Islam, F., Xie, T., Wappler, S. (2009). Automated Test Data Generation for Aspect-Oriented Programs.
Harman, M., Krinke, J., Ren, J., Yoo, S. (2009). Search based data sensitivity analysis applied to requirement engineering.
Harman, M., Li, Z., McMinn, P., Offutt, J., Clark, J. (2009). TAIC PART 2007 and Mutation 2007 special issue editorial. JOURNAL OF SYSTEMS AND SOFTWARE, 82 (11), 1753-1754. doi:10.1016/j.jss.2009.06.028
Harman, M., Mansouri, S.A., Zhang, Y. (2009). Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications. Department of Computer Science, King’s College London .
Harman, M., Mansouri, S.A., Zhang, Y. (2009). Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications. .
Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., ...Krause, P. (2009). Using Formal Specifications to Support Testing. ACM COMPUTING SURVEYS, 41 (2), doi:10.1145/1459352.1459354
Jansen, S., Finkelstein, A., Brinkkemper, S. (2009). A Sense of Community: A Research Agenda for Software Ecosystems.
Jennings, B., Finkelstein, A. (2009). Digital Identity and Reputation in the Context of a Bounded Social Ecosystem.
Jia, Y., Binkley, D., Harman, M., Krinke, J., Matsushita, M. (2009). KClone: A proposed approach to fast precise code clone detection.
Jia, Y., Harman, M. (2009). Higher Order Mutation Testing. INFORMATION AND SOFTWARE TECHNOLOGY, 51 (10), 1379-1393. doi:10.1016/j.infsof.2009.04.016
Lakhotia, K., McMinn, P., Harman, M. (2009). Automated Test Data Generation for Coverage: Haven’t We Solved This Problem Yet?. 2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009, 95-104. doi:10.1109/TAICPART.2009.15
Langdon, W.B. (2009). Scaling of Program Functionality. Genetic Programming and Evolvable Machines, 10 (1), 5-36. doi:10.1007/s10710-008-9065-y
Langdon, W.B. (2009). A CUDA SIMT Interpreter for Genetic Programming. Strand, WC2R 2LS, UK .
Langdon, W.B. (2009). A Fast High Quality Pseudo Random Number Generator for nVidia CUDA.
Langdon, W.B., Harman, M., Jia, Y. (2009). Multi objective higher order mutation testing with GP..
Langdon, W.B., Harman, M., Jia, Y. (2009). Multi Objective Higher Order Mutation Testing with Genetic Programming.
Langdon, W.B., Harman, M., Jia, Y. (2009). Multi objective higher order mutation testing with genetic programming.
Langdon, W.B., Harrison, A.P. (2009). Evolving DNA motifs to Predict GeneChip Probe Performance. Algorithms for Molecular Biology, 4 (1), 6. doi:10.1186/1748-7188-4-6
Langdon, W.B., Rowsell, J., Harrison, A.P. (2009). Creating Regular Expressions as mRNA Motifs with GP to Predict Human Exon Splitting. Strand, London, WC2R 2LS, UK .
Lathia, N., Hailes, S., Capra, L. (2009). Temporal Collaborative Filtering With Adaptive Neighbourhoods.
Lathia, N., Hailes, S., Capra, L. (2009). Evaluating Collaborative Filtering Over Time.
Mashhadi, A.J., Ben Mokhtar, S., Capra, L. (2009). Habit: Leveraging Human Mobility and Social Network for Efficient Content Dissemination in Delay Tolerant Networks.
McCusker, J.P., Phillips, J.A., Gonzalez-Beltran, A.N., Finkelstein, A., Krauthammer, M. (2009). Semantic web data warehousing for caGrid. BMC BIOINFORMATICS, 10 doi:10.1186/1471-2105-10-S10-S2
McMinn, P., Binkley, D., Harman, M. (2009). Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 18 (3), doi:10.1145/1525880.1525884
Mu, C., Clark, D. (2009). Automatically Compute Information Flow Quantity via Probabilistic Semantics. Journal of Information Systems Security, 5 47-85.
Mu, C., Clark, D. (2009). An Interval-based Abstraction for Quantifying Information Flow. Electronic Notes in Theoretical Computer Science, 253 (3), 119-141. doi:10.1016/j.entcs.2009.10.009
Mu, C., Clark, D. (2009). Quantitative Analysis of Secure Information Flow via Probabilistic Semantics.
Napolitano, G., Beltran, A.G., Fox, C., Marshall, A., Finkelstein, A., McCarron, P. (2009). Biomedical Ontologies And Grid Computing As New Resources for Cancer Registries. HEALTHINF 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, 512-517.
Nguyen, C.D., Perini, A., Tonella, P., Miles, S., Harman, M., Luck, M. (2009). Evolutionary testing of autonomous software agents..
Nguyen, C.D., Perini, A., Tonella, P., Miles, S., Harman, M., Luck, M. (2009). Evolutionary testing of autonomous software agents. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 1 364-371.
Papakos, P., Rosenblum, D., Mukhija, A., Capra, L. (2009). VOLARE: Adaptive Web Service Discovery Middleware for Mobile Systems.
Papakos, P., Rosenblum, D.S., Mukhija, A., Capra, L. (2009). VOLARE: Adaptive Web Service Discovery Middleware for Mobile Systems.
Quercia, D., Capra, L. (2009). FriendSensing: recommending friends using mobile phones..
Quercia, D., Capra, L. (2009). FriendSensing: Recommending Friends Using Mobile Phones.
Raiciu, C., Huici, F., Handley, M., Rosenblum, D.S. (2009). ROAR: Increasing the Flexibility and Performance of Distributed Search. ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 39 (4), 291-302.
Raiciu, C., Huici, F., Handley, M., Rosenblum, D.S. (2009). ROAR: increasing the flexibility and performance of distributed search..
Rochwerger, B., Breitgand, D., Levy, E., Galis, A., Nagin, K., Llorente, L., ...Caceres, J. (2009). The RESERVOIR Model and Architecture for Open Federated Cloud Computing. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 53 (4), doi:10.1147/JRD.2009.5429058
Rosenblum, D.S. (2009). Software System Scalability: Concepts and Techniques.
Yang, P.-.F., Chen, T.-.W., Fung, A.W.P., Rosenblum, D.S., Yajnik, S., Wang, C.-.Y., ...Teodorescu, R. (2009). Method and apparatus for reliable and efficient content-based routing and query and response in a publish-subscribe network. 1656474.
Yoo, S., Harman, M. (2009). Regression Testing Minimisation, Selection and Prioritisation - A Survey. .
Yoo, S., Harman, M., Tonella, P., Susi, A. (2009). Clustering Test Cases to Achieve Effective & Scalable Prioritisation Incorporating Expert Knowledge.
Yoo, S., Harman, M., Ur, S. (2009). Measuring and Improving Latency to Avoid Test Suite Wear Out.

2008

(2008). Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers.
Bahsoon, R., Emmerich, W. (2008). An Example on Realizing Economics-Driven Software Mining.
Bahsoon, R., Emmerich, W. (2008). An economics-driven approach for valuing scalability in distributed architectures.
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. (2008). Evaluating Key Statements Analysis.
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. (2008). An empirical study of the relationship between the concepts expressed in source code and dependence. JOURNAL OF SYSTEMS AND SOFTWARE, 81 (12), 2287-2298. doi:10.1016/j.jss.2008.04.007
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. (2008). An empirical study of the relationship between the concepts expressed in source code and dependence. JOURNAL OF SYSTEMS AND SOFTWARE, 81 (12), 2287-2298. doi:10.1016/j.jss.2008.04.007
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K., Wegener, J. (2008). Dependence Anti Patterns.
Binkley, D., Harman, M., Krinke, J. (2008). Empirical study of optimization techniques for massive slicing. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 30 (1), doi:10.1145/1290520.1290523
Black, S. (2008). Deriving an approximation algorithm for automatic computation of ripple effect measures. INFORMATION AND SOFTWARE TECHNOLOGY, 50 (7-8), 723-736. doi:10.1016/j.infsof.2007.07.008
Boness, K., Finkelstein, A., Harrison, R. (2008). A Lightweight Technique for Assessing Risks in Requirements Analysis. IET SOFTWARE, 2 (1), 46-57. doi:10.1049/iet-sen:20070068
Bunyakiati, P., Finkelstein, A., Skene, J., Chapman, C. (2008). Using JULE to Generate a Compliance Test Suite for the UML Standard.
Bunyakiati, P., Finkelstein, A., Skene, J., Chapman, C. (2008). Using JULE to generate a compliance test suite for the UML standard.
Capra, L., Bahsoon, R., Emmerich, W., Fayad, M.E. (2008). International Workshop on Software Architectures and Mobility. .
Capra, L., Bahsoon, R., Emmerich, W., Fayad, M.E. (2008). The International Workshop on Software Architectures and Mobility (SAM 2008).
Clark, D., Hunt, S. (2008). Non-Interference for Deterministic Interactive Programs.
Clarke, L.A., Rosenblum, D.S. (2008). Runtime Assertion Checking (Sidebar in "Determining the Impact of Software Engineering Research on Practice"). Computer, 41 (3), 48. doi:10.1109/MC.2008.85
Dell'Amico, M., Capra, L. (2008). SOFIA: Social Filtering for Robust Recommendations.
Del Prete, L., Capra, L. (2008). Reliable Discovery and Selection of Composite Services in Mobile Environments.
Del Prete, L., Capra, L. (2008). MoSCA: Service Composition in Mobile Environments.
Del Prete, L., Capra, L. (2008). MoSCA: Reliable Execution of Mobile Composite Services.
Di Lucca, G.A., Gold, N., Visaggio, G. (2008). Guest Editor's Introduction: 10th Conference on Software Maintenance and Reengineering.
Di Penta, M., Antoniol, G., Harman, M. (2008). Special Issue on Search-Based Software Maintenance. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 20 (5), 317-319. doi:10.1002/smr.395
Duboc, L., Letier, E., Rosenblum, D.S., Wicks, T. (2008). A Case Study in Eliciting Scalability Requirements.
Egyed, A., Letier, E., Finkelstein, A. (2008). Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models.
Elbaum, S., Rosenblum, D.S. (2008). Guest Editors’ Introduction: [2007] International Symposium on Software Testing and Analysis. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 34 (5), 577-578. doi:10.1109/TSE.2008.85
Emmerich, W., Sventek, J., Aoyama, M. (2008). The Impact of Research on the Development of Middleware Technology. ACM Transactions on Software Engineering and Methodology, 17 (4), 1-48. doi:10.1145/13487689.13487692
Finkelstein, A., Harman, M., Mansouri, S.A., Ren, J., Zhang, Y. (2008). "Fairness Analysis" in Requirements Assignments.
Foster, H., Mukhija, A., Rosenblum, D.S., Uchitel, S. (2008). A Model-Driven Approach to Dynamic and Adaptive Service Brokering using Modes.
Ghosheh, E., Black, S., Qaddour, J. (2008). An Industrial Study Using UML Design Metrics for Web Applications.. In Lee, R.Y., Kim, H.-.K. (Eds.), Computer and Information Science. (pp. 231-241). Springer.
Ghosheh, E., Black, S., Qaddour, J. (2008). Design metrics for web application maintainability measurement..
Gutjahr, W.J., Harman, M. (2008). Search-based software engineering. COMPUTERS & OPERATIONS RESEARCH, 35 (10), 3049-3051. doi:10.1016/j.cor.2007.01.008
Harbird, R., Ahmed, M., Finkelstein, A., McKinney, E., Burroughs, A. (2008). Privacy Impact Assessment with PRAIS. Proceedings of the 8th Privacy Enhancing Technologies Symposium (PETS 2008),
Harbird, R., Finkelstein, A., Hailes, S., McKinney, E., Jeyarajah-Dent, R. (2008). PRAIS - PRivacy impact Analysis for Information Sharing.
Harman, M. (2008). Open problems in testability transformation. 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08, 196-209. doi:10.1109/ICSTW.2008.30
Harman, M., Alshahwan, N. (2008). Automated Session Data Repair for Web Application Regression Testing..
Harman, M., Baresel, A., Binkley, D., Hierons, R.M., Hu, L., Korel, B., ...Roper, M. (2008). Testability Transformation - Program Transformation to Improve Testability..
Harman, M., Li, Z., McMinn, P. (2008). Editorial: Testing practice and research. SOFTWARE TESTING VERIFICATION & RELIABILITY, 18 (2), 69-70. doi:10.1002/stvr.383
Harrison, A.P., Rowsell, J., Camargo, R.D.S., Langdon, W.B., Stalteri, M., Upton, G.J.G., Arteaga-Salas, J.M. (2008). The use of Affymetrix GeneChips as a tool for studying alternative forms of RNA. Biochemical Society Transactions, 36 (3), 511-513. doi:10.1042/BST0360511
Jansen, S., Brinkkemper, S., Finkelstein, A. (2008). Component Assembly Mechanisms and Relationship Intimacy in a Software Supply Network.
Jennings, B., Finkelstein, A. (2008). Service Chain Management: technology innovation for service business, Flexible Workflows. In Voudouris, C., Owusu, G., Dorne, R., Lesaint, D. (Eds.), (pp. 171-185-). Springer.
Jennings, B., Finkelstein, A. (2008). Flexible Workflows. In Service Chain Management: technology innovation for service business. (pp. 171-185). Springer.
Jennings, B., Finkelstein, A. (2008). Flexible Workflows: Reputation-based Message Routing.
Jiang, T., Gold, N., Harman, M., Li, Z. (2008). Locating dependence structures using search-based slicing. INFORMATION AND SOFTWARE TECHNOLOGY, 50 (12), 1189-1209. doi:10.1016/j.infsof.2007.11.001
Jiang, T., Gold, N., Harman, M., Li, Z. (2008). Locating dependence structures using search-based slicing. INFORMATION AND SOFTWARE TECHNOLOGY, 50 (12), 1189-1209. doi:10.1016/j.infsof.2007.11.001
Jiang, T., Harman, M., Hassoun, Y. (2008). Analysis of Procedure Splitability.
Jia, Y., Harman, M. (2008). Constructing Subtle Faults Using Higher Order Mutation Testing.
Jia, Y., Harman, M. (2008). MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language.
Krinke, J. (2008). Is cloned code more stable than non-cloned code?.
Krinke, J. (2008). Mining execution relations for crosscutting concerns. IET SOFTWARE, 2 (2), 65-78. doi:10.1049/iet-sen:20070005
Krinke, J. (2008). Advanced slicing of sequential and concurrent programs. Saarbrücken, Germany: VDM Verlag Dr. Müller.
Lakhotia, K., Harman, M., McMinn, P. (2008). Handling dynamic data structures in search based testing..
Langdon, W.B. (2008). Genetic Programming for Drug Discovery. Wivenhoe Park, Colchester CO4 3SQ, UK .
Langdon, W.B. (2008). A Field Guide to Genetic Programing(Summary for Wyvern).
Langdon, W.B. (2008). Row Quantile Normalisation of Microarrays. Colchester, CO4 3SQ, UK .
Langdon, W.B. (2008). Gene breakdown. Wyvern,
Langdon, W.B. (2008). A Map of Human Gene Expression. Colchester, CO4 3SQ, UK .
Langdon, W.B., Banzhaf, W. (2008). Repeated Patterns in Genetic Programming. Natural Computing, 7 (4), 589-613. doi:10.1007/s11047-007-9038-8
Langdon, W.B., Harrison, A.P. (2008). GP on SPMD parallel Graphics Hardware for mega Bioinformatics Data Mining. Soft Computing, 12 (12), 1169-1183. doi:10.1007/s00500-008-0296-x
Langdon, W.B., Harrison, A.P. (2008). Evolving Regular Expressions for GeneChip Probe Performance Prediction. University of Essex, Wivenhoe Park, Colchester CO4 3SQ, UK .
Langdon, W.B., Poli, R. (2008). Mapping Non-conventional Extensions of Genetic Programming. Natural Computing, 7 (1), 21-43. doi:10.1007/s11047-007-9044-x
Langdon, W.B., Poli, R., Banzhaf, W. (2008). An Eigen Analysis of the GP Community. Genetic Programming and Evolvable Machines, 9 (3), 171-182. doi:10.1007/s10710-008-9060-3
Langdon, W.B., Poli, R., McPhee, N.F., Koza, J.R. (2008). Genetic Programming: An Introduction and Tutorial, with a Survey of techniques and Applications. In Fulcher, J., Jain, L.C. (Eds.), Computational Intelligence: A Compendium. (pp. 927-1028). Springer-Verlag.
Langdon, W.B., Upton, G.J.G., Harrison, A.P. (2008). Probes containing runs of guanine provide insights into the biophysics and bioinformatics of Affymetrix GeneChips. Briefings in Bioinformatics, 10 (3), 259-277. doi:10.1093/bib/bbp018
Lano, K., Clark, D. (2008). Semantics and Refinement of Behaviour State Machines.
Lano, K., Clark, D. (2008). Model Transformation Specification and Verification.
Lathia, N., Hailes, S., Capra, L. (2008). kNN CF: A Temporal Social Network.
Lathia, N., Hailes, S., Capra, L. (2008). Trust Based Collaborative Filtering.
Lathia, N., Hailes, S., Capra, L. (2008). The Effect of Correlation Coefficients on Communities of Recommenders.
Letier, E., Kramer, J., Magee, J., Uchitel, S. (2008). Deriving event-based transition systems from goal-oriented requirements models. AUTOMATED SOFTWARE ENGINEERING, 15 (2), 175-206. doi:10.1007/s10515-008-0027-7
Maule, A., Emmerich, W., Rosenblum, D.S. (2008). Impact Analysis of Database Schema Changes.
Maule, A., Emmerich, W., Rosenblum, D.S. (2008). Impact Analysis of Database Schema Changes.
McNamara, L., Mascolo, C., Capra, L. (2008). Media Sharing based on Colocation Prediction in Urban Transport.
Mens, K., Kellens, A., Krinke, J. (2008). Pitfalls in aspect mining.
Osterweil, L.J., Ghezzi, C., Kramer, J., Wolf, A.L., Ryder, B., Soffa, M.L., ...Emmerich, W. (2008). Determining the impact of software engineering research on practice. COMPUTER, 41 (3), 39-+. doi:10.1109/MC.2008.85
Poli, R., Langdon, W.B., McPhee, N.F. (2008). A field guide to genetic programming. Published via http://lulu.com and freely available at http://www.gp-field-guide.org.uk.
Quercia, D., Capra, L., Zanardi, V. (2008). Selecting Trustworthy Content Using Tags (Invited Paper).
Quercia, D., Capra, L., Zanardi, V. (2008). Selecting trustworthy content using tags.
Quercia, D., Hailes, S., Capra, L. (2008). MobiRate: Making Mobile Raters Stick to their Word.
Raimondi, F., Skene, J., Emmerich, W. (2008). Efficient Online Monitoring of Web-Service SLAs.
Rosenblum, D.S., Wolf, A.L. (2008). ACM SIGSOFT impact paper award: reflections and prospects.
Sama, M., Raimondi, F., Rosenblum, D., Emmerich, W. (2008). Algorithms for Efficient Symbolic Detection of Faults in Context-Aware Applications.
Sama, M., Rosenblum, D.S., Wang, Z., Elbaum, S. (2008). Model-Based Fault Detection in Context-Aware Adaptive Applications.
Sama, M., Rosenblum, D.S., Wang, Z., Elbaum, S. (2008). Multi-layer faults in the architectures of mobile, context-aware adaptive applications: a position paper.
Sanchez-Graillet, O., Rowsell, J., Langdon, W.B., Stalteri, M.A., Salas, J.M.A., Upton, G.J.G., Harrison, A.P. (2008). Widespread existence of uncorrelated probe intensities from within the same probeset on Affymetrix GeneChips. Journal of Integrative Bioinformatics, 5 98. doi:10.2390/biecoll-jib-2008-98
Spiro, N., Gold, N., Rink, J. (2008). Plus ça change: analyzing performances of Chopin’s Mazurka Op. 24 No. 2.
Upton, G.J.G., Langdon, W.B., Harrison, A.P. (2008). G-spots cause incorrect expression measurement in Affymetrix microarrays. BMC Genomics, 9 (1), 613. doi:10.1186/1471-2164-9-613
Yan, L., Hailes, S., Capra, L. (2008). Analysis of packet relaying models and incentive strategies in wireless ad hoc networks with game theory.
Yoo, S., Harman, M. (2008). Test data augmentation: generating new test data from existing test data. .
Zanardi, V., Capra, L. (2008). Social Ranking: Uncovering Relevant Content Using Tag-based Recommender Systems.
Zanardi, V., Capra, L. (2008). Social Ranking: Finding Relevant Content in Web 2.0.
Zhang, Y., Finkelstein, A., Harman, M. (2008). Search Based Requirements Optimisation: Existing Work & Challenges.
Zhang, Y., Finkelstein, A., Harman, M. (2008). Search based requirements optimisation: Existing work and challenges.
Zirpins, C., Emmerich, W. (2008). An E-Service SOA Model for Virtual Service Enterprises.
Zirpins, C., Emmerich, W. (2008). A reference model of virtual service production networks. Service Oriented Computing and Applications, 2 (2-3), 145-166. doi:10.1007/s11761-008-0025-4

2007

(2007). .
Arteaga-Salas, J.M., Zuzan, H., Langdon, W.B., Upton, G.J.G., Harrison, A.P. (2007). An overview of image-processing methods for Affymetrix GeneChips. Briefings in Bioinformatics, 9 (1), 25-33. doi:10.1093/bib/bbm055
Barr, E.T., Bishop, M., Gondree, M. (2007). Fixing federal e-voting standards.. Communications of the ACM, 50 (3), 19. doi:10.1145/1226736.1226754
Bellon, S., Koschke, R., Antoniol, G., Krinke, J., Merlo, E. (2007). Comparison and evaluation of clone detection tools. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 33 (9), 577-591. doi:10.1109/TSE.2007.70725
Binkley, D., Gold, N., Harman, M. (2007). An empirical study of static program slice size. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 16 (2), doi:10.1145/1217295.1217297
Bouillon, P., Krinke, J., Meyer, N., Steimann, F. (2007). EZUNIT: a framework for associating failed unit tests with potential programming errors.
Bunyakiati, P., Finkelstein, A., Rosenblum, D. (2007). The Certification of Software Tools with Respect to Software Standards.
Capra, L. (2007). MaLM: Machine Learning Middleware to Tackle Ontology Heterogeneity.
Chapman, C., Musolesi, M., Emmerich, W., Mascolo, C. (2007). Predictive Resource Scheduling in Computational Grids.
Chapman, C., Musolesi, M., Emmerich, W., Mascolo, C. (2007). Predictive Resource Scheduling in Computational Grids.
Clark, D., Danicic, S., Giacobazzi, R. (2007). Special issue on Programming Language Interference and Dependence. The Journal of Logic and Algebraic Programming, 72 (2), 123. doi:10.1016/j.jlap.2007.02.006
Clark, D., Hunt, S. (2007). Non-Interference For Interactive Programs.
Clark, D., Hunt, S., Malacaria, P. (2007). A Static Analysis for Quantifying Information Flow in a Simple Imperative Language. Journal of Computer Security, 15 321-371.
Crandall, J.R., Zinn, D., Byrd, M., Barr, E.T., East, R. (2007). ConceptDoppler: a weather tracker for internet censorship..
Danicic, S., Harman, M., Hierons, R., Howroyd, J., Laurence, M.R. (2007). Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. THEORETICAL COMPUTER SCIENCE, 373 (1-2), 1-18. doi:10.1016/j.tcs.2006.10.001
Danicic, S., Harman, M., Howroyd, J., Ouarbya, L. (2007). A non-standard semantics for program slicing and dependence analysis. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 72 (2), 191-206. doi:10.1016/j.jlap.2007.02.010
Dingwall-Smith, A., Finkelstein, A. (2007). Checking Complex Compositions of Web Services Against Policy Constraints. Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007, 94-103.
Di Penta, M., Harman, M., Antoniol, G., Qureshi, F. (2007). The effect of communication overhead on software maintenance project staffing: a search-based approach.
Duboc, L., Rosenblum, D., Wicks, T. (2007). A framework for characterization and analysis of software system scalability.
Dunn, S., Gold, N., Hughes, L. (2007). CHIMERA: A Service Oriented Computing Approach for Archaeological Research.
Emmerich, W., Aoyama, M., Sventek, J. (2007). The Impact of Research on Middleware Technology. ACM SIGSOFT Software Engineering Notes, 32 (1), 21. doi:10.1145/1226816.1226829
Finkelstein, A. (2007). Modelling-in-the-Large..
Foster, H., Emmerich, W., Kramer, J., Magee, J., Rosenblum, D., Uchitel, S. (2007). Model checking service compositions under resource constraints.
Gallagher, K., Hall, T., Black, S. (2007). Reducing Regression Test Size by Exclusion..
Guo, Q., Hierons, R.A., Harman, M., Derderian, K. (2007). Heuristics for fault diagnosis when testing from finite state machines. SOFTWARE TESTING VERIFICATION & RELIABILITY, 17 (1), 41-57. doi:10.1002/stvr.352
Hammer, C., Krinke, J., Nodes, F. (2007). Intransitive Noninterference in Dependence Graphs.
Harman, M. (2007). The current state and future of search based software engineering.
Harman, M. (2007). Search based software engineering for program comprehension.
Harman, M. (2007). Automated Test Data Generation using Search Based Software Engineering..
Harman, M. (2007). A message from the TAIC PART 2007 and mutation 2007 general chair. Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007, doi:10.1109/TAICPART.2007.4344089
Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., Wegener, J. (2007). The impact of input domain reduction on search-based test data generation..
Harman, M., Lakhotia, K., McMinn, P. (2007). A Multi-Objective Approach To Search-Based Test Data Generation.
Harman, M., McMinn, P. (2007). A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation..
Harman, M., Tratt, L. (2007). Pareto Optimal Search Based Refactoring at the Design Level.
Hetherington, J., Bogle, I.D.L., Saffrey, P., Margoninski, O., Li, L., Varela Rey, M., ...Page, K. (2007). Addressing the challenges of multiscale model management in systems biology.
Jansen, S., Brinkkemper, S., Finkelstein, A. (2007). Providing Transparency In The Business Of Software: A Modeling Technique For Software Supply Networks. Establishing the Foundation of Collaborative Networks, 243 677-686.
Jansen, S., Finkelstein, A., Brinkkemper, S. (2007). Analyzing the Business of Software: A Modelling Technique for Software Supply Networks. CAiSE Forum, 247
Krinke, J. (2007). Changes to code clones in evolving software.
Krinke, J. (2007). Information flow and taint analysis with dependence graphs.
Krinke, J. (2007). Statement-level cohesion metrics and their visualization.
Krinke, J. (2007). A study of consistent and inconsistent changes to code clones.
Langdon, W.B. (2007). A SIMD interpreter for Genetic Programming on GPU Graphics Cards. Colchester, UK .
Langdon, W.B. (2007). The Cg Tutorial, Fernando and Kilgard, Addison-Wesley nVidia ISBN 0-321-19496-9. Computer Graphics Forum, 26 853.
Langdon, W.B. (2007). PRNG Random Numbers on GPU. University of Essex Wivenhoe Park, Colchester CO4 3SQ, UK .
Langdon, W.B., Poli, R. (2007). Evolving Problems to Learn about Particle Swarm Optimisers and other Search Algorithms. IEEE Transactions on Evolutionary Computation, 11 (5), 561-578. doi:10.1109/TEVC.2006.886448
Lano, K., Clark, D. (2007). Direct Semantics of Extended State Machines. The Journal of Object Technology, 6 (9), 35. doi:10.5381/jot.2007.6.9.a2
Lathia, N., Hailes, S., Capra, L. (2007). Private Distributed Collaborative Filtering using Estimated Concordance Measures.
Li, Z., Harman, M., Hierons, R.M. (2007). Search algorithms for regression test case prioritization. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 33 (4), 225-237. doi:10.1109/TSE.2007.38
Mattmann, C., Perrone, V., Kelly, S., Crichton, D., Finkelstein, A., Medvidovic, N. (2007). A Reference Framework for Requirements and Architecture in Biomedical Grid Systems.
McNamara, L., Mascolo, C., Capra, L. (2007). Content source selection in Bluetooth networks.
Mukhija, A., Dingwall-Smith, A., Rosenblum, D.S. (2007). QoS-Aware Service Composition in Dino.
Orso, A., Do, H., Rothermel, G., Harrold, M.J., Rosenblum, D.S. (2007). Using Component Metadata to Regression Test Component-based Software. Journal of Software Testing Verification and Reliability (JSTVR), 17 (2), 61-94. doi:10.1002/stvr.v17:2
Orso, A., Do, H., Rothermel, G., Harrold, M.J., Rosenblum, D.S. (2007). Using component metadata to regression test component-based software. SOFTWARE TESTING VERIFICATION & RELIABILITY, 17 (2), 61-94. doi:10.1002/stvr.344
Penta, M.D., Harman, M., Antoniol, G., Qureshi, F. (2007). The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach..
Perrone, V., Finkelstein, A. (2007). Analyzing requirements for a large scale system for cancer research.
Poli, R., Langdon, W.B., McPhee, N.F., Koza, J.R. (2007). Genetic Programming An Introductory Tutorial and a Survey of Techniques and Applications. UK .
Quercia, D., Hailes, S., Capra, L. (2007). TRULLO - local trust bootstrapping for ubiquitous devices.
Quercia, D., Hailes, S.M., Capra, L. (2007). Lightweight Distributed Trust Propagation.
Rodrigues, G.N., Rosenblum, D.S., Wolf, J. (2007). Reliability Analysis of Concurrent Systems using LTSA.
Saffrey, P., Margoninski, O., Hetherington, J., Varela-Rey, M., Yamaji, S., Finkelstein, A., ...Warner, A. (2007). End-to-end information management for systems biology. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4780 LNBI 77-91.
Skene, J., Skene, A., Crampton, J., Emmerich, W. (2007). The Monitorability of Service-Level Agreements for Application-Service Provision.
Spiro, N., Gold, N., Rink, J. (2007). Performance motives: analysis and comparison of performance timing repetitions using pattern matching and Formal Concept Analysis.
Spiro, N., Gold, N., Rink, J. (2007). In Search of Motive: Identification of Repeated Patterns in Performance and Their Structural Context.
Sun, Z., Finkelstein, A.C.F., Ashmore, J. (2007). Using Ontology with Semantic Web Services to Support Modeling in Systems Biology.
Tomassini, M., Luthi, L., Giacobini, M., Langdon, W.B. (2007). The Structure of the Genetic Programming Collaboration Network. Genetic Programming and Evolvable Machines, 8 (1), 97-103. doi:10.1007/s10710-006-9018-2
Wang, Z., Elbaum, S., Rosenblum, D.S. (2007). Automated generation of context-aware tests.
Wassermann, B., Emmerich, W. (2007). Reliable Scientific Service Compositions. In Workshop Proceedings of the 4th Int. Conf. on Service Oriented Computing (ICSOC 2006), Chicago, IL. (pp. 14-25). Springer.
Wassermann, B., Emmerich, W., Butchart, B., Cameron, N., Chen, L., Patel, J. (2007). Sedna: A BPEL-based environment for visual scientific workflow modelling. In Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M. (Eds.), Workflows for e-Science. (pp. 428-449). Springer.
Yoo, S., Harman, M. (2007). Pareto Efficient Multi-Objective Test Case Selection.
Zhang, Y., Harman, M., Mansouri, S.A. (2007). The Multi-Objective Next Release Problem.

2006

(2006). Beyond Program Slicing, 06.11. - 11.11.2005.
Antoniol, G., Krinke, J., Tonella, P. (2006). Special issue on Source code analysis and manipulation. SCIENCE OF COMPUTER PROGRAMMING, 62 (3), 205-208. doi:10.1016/j.scico.2006.04.009
Baker, P., Harman, M., Steinhofel, K., Skaliotis, A. (2006). Search based approaches to component selection and prioritization for the next release problem.
Berman, L., Danicic, S., Gallagher, K., Gold, N. (2006). The sound of software: Using sonification to aid comprehension.
Binkley, D., Ceccato, M., Harman, M., Ricca, F., Tonella, P. (2006). Tool-supported refactoring of existing object-oriented code into aspects.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Korel, B. (2006). Theoretical foundations of dynamic program slicing.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Korel, B. (2006). A formalisation of the relationship between forms of program slicing.
Binkley, D., Danicic, S., Harman, M., Howroyd, J., Ouarbya, L. (2006). A formal relationship between program slicing and partial evaluation..
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. (2006). An Empirical Study of Executable Concept Slice Size.
Binkley, D., Harman, M., Krinke, J. (2006). Characterising, explaining, and exploiting the approximate nature of static analysis through animation.
Binkley, D.W., Danicic, S., Harman, M., Howroyd, J., Ouarbya, L. (2006). A formal relationship between program slicing and partial evaluation. FORMAL ASPECTS OF COMPUTING, 18 (2), 103-119. doi:10.1007/s00165-0077-6
BLACK, S. (2006). The Role of Ripple Effect in Software Evolution. In Madhavji, N.H. (Ed.), Software evolution and feedback. (pp. 249-268). Wiley.
Black, S. (2006). Is ripple effect intuitive? A pilot study.. Innovations in Systems and Software Engineering, 2 (2), 88-98. doi:10.1007/s11334-006-0004-x
Capra, L., Musolesi, M. (2006). Autonomic trust prediction for pervasive systems.
Chapman, C., Walker, A.M., Calleja, M., Bruin, R.P., Dove, M.T., Emmerich, W.G. (2006). Simple Grid Access using the Business Process Execution Language.
Clarke, L.A., Rosenblum, D.S. (2006). A Historical Perspective on Runtime Assertion Checking in Software Development. ACM SIGSOFT Software Engineering Notes, 31 (3), 25. doi:10.1145/1127878.1127900
Dean, T., Harman, M., Koschke, R., Van De Vanter, M. (2006). Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop. JOURNAL OF SYSTEMS AND SOFTWARE, 79 (9), 1217-1218. doi:10.1016/j.jss.2006.02.039
Derderian, K., Hierons, R.M., Harman, M., Guo, Q. (2006). Automated unique input output sequence generation for conformance testing of FSMs. COMPUTER JOURNAL, 49 (3), 331-344. doi:10.1093/comjnl/bxl003
Derrick, J., Harman, M., Hierons, R.M. (2006). Guest editorial. FORMAL ASPECTS OF COMPUTING, 18 (1), 1-2. doi:10.1007/s00165-005-0087-4
Derrick, J., Harman, M., Hierons, R.M. (2006). Formal Aspects of Computing: Guest Editorial. Formal Aspects of Computing, 18 (1), 1-2. doi:10.1007/s00165-005-0087-4
Dove, M.T., White, T.O.H., Walker, A.M., Bruin, R.P., Austen, K.F., Artacho, E., ...Tyer, R.P. (2006). Computational Grids for Mid-Sized Collaborative Projects: The eMinerals Experience.
Duboc, L., Rosenblum, D.S., Wicks, T. (2006). A Framework for Modelling and Analysis of Software Systems Scalability.
Du, Z., Alexandrov, V.N., Alfredsson, M., Artacho, E., Austen, K.F., Bennett, N.D., ...CRA, C. (2006). A virtual research organization enabled by eMinerals minigrid: an integrated study of the transport and immobilisation of arsenic species in the environment.
Finkelstein, A., Lewis-Bowen, J., Piccinelli, G., W...E.m.m.e.r.i.c.h. (2006). Using Event Models in Grid Design. In Cunha, J.C., Rana, O.F. (Eds.), Grid Computing: Software Environments and Tools. (pp. 19-44). Springer.
Gallagher, K., Binkley, D., Harman, M. (2006). Stop-list slicing.
Ghosheh, E., Qaddour, J., Kuofie, M., Black, S. (2006). A Comparative Analysis of Maintainability Approaches for Web Applications..
Go, J., Stegemann, J.A., Roberts, G., Allan, I. (2006). Modelling and Simulation Framework for Reactive Transport of Organic Contaminants in Bed-sediments Using a Pure Java Object-oriented Paradigm.
Gold, N., Harman, M., Li, Z., Mahdavi, K. (2006). Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding.
Gold, N., Harman, M., Li, Z., Mahdavi, K. (2006). Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding..
Guo, Q., Hierons, R.M., Harman, M., Derderian, K. (2006). Improving test quality using robust unique input/output circuit sequences (UIOCs). INFORMATION AND SOFTWARE TECHNOLOGY, 48 (8), 696-707. doi:10.1016/j.infsof.2005.08.001
Hammer, C., Grimme, M., Krinke, J. (2006). Dynamic path conditions in dependence graphs.
Hammer, C., Krinke, J., Snelting, G. (2006). Information flow control for Java based on path conditions in dependence graphs.
Harman, M. (2006). Search-Based Software Engineering for Maintenance and Reengineering.
Harman, M. (2006). Search Based Software Engineering.
Harman, M., Black, S., Tonella, P. (2006). Astrenet Aspect Analysis workshop 2006.
Harman, M., Black, S., Tonella, P. (2006). Workshop Introduction Astrenet Aspect Analysis..
Harman, M., Korel, B., Linos, P., Mockus, A., Shepperd, M. (2006). EMSE special issue from ICSM and Metrics. EMPIRICAL SOFTWARE ENGINEERING, 11 (3), 333-334. doi:10.1007/s10664-006-9003-7
Harman, M., Lakhotia, A., Binkley, D. (2006). Theory and algorithms for slicing unstructured programs. INFORMATION AND SOFTWARE TECHNOLOGY, 48 (7), 549-565. doi:10.1016/j.infsof.2005.06.001
Harman, M., McMinn, P. (2006). Preface. Proceedings - Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2006, doi:10.1109/TAIC-PART.2006.21
Harman, M., Skaliotis, A., Steinhfel, K. (2006). Search-based approaches to the component selection and prioritization problem.
Krinke, J. (2006). Effects of context on program slicing. JOURNAL OF SYSTEMS AND SOFTWARE, 79 (9), 1249-1260. doi:10.1016/j.jss.2006.02.040
Krinke, J. (2006). Mining control flow graphs for crosscutting concerns.
Langdon, W.B. (2006). The Halting Probability in von Neumann Architectures. UK .
Langdon, W.B. (2006). Predicting Ten Thousand Bits from Ten Thousand Inputs. Colchester, UK .
Langdon, W.B. (2006). Web Usage of the GP Bibliography. ACM SIGEVOlution, 1 (4), 16-21. doi:10.1145/1229735.1229738
Langdon, W.B., Poli, R. (2006). Evolving Problems to Learn about Particle Swarm Optimisers and other Search Algorithms. UK .
Lano, K., Androutsopoulos, K., Clark, D. (2006). Concurrency and Real time specifications in UML.
Margoninski, O., Saffrey, P., Hetherington, J., Finkelstein, A., Warner, A. (2006). A specification language and a framework for the execution of composite models in systems biology. TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY VII, 4230 163-184.
McMinn, P., Harman, M., Binkley, D., Tonella, P. (2006). The species per path approach to SearchBased test data generation..
Mcnamara, L., Mascolo, C., Capra, L. (2006). Trust and Mobility aware Service Provision for Pervasive Computing.
Ong, A., Clark, D., Kim, J. (2006). A hybridized ais for anomaly detection: Combining negative selection and association rules (extended abstract). Proceedings of AISB'06: Adaptation in Artificial and Biological Systems, 1 14-15.
Perrone, V., Finkelstein, A., Goldin, L., Kramer, J., Parkinson, H., Reddington, F. (2006). Developing an integrative platform for cancer research: a requirements engineering perspective. Proceedings of the UK e-Science All Hands Meeting 2006, 93-100.
Perrone, V., Finkelstein, A., Goldin, L., Kramer, J., Parkinson, H., Reddington, F. (2006). Software Engineering meets Cancer Research: Enabling Interoperability of Data and Services.
Poli, R., Langdon, W.B. (2006). Backward-chaining Evolutionary Algorithms. Artificial Intelligence, 170 (11), 953-982. doi:10.1016/j.artint.2006.04.003
Poli, R., Langdon, W.B., Dignum, S. (2006). On the Limiting Distribution of Program Sizes in Tree-based Genetic Programming. .
Poli, R., Langdon, W.B., Marrow, P., Kennedy, J., Clerc, M., Bratton, D., Holden, N. (2006). Communication, Leadership, Publicity and Group Formation in Particle Swarms. UK .
Poli, R., Wright, A.H., McPhee, N.F., Langdon, W.B. (2006). Emergent Behaviour, Population-based Search and Low-pass Filtering. .
Popa, L., Raiciu, C., Stoica, I., Rosenblum, D.S. (2006). Reducing Congestion Effects by Multipath Routing in Wireless Networks.
Quercia, D., Hailes, S., Capra, L. (2006). TATA: Towards Anonymous Trusted Authentication.
Quercia, D., Hailes, S., Capra, L. (2006). B-trust: Bayesian Trust Framework for Pervasive Computing.
Quercia, D., Lad, M., Hailes, S., Capra, L., Bhatti, S. (2006). Survivable wireless networking - autonomic bandwidth sharing in mesh networks. BT TECHNOLOGY JOURNAL, 24 (3), 99-107. doi:10.1007/s10550-006-0081-2
Quercia, D., Lad, M., Hailes, S., Capra, L., Bhatti, S. (2006). STRUDEL: Supporting Trust in the Dynamic Establishment of peering coaLitions.
Quercia, D., Lad, M., Hailes, S.M.V., Capra, L., Bhatti, S. (2006). STRUDEL: Supporting Trust in the Dynamic Establishment of peering coalitions.
Raiciu, C., Handley, M., Rosenblum, D. (2006). Revisiting Content-Based Publish/Subscribe.
Raiciu, C., Handley, M., Rosenblum, D.S. (2006). Exploit Hijacking: Side Effects of Smart Defenses.
Raiciu, C., Rosenblum, D.S. (2006). Enabling Confidentiality in Content-Based Publish/Subscribe Infrastructures. Securecomm and Workshops, 2006, 1-11. doi:10.1109/SECCOMW.2006.359552
Rosenblum, D.S. (2006). Method for sending and receiving a Boolean function over a network. 7117270.
Snelting, G., Robschink, T., Krinke, J. (2006). Efficient path conditions in dependence graphs for software safety analysis. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 15 (4), 410-457. doi:10.1145/1178625.1178628
Visaggio, G., Di Lucca, G.A., Gold, N. (2006). Message from the Chairs.
Zachariadis, S., Mascolo, C., Emmerich, W. (2006). The SATIN Component System - A Meta Model For Engineering Adaptable Mobile Systems. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 32 (11), 910-927. doi:10.1109/TSE.2006.115

2005

Alves, C., Franch, X., Carvallo, J., Finkelstein, A. (2005). Using goals and quality models to support the matching analysis during COTS selection, Bilbao, Spain.
Antoniol, G., Di Penta, M., Harman, M. (2005). Search-based techniques applied to optimization of project planning for a massive maintenance project.
Avellis, G., Finkelstein, A. (2005). Innovative use of mobile learning for occupational stress: Evaluation of Non Functional Requirements and architectures. IEEE International Workshop on Wireless and Mobile Technologies in Education, Proceedings, 146-148. doi:10.1109/WMTE.2005.36
Bahsoon, R., Emmerich, W., Macke, J. (2005). Using real options to select stable middleware-induced software architectures. IEE Proceedings - Software, 152 (4), 167-186.
Begent, R.H.J., Brady, J.M., Finkelstein, A., Gavaghan, D., Kerr, P., Parkinson, H., ...Wilkinson, J.M. (2005). Challenges of ultra large scale integration of biomedical computing systems. 18th IEEE Symposium on Computer-Based Medical Systems, Proceedings, 64-69. doi:10.1109/CBMS.2005.40
Bennett, K., Gold, N., Mohan, A. (2005). Cut the biggest IT cost.
Berry, D.M., Damian, D., Finkelstein, A., Gause, D., Hall, R., Simmons, E., Wassyng, A. (2005). To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it?. 13th IEEE International Conference on Requirements Engineering, Proceedings, 447. doi:10.1109/RE.2005.74
Binkley, D., Ceccato, M., Harman, M., Ricca, F., Tonella, P. (2005). Automated refactoring of object oriented code into aspects.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Korel, B. (2005). Minimal slicing and the relationships between forms of slicing.
Binkley, D., Harman, M. (2005). Locating dependence clusters and dependence pollution.
Binkley, D., Harman, M. (2005). Forward slices are smaller than backward slices.
Binkley, D., Harman, M., Krinke, J. (2005). 05451 Abstracts Collection -- Beyond Program Slicing..
Black, S., Bouillon, P. (2005). And Now For Something Completely Different.....
Black, S., Counsell, S., Hall, T., Wernick, P. (2005). Using Program Slicing to Identify Faults in Software..
Bouillon, P., Krinke, J., Lukosch, S. (2005). Eine Plattform für die Softwaretechnik-Fernlehre.
Bouillon, P., Krinke, J., Lukosch, S. (2005). Software engineering projects in distant teaching.
Brebner, P., Emmerich, W. (2005). Deployment of Infrastructure and Services in the Open Grid Services Architecture. In Dearle, A., Eisenbach, S. (Eds.), Proc. of the 3rd Int. Working Conference on Component Deployment, CD 2005, Grenoble, France. (pp. 181-195). Springer.
Calleja, M., Bruin, R., Tucker, M.G., Dover, M.T., Tyer, R., Blanshard, L., ...Emmerich, W. (2005). Collaborative grid infrastructure for molecular simulations: The eMinerals minigrid as a prototype integrated compute and data grid. Molecular Simulation, 31 303-313. doi:10.1080/08927020500067195
Capra, L. (2005). Reasoning about trust groups to coordinate mobile ad-hoc systems. Workshop of the 1st International Conference on Security and Privacy for Emerging Areas in Communication Networks, 2005, 2005 144-154. doi:10.1109/SECCMW.2005.1588307
Capra, L. (2005). Reasoning about Trust Groups to Coordinate Mobile Ad-Hoc Systems.
Capra, L., Zachariadis, S., Mascolo, C. (2005). Q-CAD: QoS and Context Aware Discovery framework for adaptive mobile systems.
Chapman, C., Goonatilake, C., Emmerich, W., Farrellee, M., Tannenbaum, T., Livny, M., ...Dove, M. (2005). Condor Birdbath - web service interface to Condor.
Chapman, C., Wakelin, J., Artacho, E., Dove, M.T., Calleja, M., Bruin, R., Emmerich, W. (2005). Workflow issues in atomistic simulations. MOLECULAR SIMULATION, 31 (5), 323-328. doi:10.1080/08927020500065223
Chen, J.-.C., Gold, N.E., Mehandjiev, N., Layzell, P.J. (2005). Managing Supply Chains of Software as a Service through Agent Negotiations.
Chio, C.D., Poli, R., Langdon, W.B. (2005). Evolution of Force-Generating Equations for PSO using GP.
Chio, C.D., Poli, R., Langdon, W.B. (2005). Evolution of Forces for Particle Swarm Optimisation using Genetic Programming.
Clark, D., Hunt, S., Malacaria, P. (2005). Quantified Interference for a While Language. Electronic Notes in Theoretical Computer Science, 112 149-166. doi:10.1016/j.entcs.2004.01.018
Clark, D., Hunt, S., Malacaria, P. (2005). Quantitative information flow, relations and polymorphic types. Journal of Logic and Computation, 15 (2), 181-199. doi:10.1093/logcom/exi009
Courbis, C., Finkelstein, A. (2005). Towards aspect weaving applications.
Courbis, C., Finkelstein, A. (2005). Weaving aspects into web service orchestrations. In (pp. 219-226). IEEE COMPUTER SOC.
Danicic, S., Daoudi, M., Fox, C., Harman, M., Hierons, R.M., Howroyd, J.R., ...Ward, M. (2005). ConSUS: a light-weight program conditioner.
Danicic, S., Fox, C., Harman, M., Hierons, R., Howroyd, J., Laurence, M.R. (2005). Static program slicing algorithms are minimal for free liberal program schemas. COMPUTER JOURNAL, 48 (6), 737-748. doi:10.1093/comjnl/bxh121
DeFigueiredo, D.D.B., Barr, E.T. (2005). TrustDavis: A Non-Exploitable Online Reputation System..
Denaro, G., Polini, A., Emmerich, W. (2005). Performance Testing of Distributed Component Architectures. In Beydeda, S., Gruhn, V. (Eds.), Building Quality into COTS Components - Testing and Debugging. (pp. 294-314). Springer.
Derderian, K., Harman, M., Hierons, R.M., Guo, G. (2005). Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.
Dove, M.T., White, T.O., Bruin, R.P., Tucker, M.G., Calleja, M., Artacho, E., ...Allan, R.J. (2005). eScience usability: the eMinerals experience.
Duboc, L., Wicks, T., Emmerich, W. (2005). Experience with Lightweight Distributed Component Technologies in Business Intelligence Systems. In Mascolo, C., Gschwind, T. (Eds.), Proceedings of the 4th International Workshop on Software Engineering and Middleware, Linz, Austria. (pp. 214-229). Springer Verlag.
Emmerich, W., Butchart, B., Chen, L., Wassermann, B., Price, S.L. (2005). Grid Service Orchestration using the Business Process Execution Language (BPEL). London, UK: UCL-CS Research Note RN/05/07.
Fatiregun, D., Harman, M., Hierons, R.M. (2005). Search-based amorphous slicing.
Finkelstein, A. (2005). Business Data Validation: lessons from practice. WWV, DSIC-II/03/05 1.
Gold, N.E., Harman, M., Binkley, D., Hierons, R.M. (2005). Unifying program slicing and concept assignment for higher-level executable source code extraction. SOFTWARE-PRACTICE & EXPERIENCE, 35 (10), 977-1006. doi:10.1002/spe.664
Gold, N.E., Harman, M., Binkley, D., Hierons, R.M. (2005). Unifying program slicing and concept assignment for higher-level executable source code extraction. SOFTWARE-PRACTICE & EXPERIENCE, 35 (10), 977-1006. doi:10.1002/spe.664
Gold, N.E., Mohan, A.M., Layzell, P.J. (2005). Spatial Complexity Metrics: An Investigation of Utility. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 31 (3), 203-212. doi:10.1109/TSE.2005.39
Gold, N., Systä, T., Tjortjis, C., Di Penta, M. (2005). Message from the program chairs.
Goonatilake, C., Chapman, C., Emmerich, W., Farrellee, M., Tannenbaum, T., Livny, M., ...Dove, M. (2005). .
Guo, Q., Hierons, R.M., Harman, M., Derderian, K. (2005). Constructing multiple unique input/output sequences using metaheuristic optimisation techniques. IEE PROCEEDINGS-SOFTWARE, 152 (3), 127-140. doi:10.1049/ip-sen:20045001
Harman, M., Binkley, D., Krinke, J. (2005). 05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar..
Harman, M., Korel, B., Linos, P.K. (2005). Guest Editorial: Special Issue on Software Maintenance and Evolution.. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 31 (10), 801-803. doi:10.1109/TSE.2005.113
Harman, M., Swift, S., Mahdavi, K. (2005). An empirical study of the robustness of two module clustering fitness functions.
Hierons, R.M., Harman, M., Fox, C.J. (2005). Branch-coverage testability transformation for unstructured programs. COMPUTER JOURNAL, 48 (4), 421-436. doi:10.1093/comjnl/bxh093
Korel, B., Harman, M., Chung, S., Apirukvorapinit, P. (2005). Data dependence based testability transformation in automated test generation.
Korel, B., Tahat, L.H., Harman, M. (2005). Test prioritization using system models.
Krinke, J. (2005). Program slicing. In Handbook of Software Engineering and Knowledge Engineering: Vol 3: Recent Advances. (pp. 307-332). .
Krinke, J., Breu, S. (2005). Aspect mining based on control-flow.
Krinke, J., Roos, M. (2005). Erfahrungen mit dem Open-Access-Journal “eleed (e-learning and education)”.
Langdon, W.B. (2005). Pfeiffer - A Distributed Open-ended Evolutionary System.
Langdon, W.B. (2005). The Distribution of Amorphous Computer Outputs..
Langdon, W.B. (2005). ’Pure theatre’ at Lakeside: Review of "Look Back in Anger". Wyvern Extra,
Langdon, W.B., Banzhaf, W. (2005). Repeated patterns in tree genetic programming. In Keijzer, M., Tettamanzi, A., Collet, P. (Eds.), Genetic Programming: 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings. (pp. 190-202). Springer-Verlag GmbH.
Langdon, W.B., Banzhaf, W. (2005). Repeated Sequences in Linear Genetic Programming Genomes. Complex Systems, 15 (4), 285-306.
Langdon, W.B., Gustafson, S. (2005). Genetic Programming and Evolvable Machines:five years of reviews. Genetic Programming and Evolvable Machines, 6 (2), 221-228. doi:10.1007/s10710-005-6165-9
Langdon, W.B., Poli, R. (2005). Evolutionary Solo Pong Players. Colchester, UK .
Langdon, W.B., Poli, R. (2005). On Turing complete T7 and MISC F-4 program fitness landscapes. UK .
Langdon, W.B., Poli, R., Stephens, C.R. (2005). Kernel methods for PSOs. UK .
Lano, K., Androutsopoulos, K., Clark, D. (2005). Refinement Patterns for UML. Electronic Notes in Theoretical Computer Science, 137 (2), 131-149. doi:10.1016/j.entcs.2005.04.028
Letier, E., Kramer, J., Magee, J., Uchitel, S. (2005). Fluent Temporal Logic for Discrete-Time Event-Based Models.
Letier, E., Kramer, J., Magee, J., Uchitel, S. (2005). Monitoring and Control in Scenario-Based Requirements Analysis.
Mascolo, C., Capra, L., Emmerich, W. (2005). Principles of Mobile Computing Middleware. In Middleware for Communications. (pp. 261-280). .
Milewski, M., Roberts, G. (2005). The Model Weaving Description Language (MWDL) - towards a formal Aspect Oriented Language for MDA model transformations.
Poli, R., Langdon, W.B. (2005). Backward-chaining Genetic Programming. Colchester, UK: Department of Computing and Electronic Systems, University of Essex.
Poli, R., Langdon, W.B. (2005). An elementary formulation of Riemann’s Zeta function. UK .
Roberts, G., Winder, R. (2005). Developing Java Software, 3rd Edition. John Wiley & Sons Ltd..
Rodrigues, G.N., Rosenblum, D.S., Uchitel, S. (2005). Reliability Support in Model-Driven Development.
Rodrigues, G.N., Rosenblum, D.S., Uchitel, S. (2005). Reliability prediction in model driven development. In Briand, L., Williams, C. (Eds.), (pp. 339-354). SPRINGER-VERLAG BERLIN.
Rodrigues, G.N., Rosenblum, D.S., Uchitel, S. (2005). Using scenarios to predict the reliability of concurrent component-based software systems.
Rodrigues, G., Rosenblum, D., Uchitel, S. (2005). Sensitivity Analysis for a Scenario-Based Reliability Prediction Model. In Proceedings ICSE 2005 Workshop on Architecting Dependable Systems. (pp. 73-77). USA: ACM Press.
Rodrigues, G., Rosenblum, D., Uchitel, S. (2005). Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. In Cerioli, M. (Ed.), Proc. ETAPS 2005 International Conference on Fundamental Approaches to Software Engineering - FASE 2005. (pp. 111-126). Springer.
Rosenblum, D.S. (2005). Fundamental Research Issues in Software Testing.
Rosenblum, D.S. (2005). Method for storing boolean functions to enable evaluation, modification, reuse, and delivery over a network. 6,910,033.
Rosner, P., Black, S. (2005). Measuring Ripple Effect for the Object Oriented Paradigm..
Skene, J., Emmerich, W. (2005). Engineering Runtime Requirements-Monitoring Systems using MDATechnologies. In IFIP Symposium on Trustworthy Global Computing. (pp. 319-333). Springer.
Zeller, A., Krinke, J. (2005). Essential open source toolset. Wiley.

2004

(2004). Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I.
(2004). Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II.
(2004). 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom.
(2004). Component Deployment.
(2004). .
Adamopoulos, K., Harman, M., Hierons, R.M. (2004). How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution.
Antoniol, G., Di Penta, M., Harman, M. (2004). A robust search-based approach to project management in the presence of abandonment, rework, error and uncertainty.
Antoniol, G., Di Penta, M., Harman, M. (2004). Search-based techniques for optimizing software project resource allocation.
Arlow, J., Quinn, J., Emmerich, W. (2004). Literate modelling: capturing business knowledge with the UML. In Bezivin, J., Muller, P. (Eds.), Proceedings of The Unified Modeling Language «UML»?98: Beyond the Notation: First International Workshop, Mulhouse, France, June 3-4, 1998. (pp. 189-199). Springer Verlag.
Bahsoon, R., Emmerich, W. (2004). .
Bahsoon, R., Emmerich, W. (2004). Evaluating architectural stability with real options theory. In Proceedings of the 20th International Conference on Software Maintenance, Chicago, Illinois, U.S.A.. (pp. 443-447). IEEE Computer Society Press.
Baresel, A., Binkley, D., Harman, M., Korel, B. (2004). Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach..
Binkley, D., Burd, L., Harman, M., Tonella, P. (2004). Source Code Analysis and Manipulation - Introduction.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Ouarbya, L. (2004). Formalizing executable dynamic and forward slicing.
Binkley, D., Harman, M. (2004). A survey of empirical results on program slicing. ADVANCES IN COMPUTERS, VOL 62, 62 105-178. doi:10.1016/S0065-2458(03)62003-6
Binkley, D., Harman, M. (2004). Analysis and visualization of predicate dependence on formal parameters and global variables. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 30 (11), 715-735. doi:10.1109/TSE.2004.78
Bouillon, P., Krinke, J. (2004). A platform for teaching distributed software engineering.
Bouillon, P., Krinke, J. (2004). Using Eclipse in distant teaching of software engineering.
Breu, S., Krinke, J. (2004). Aspect mining using event traces.
Calleja, M., Blanshard, L., Bruin, R., Chapman, C., Thandavan, A., Tyer, R., ...Brodholt, J. (2004). Grid tool integration within the eMinerals Project.
Calleja, M., Blanshard, L., Bruin, R., Chapman, C., Thandavan, A., Tyer, R., ...Dove, M.T. (2004). Grid tool integration within the eMinerals Project. In Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (pp. 812-817). UK Engineering and Physical Science Research Council.
Capra, L. (2004). Engineering Human Trust in Mobile System Collaborations.
Capra, L. (2004). Towards a human trust model for mobile ad-hoc networks.
Chapman, C., Wilson, P., Tannenbaum, T., Farrellee, M., Livny, M., Brodholt, J., Emmerich, W. (2004). Condor Services for the Global Grid: Interoperability between Condor and OGSA.
Chapman, C., Wilson, P., Tannenbaum, T., Farrellee, M., Livny, M., Brodholt, J., Emmerich, W. (2004). Condor services for the Global Grid:interoperability between Condor and OGSA. In Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (pp. 870-877). UK Engineering and Physical Science Research Council.
Clark, D., Hunt, S., Malacaria, P. (2004). Quantified Interference: Information Theory and Information Flow.
Clark, D., Hunt, S., Malacaria, P. (2004). Non-Interference For Weak Observers.
Clark, J., Harman, M., Hierons, R. (2004). Software testing in the United Kingdom. SOFTWARE TESTING VERIFICATION & RELIABILITY, 14 (3), 165-166. doi:10.1002/stvr.302
Corney, D.P.A., Buxton, B.F., Langdon, W.B., Jones, D.T. (2004). BioRAT: Extracting biological information from full-length papers. Bioinformatics, 20 (17), 3206-3213. doi:10.1093/bioinformatics/bth386
Courbis, C., Finkelstein, A. (2004). Towards an aspect weaving BPEL engine.
Danicic, S., De Lucia, A., Harman, M. (2004). Building executable union slices using conditioned slicing.
De Landtsheer, R., Letier, E., van Lamsweerde, A. (2004). Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. REQUIREMENTS ENGINEERING, 9 (2), 104-120. doi:10.1007/s00766-004-0189-1
Denaro, G., Polini, A., Emmerich, W. (2004). Early performance testing of distributed software applications. In Proceedings of the 4th International Workshop on Software and Performance, Redwood Shores, California, USA, January 14-16, 2004. (pp. 94-103). New York, NY, USA: ACM Press.
Derderian, K., Hierons, R.M., Harman, M., Guo, Q. (2004). Input sequence generation for testing of Communicating Finite State Machines (CFSMs).
Dove, M.T., Calleja, M., Bruin, R., Wakelin, J., Keegan, M., Ballard, S., ...Tyer, R. (2004). Collaborative tools in support of the eMinerals Virtual Organization.
Fatiregun, D., Harman, M., Hierons, R.M. (2004). Evolving transformation sequences using genetic algorithms.
Fatiregun, D., Harman, M., Hierons, R.M. (2004). Evolving Transformation Sequences using Genetic Algorithms..
Finkelstein, A.C.W., Hetherington, J., Li, L., Margoninski, O., Saffrey, P., Seymour, R., Warner, A. (2004). Computational challenges of systems biology. Computer, 37 (5), 26-33. doi:10.1109/MC.2004.1297236
Finkelstein, A., Gryce, C., Lewis-Bowen, J. (2004). Relating requirements and architectures: a study of data-Grids.
Finkelstein, A., Hetherington, J., Li, L.Z., Margoninski, O., Saffrey, P., Seymour, R., Warner, A. (2004). Computational challenges of systems biology. COMPUTER, 37 (5), 26-+. doi:10.1109/MC.2004.1297236
Fox, C., Danicic, S., Harman, M., Hierons, R.M. (2004). CONSIT: a fully automated conditioned program slicer. SOFTWARE-PRACTICE & EXPERIENCE, 34 (1), 15-46. doi:10.1002/spe.556
Gold, N., Bennett, K. (2004). Program comprehension for web services.
Gold, N., Knight, C., Mohan, A., Munro, M. (2004). Understanding Service-Oriented Software. IEEE Software, 21 (2), 71-77. doi:10.1109/MS.2004.1270766
Guo, Q., Hierons, R.M., Harman, M., Derderian, K. (2004). Computing unique input/output sequences using genetic algorithms.
Harman, M., Binkley, D., Singh, R., Hierons, R.M. (2004). Amorphous procedure extraction.
Harman, M., Clark, J. (2004). Metrics are fitness functions too.
Harman, M., Hu, L., Hierons, R., Wegener, J., Sthamer, H.S., Baresel, A., Roper, M. (2004). Testability transformation. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 30 (1), 3-16. doi:10.1109/TSE.2004.1265732
Harman, M., Hu, L., Munro, M., Zhang, X., Binkley, D., Danicic, S., ...Ouarbya, L. (2004). Syntax-Directed Amorphous Slicing..
Harman, M., Korel, B. (2004). Message from the program chairs. IEEE International Conference on Software Maintenance, ICSM,
Harman, M., Wegener, J. (2004). Getting results from search-based approaches to software engineering.
Haungs, M., Pandey, R., Barr, E.T. (2004). Handling Catastrophic Failures in Scalable Internet Applications..
Heaven, W., Finkelstein, A. (2004). A UML profile to support requirements engineering with KAOS. IEE Proceedings - Software, 151 (1), 10. doi:10.1049/ip-sen:20040297
Hierons, R.M., Harman, M. (2004). Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. THEORETICAL COMPUTER SCIENCE, 323 (1-3), 191-233. doi:10.1016/j.tcs.2004.04.002
Hu, L., Harman, M., Hierons, R.M., Binkley, D. (2004). Loop squashing transformations for amorphous slicing.
Jezequel, J., Emmerich, W. (2004). MDA in practice (panel). In Proceedings of the 26th International Conference on Software Engineering, Edinburgh, UK. IEEE Computer Society Press.
Krinke, J. (2004). Advanced slicing of sequential and concurrent programs.
Krinke, J. (2004). Context-sensitivity matters, but context does not.
Krinke, J. (2004). Slicing, chopping, and path conditions with barriers. SOFTWARE QUALITY JOURNAL, 12 (4), 339-360. doi:10.1023/B:SQJO.0000039792.93414.a5
Krinke, J. (2004). Textual vs. graphical visualization of fine-grained dependences.
Krinke, J. (2004). Visualization of program dependence and slices.
Krinke, J., Breu, S. (2004). Control-flow-graph-based aspect mining.
Langdon, W.B. (2004). Global distributed evolution of L-systems fractals. In Keijzer, M., O'Reilly, U., Lucas, S. (Eds.), Genetic Programming: 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004. Proceedings. (pp. 349-358). Springer-Verlag GmbH.
Langdon, W.B. (2004). Genetic Algorithms--Principles and Perspectives: {A} Guide to {GA} Theory.. Knowledge Engineering Review, 19 (2), 185-186.
Langdon, W.B. (2004). Lindenmayer Systems Fractals Evolved by Pfeiffer 10 September – 9 November 2003. .
Langdon, W.B., Banzhaf, W. (2004). Repeated Sequences in Linear GP Genomes.
Langdon, W.B., Barrett, S.J. (2004). Genetic programming in data mining for drug discovery. In Ghosh, A., Jain, L. (Eds.), Evolutionary Computing in Data Mining. (pp. 211-235). Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Langdon, W.B., Buxton, B.F. (2004). Genetic Programming for Mining DNA Chip data from Cancer Patients. Genetic Programming and Evolvable Machines, 5 (3), 251-257. doi:10.1023/B:GENP.0000030196.55525.f7
Lano, K., Clark, D., Androutsopoulos, K. (2004). UML to B: Formal verification of object-oriented models.
Letier, E., van Lamsweerde, A. (2004). Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering.
Mohan, A., Gold, N. (2004). Programming style changes in evolving source code.
Mohan, A., Gold, N., Layzell, P. (2004). An approach to understanding program comprehensibility using spatial complexity, concept assignment and typographical style.
Mohan, A., Gold, N., Layzell, P. (2004). An initial approach to assessing program comprehensibility using spatial complexity, number of concepts and typographical style.
Nowell, H., Butchart, B., Coombes, D.S., Price, S.L., Emmerich, W., Catlow, C.R.A. (2004). Increasing the scope for polymorph prediction usinge-Science. In Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (pp. 968-971). UK Engineering and Physical Science Research Council.
O'BRIEN, L., GOLD, N., KONTOGIANNIS, K. (Eds.), (2004). Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP 2003). Institute of Electrical & Electronics Engineers(IEEE).
Rodrigues, G.N., Rosenblum, D., Emmerich, W. (2004). A model driven approach for software systems reliability.
Rodrigues, G., Roberts, G., Emmerich, W. (2004). Reliability support for the Model Driven Architecture. In DeLemos, R., Gacek, C., Romanovsky, A. (Eds.), (pp. 79-98). SPRINGER-VERLAG BERLIN.
Rodrigues, G., Rosenblum, D., Emmerich, W. (2004). A model driven approach for software systems reliability. In Proceedings of the 26th International Conference on Software Engineering, Edinburgh, UK. (pp. 30-32). IEEE Computer Society Press.
Skene, J., Emmerich, W. (2004). Generating a contract checker for an SLA language. In Proceedings of the EDOC 2004 Workshop on Contract Architectures and Languages, Monterey, California. IEEE Computer Society Press.
Skene, J., Lamanna, D.D., Emmerich, W.J. (2004). Precise service level agreements.
van Lamsweerde, A., Letier, E. (2004). From object orientation to goal orientation: A paradigm shift for requirements engineering.
Wilson, P., Emmerich, W., Brodholt, J. (2004). Leveraging HTC for UK eScience with very large Condor pools: demand for transforming untapped power into results. In Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (pp. 308-315). UK Engineering and Physical Science Research Council.
Wright, A., Poli, R., Stephens, C.R., Langdon, W.B., Pulavarty, S. (2004). An estimation of distribution algorithm based on maximum entropy.
Wright, R., Rey, M.V., Margoninski, O., Saffrey, P., Hetherington, J., Li, L., ...Finkelstein, A. (2004). A New Framework for Integration of Models in Biology (abstract). The Journal of Physiology, 561P (PC31),
Wright, R., Varela Rey, M., Margoninski, O., Saffrey, P., Hetherington, J., Li, L., ...Finkelstein, A. (2004). A new framework for the integration of models in biology.
Yoshioka, N., Honiden, S., Finkelstein, A. (2004). Security patterns: A method for constructing secure and efficient inter-company coordination systems. EIGHTH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 84-97.
Zachariadis, S., Mascolo, C., Emmerich, W. (2004). SATIN: a component model for mobile self-organisation. In Meersman, R. (Ed.), (pp. 1303-1321). SPRINGER-VERLAG BERLIN.
Zeller, A., Krinke, J. (2004). Open-Source-Programmierwerkzeuge. dpunkt.verlag.
Zirpins, C., Piccinelli, G., Lamersdorf, W., Finkelstein, A. (2004). Object orientation and web services.

2003

(2003). Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I.
(2003). Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II.
Ackemann, T., Mascolo, C., Emmerich, W. (2003). Lightweight Incentives in Peer-to-Peer Networks. UCL-CS.
Alves, C., Finkelstein, A. (2003). Investigating conflicts in cots decision-making. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 13 (5), 473-493. doi:10.1142/S0218194003001408
Bahsoon, R., Emmerich, W. (2003). Evaluating software architectures for stability: a real options approach.
Bahsoon, R., Emmerich, W. (2003). Evaluating Software Architectures: Development Stability and Evolution.
Bahsoon, R., Emmerich, W. (2003). ArchOptions: A Real Options-Based Model for Predicting the Stability of Software Architectures.
Bahsoon, R., Emmerich, W. (2003). Evaluating software architectures: development, stability and evolution. In Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications, Tunis, Tunisia. (pp. 47-56). IEEE Computer Society Press.
Bennett, K.H., Gold, N.E., Layzell, P.J., Zhu, F., Brereton, O.P., Budgen, D., ...Xu, J. (2003). A broker architecture for integrating data using a web services environment.
Binkley, D., Harman, M. (2003). An empirical study of predicate dependence levels and trends.
Binkley, D., Harman, M. (2003). A large-scale empirical study of forward and backward static slice size and context sensitivity.
Binkley, D., Harman, M. (2003). Results from a large-scale study of performance optimization techniques for source code analyses based on graph reachability algorithms.
Binkley, D., Harman, M. (2003). Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms..
Breu, S., Krinke, J. (2003). Aspect mining using dynamic analysis.
Bush, D., Finkelstein, A. (2003). Requirements stability assessment using scenarios. 11TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 23-32.
Butchart, B., Chapman, C., Emmerich, W. (2003). OGSA first impressions: a case study re-engineering a scientific applicationwith the open grid services architecture.
Butchart, B., Chapman, C., Emmerich, W. (2003). OGSA First Impressions: A Case Study using the Open Grid Service Architecture.
Butchart, B., Chapman, C., Emmerich, W. (2003). OGSA First Impressions: A Case Study using the Open Grid Service Architecture.
Capra, L., Emmerich, W., Mascolo, C. (2003). CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 29 (10), 929-945. doi:10.1109/TSE.2003.1237173
Clark, D., Hunt, S., Malacaria, P. (2003). Quantified Interference for a While Language. .
Clark, J.A., Dolado, J.J., Harman, M., Hierons, R.M., Jones, B.F., Lumkin, M., ...Roper, M. (2003). Formulating software engineering as a search problem..
De Landtsheer, R., Letier, E., van Lamsweerde, A. (2003). Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models.
Dijk, S.V., Thierens, D., Gaag, L.C.V.D. (2003). Building a GA from Design Principles for Learning Bayesian Networks..
Dolado, J.J., Harman, M., Otero, M.C., Hu, L. (2003). An empirical investigation of the influence of a type of side effects on program comprehension. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 29 (7), 665-670. doi:10.1109/TSE.2003.1214329
Dui, D., Emmerich, W. (2003). Compatibility of XML language versions. In Westfechtel, B., Hoek, A. (Eds.), Software Configuration Management. Selected Papers of ICSE Workshops SCM 2001 and SCM 2003. (pp. 148-162). Springer Verlag.
Dui, D., Emmerich, W., Nentwich, C., Thal, B. (2003). Consistency checking of financial derivative transactions. In Aksit, M., Menzini, M., Unland, R. (Eds.), Objects, Components, Architectures, Services and Applications for a Networked World. (pp. 166-183). Springer.
Dui, D., Emmerich, W., Nentwich, C., Thal, B. (2003). Consistency Checking of Financial Derivative Transactions.
Emmerich, W. (2003). Konstruktion von verteilten Objekten. Heidelberg, Germany: dpunkt Verlag GmbH.
Fatiregun, D., Harman, M., Hierons, R. (2003). Search based transformations.
Finkelstein, A., Lamerdorf, W., Leyman, F., Piccinelli, G., Weerawarana, S. (2003). Object orientation and web services.
Gallagher, K., Harman, M., Danicic, S. (2003). Guaranteed inconsistency avoidance during software evolution. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 15 (6), 393-416. doi:10.1002/smr.289
Gold, N., Mohan, A. (2003). A Framework for Understanding Conceptual Changes in Evolving Source Code.
Harman, M., Binkley, D., Danicic, S. (2003). Amorphous program slicing. JOURNAL OF SYSTEMS AND SOFTWARE, 68 (1), 45-64. doi:10.1016/S0164-1212(02)00135-8
Hierons, R.M., Harman, M., Singh, H. (2003). Automatically generating information from a Z specification to support the classification tree method.
Hughes, A., Emmerich, W. (2003). Using programmable network managementtechniques to establish experimental networkingtestbeds. BT TECHNOLOGY JOURNAL, 21 (2), 195-203. doi:10.1023/A:1024437723284
Hughes, A., Emmerich, W. (2003). Using programmable network management techniques to establish experimental nework testbeds. BT Technology Journal, 21 (2), 195-203.
Kaveh, N., Emmerich, W. (2003). Validating Distributed Object and Component Designs. In Bernardo, M., Inverardi, P. (Eds.), Formal Methods for Software Architecture. (pp. 63-91). Springer Verlag.
Kaveh, N., Emmerich, W. (2003). Validating distributed object and component designs. In Bernardo, M., Inverardi, P. (Eds.), Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. (pp. 63-91). Springer Verlag.
Krinke, J. (2003). Barrier slicing and chopping.
Krinke, J. (2003). Context-sensitive slicing of concurrent programs.
Krinke, J. (2003). Advanced slicing of sequential and concurrent programs. In Wagner, D. (Ed.), Ausgezeichnete Informatikdissertationen 2003. (pp. 101-110). GI.
Lamanna, D.D., Skene, J., Emmerich, W. (2003). SLAng: A Language for Service Level Agreements.
Lamanna, D.D., Skene, J., Emmerich, W. (2003). SLAng: a language for service level agreements. In Proceedings of the 9th IEEE Workshop on Future Trends in Distributed Computing Systems. (pp. 100-106). IEEE Computer Society Press.
Langdon, W.B. (2003). Comparison of DNAchip and Computer Vision Data. .
Langdon, W.B. (2003). How many Good Programs are there? How Long are they?.
Langdon, W.B. (2003). Convergence of Program Fitness Landscapes.
Langdon, W.B. (2003). Predicting Cancer.
Langdon, W.B. (2003). The Distribution of Reversible Functions is Normal. In Riolo, R.L., Worzel, B. (Eds.), Genetic Programming Theory and Practise. (pp. 173-188). Kluwer.
Langdon, W.B. (2003). Equations for Human Bioavailability and P450.
Langdon, W.B., Buxton, B.F. (2003). The Application of Genetic Programming for Drug Discovery in the Pharmaceutical Industry. EPSRC RAIS Secondment with GlaxoSmithKline.
Lano, K., Clark, D., Androutsopoulos, K. (2003). RSDS, a Subset of UML with Precise Semantics.. L'objet, 9 (4), 53-73. doi:10.3166/objet.9.4.53-73
Lano, K., Clark, D., Androutsopoulos, K. (2003). RSDS, a Subset of UML with Precise Semantics. L’OBJET, 9 53-73.
Laurence, M.R., Danicic, S., Harman, M., Hierons, R., Howroyd, J. (2003). Equivalence of conservative, free, linear program schemas is decidable. THEORETICAL COMPUTER SCIENCE, 290 (1), 831-862. doi:10.1016/S0304-3975(02)00374-2
Lucia, A.D., Harman, M., Hierons, R., Krinke, J. (2003). Unions of slices are not slices.
Mahdavi, K., Harman, M., Hierons, R. (2003). Finding building blocks for software clustering.
Mahdavi, K., Harman, M., Hierons, R.M. (2003). A multiple hill climbing approach to software module clustering.
Mascolo, C., Emmerich, W., Finkelstein, A. (2003). Guest Editorial: XML and Software Engineering. Autom. Softw. Eng., 10 5-6. doi:10.1023/A:1021808716070
Nentwich, C., Emmerich, W., Finkelstein, A. (2003). Consistency Management with Repair Actions.
Nentwich, C., Emmerich, W., Finkelstein, A.C.W. (2003). Consistency management with repair actions.
Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E. (2003). Flexible consistency checking. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 12 (1), 28-63. doi:10.1145/839268.839271
Nuseibeh, B., Kramer, J., Finkelstein, A. (2003). ViewPoints: Meaningful relationships are difficult!. 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 676-681. doi:10.1109/ICSE.2003.1201254
Piccinelli, G., Emmerich, W., Williams, S.L., Stearns, M. (2003). A model-driven architecture for electronicservice management systems. In Orlowska, M., Weerawarana, S., Papazoglou, M., Yang, J. (Eds.), Proc. of the 1st International Conference on Service-Oriented Computing, Trento, Italy. (pp. 241-255). Springer.
Piccinelli, G., Emmerich, W., Williams, S., Stearns, M. (2003). A Model-Driven Architecture for Electronic Service Management Systems. In Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (Eds.), Proc. of the 1st Int. Conference on Service-Oriented Computing, Trento, Italy. (pp. 241-255). Springer Verlag.
Piccinelli, G., Finkelstein, A., Costa, T. (2003). Flexible B2B processes: the answer is in the nodes. INFORMATION AND SOFTWARE TECHNOLOGY, 45 (15), 1061-1063. doi:10.1016/S0950-5849(03)00134-4
Piccinelli, G., Finkelstein, A., Williams, S.L. (2003). Service-oriented workflow: The DySCo framework. PROCEEDINGS OF THE 29TH EUROMICRO CONFERENCE, 291-297.
Quick, T., Nehaniv, C.L., Dautenhahn, K., Roberts, G. (2003). Evolving Embodied Genetic Regulatory Network-driven Control Systems.
Rodrigues, G.N., Roberts, G., Emmerich, W., Skene, J. (2003). Reliability Support for the Model Driven Architecture.
Skene, J., Emmerich, W. (2003). A model-driven approach to non-functional analysis of software architectures.
Skene, J., Emmerich, W. (2003). Model driven performance analysis of enterprise information systems. Electronic Notes in Theoretical Computer Science, 82 (6), 147-157. doi:10.1016/S1571-0661(04)81033-8
Skene, J., Emmerich, W. (2003). A model driven architecture approach to analysis of non-functional properties of software architectures. In Proceedings of the 18th IEEE Conference on Automated Software Engineering, October 2003, Montreal, Canada. (pp. 236-239). IEEE Computer Society Press.
Störzer, M., Krinke, J. (2003). Interference analysis for AspectJ.
Störzer, M., Krinke, J., Breu, S. (2003). Trace analysis for aspect application.
Zachariadis, S., Mascolo, C., Emmerich, W. (2003). Adaptable Mobile Applications: Exploiting Logical Mobility in Mobile Computing. In Horlait, E., Magedanz, T., Glitho, R.H. (Eds.), (pp. 170-179). SPRINGER-VERLAG BERLIN.
Zachariadis, S., Mascolo, C., Emmerich, W. (2003). Self-organizing Mobile Systems: Use of Logical Mobility Primitives in Mobile Computing. UCL-CS.
Zachariadis, S., Mascolo, C., Emmerich, W. (2003). Adaptable mobile applications: exploiting logical mobility in mobile computing. In Horlait, E., Magedanz, T., Glitho, R. (Eds.), Proceedings of 5th International Workshop on Mobile Agents for Telecommunication Applications (MATA03). (pp. 170-179). Springer Verlag.
Zhang, X.Y., Xie, X.R., Munro, M., Harman, M., Hu, L. (2003). Formal verification of communication protocol using type theory.

2002

Ackemann, T., Gold, R., Mascolo, C., Emmerich, W. (2002). Incentives in peer-to-peer and grid networking. UCL-CS.
Alves, C., Finkelstein, A. (2002). Challenges in COTS decision-making: a goal-driven requirements engineering perspective.
Alves, C., Finkelstein, A. (2002). Negotiating Requirements for COTS-Based Systems.
Avellis, G., Finkelstein, A. (2002). How to annotate educational multimedia with non-functional requirements. Educational Technology & Society, 5
Banzhaf, W., Langdon, W.B. (2002). Some considerations on the reason for bloat. Genetic Programming and Evolvable Machines, 3 81-91. doi:10.1023/A:1014548204452
Bennett, K., Munro, M., Xu, J., Gold, N., Layzell, P., Mehandjiev, N., ...Brereton, P. (2002). Prototype Implementations of an Architectural Model for Service-Based Flexible Software.
Bowen, J.P., Bogdanov, K., Clark, J.A., Harman, M., Hierons, R.M., Krause, P. (2002). FORTEST: Formal methods and testing.
Capra, L. (2002). Mobile computing middleware for context-aware applications.
Capra, L., Blair, G., Mascolo, C., Emmerich, W., Grace, P. (2002). Exploiting reflection in mobile computing middleware. ACM SIGMOBILE Mobile Computing and Communications Review, 6 (4), 34-44. doi:10.1145/643550.643553
Capra, L., Emmerich, W., Mascolo, C. (2002). Exploiting reflection and metadata to build mobile computing middleware.
Capra, L., Emmerich, W., Mascolo, C. (2002). A micro-economic approach to conflict resolution in mobile computing.
Clark, D., Hankin, C., Hunt, S. (2002). Information Flow for Algol-like Languages. Computer Languages, 28 (1), 3-28. doi:10.1016/S0096-0551(02)00006-1
Clark, D., Hunt, S., Malacaria, P. (2002). Quantitative Analysis of Leakage of Confidential Information.
Daoudi, M., Ouarbya, L., Harman, M., Fox, C., Ward, M.P. (2002). ConSUS: A scalable approach to conditioned slicing.
Dingwall-Smith, A., Finkelstein, A. (2002). From Requirements to Monitors by Way of Aspects.
Dui, D., Emmerich, W., Nentwich, C., Thal, B. (2002). Consistency Checking of Financial Derivative Transactions.
Emmerich, W. (2002). OMG/CORBA: an object-oriented middleware. In Marciniak, J. (Ed.), Encyclopedia of Software Engineering. (pp. 902-907). John Wiley & Sons.
Emmerich, W. (2002). Distributed component technologies and theirsoftware engineering implications. In Proceedings of the 24th International Conference on Software Engineering. (pp. 537-546). New York, New York, USA: ACM Press.
Emmerich, W.J. (2002). Distributed Component Technologies and their Software Engineering Implications.
Emmerich, W., Kaveh, N. (2002). Component Technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model.
Emmerich, W., Kaveh, N. (2002). Component Technologies: Java Beans, COM, CORBA,RMI, EJB and the CORBA Component Model.
Finkelstein, A.C.W., Savigni, A., Kappel, G., Retschitzegger, W., Kimmerstorfer, E., Schwinger, W., ...Feichtner, C. (2002). Ubiquitous Web application development - A framework for understanding. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS, 431-438.
Gold, N., Bennett, K. (2002). Hypothesis-based concept assignment in software maintenance. IEE Proceedings: Software, 149 (4), 103-111. doi:10.1049/ip-sen:20020549
Gryce, C., Finkelstein, A., Nentwich, C. (2002). Lightweight Checking for UML Based Software Development.
Harman, M., Fox, C., Hierons, R., Hu, L., Danicic, S., Wegener, J. (2002). VADA: A transformation-based system for variable dependence analysis.
Harman, M., Gold, N., Hierons, R., Binkley, D. (2002). Code Extraction Algorithms which Unify Slicing and Concept Assignment.
Harman, M., Hierons, R.M., Proctor, M. (2002). A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization..
Harman, M., Hu, L., Hierons, R., Fox, C., Danicic, S., Wegener, J., ...Baresel, A. (2002). Evolutionary testing supported by slicing and transformation.
Harman, M., Hu, L., Hierons, R.M., Baresel, A., Sthamer, H. (2002). Improving Evolutionary Testing By Flag Removal..
Harman, M., Hu, L., Hierons, R., Munro, M., Zhang, X.Y., Dolado, J.J., ...Wegener, J. (2002). A post-placement side-effect removal algorithm.
Harman, M., Hu, L., Munro, M., Zhang, X.Y., Danicic, S., Daoudi, M., Ouarbya, L. (2002). An interprocedural amorphous slicer for WSL.
Harman, M., Munro, M., Hu, L., Zhang, X.Y. (2002). Source code analysis and manipulation. INFORMATION AND SOFTWARE TECHNOLOGY, 44 (13), 717-720. doi:10.1016/S0950-5849(02)00124-6
Haungs, M., Pandey, R., Barr, E.T., Barnes, J.F. (2002). A Fast Connection-Time Redirection Mechanism for Internet Application Scalability..
Hierons, R., Harman, M., Fox, C., Ouarbya, L., Daoudi, M. (2002). Conditioned slicing supports partition testing. SOFTWARE TESTING VERIFICATION & RELIABILITY, 12 (1), 23-28. doi:10.1002/stvr.232
Hill, F., Csillaghy, A., Bentley, R.D., Aboudarham, J., Antonucci, E., Finkelstein, A., ...Pike, D. (2002). EGSO in need for a global schema. VIRTUAL OBSERVATORIES, 4846 35-42. doi:10.1117/12.460825
Krinke, J. (2002). Evaluating context-sensitive slicing and chopping.
Krinke, J., Störzer, M., Zeller, A. (2002). Web-basierte Programmierpraktika mit Praktomat.
Langdon, W.B. (2002). A Hybrid Genetic Programming Neural Network Classifier for Use in Drug Discovery. In Abraham, A., Javier, R., Koppen, M. (Eds.), Soft Computing Systems - Design, Management and Applications, 1-4 December 2002. (pp. 6-). IOS Press.
Langdon, W.B. (2002). Evolutionary Computation II Session at BNAIC 2002. Newsletter BNVKI, 19(6) 145-146.
Langdon, W.B. (2002). Convergence Rates for the Distribution of Program Outputs.
Langdon, W.B. (2002). How many Good Programs are there? How Long are they?. In De Jong, K.A., Poli, R., Rowe, J.E. (Eds.), Foundations of Genetic Algorithms VII. (pp. 183-202). Spain: Morgan Kaufmann.
Langdon, W.B. (2002). Structure of the Genetic Programming Search Space.
Langdon, W.B. (2002). Was Occam Wrong? Blunting Occam's Razor. BNVKI Newsletter, 19 (3), 56-57.
Langdon, W.B. (2002). Characteristics of the Genetic Programming Search Space. University of Hertfordshire .
Langdon, W.B. (2002). Application of genetic programming in drug lead discovery.
Langdon, W.B., Buxton, B.F., Barrett, S.J. (2002). Combining Machine Learning techniques to Predict Compounds’ Cytochrome P450 High Throughput Screening Inhibition.
Langdon, W.B., Poli, R. (2002). Foundations of Genetic Programming. Springer.
Lano, K., Clark, D., Androutsopoulos, K. (2002). From Implicit Specifications to Explicit Designs in Reactive System Development..
Lano, K., Clark, D., Androutsopoulos, K. (2002). Safety and Security Analysis of Object-Oriented Models..
Lano, K., Clark, D., Androutsopoulos, K. (2002). From Implicit Specifications to Explicit Designs in Reactive System Development.
Lano, K., Clark, D., Androutsopoulos, K. (2002). Safety and Security Analysis of Object-Oriented Models.
Lawson, K., Finkelstein, A. (2002). Integration of Product and Technology Development Process with R&D Portfolio Management using Efficient Frontier Analysis.
Letier, E., van Lamsweerde, A. (2002). Deriving Operational Software Specifications from System Goals.
Letier, E., van Lamsweerde, A. (2002). Agent-Based Tactics for Goal-Oriented Requirements Elaboration.
Mahdavi, K., Harman, M. (2002). Book Review: Automatic Re-Engineering of Software Using Genetic Programming..
Mascolo, C., Capra, L., Emmerich, W. (2002). "Middleware for Mobile Computing (A Survey)". In Advanced Lectures on Networking. Networking 2002 Tutorials, 2497 o 20-58.
Mascolo, C., Capra, L., Emmerich, W. (2002). Mobile computing middleware. In Gregori, E., Anastasi, G., Basagni, S. (Eds.), (pp. 20-58). SPRINGER-VERLAG BERLIN.
Mascolo, C., Capra, L., Zachariadis, S., Emmerich, W. (2002). XMIDDLE: a data-sharing middleware for mobile computing. WIRELESS PERSONAL COMMUNICATIONS, 21 (1), 77-103. doi:10.1023/A:1015584805733
Mascolo, C., Zanolin, L., Emmerich, W. (2002). XMILE: an XML based Approach for Incremental Code Mobility and Update. Autom. Softw. Eng., 9 151-165. doi:10.1023/A:1014582329991
Medvidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E. (2002). Modeling Software Architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology, 11 (1), 2-57. doi:10.1145/504087.504088
Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A. (2002). Xlinkit: A Consistency Checking and Smart Link Generation Service.. ACM Transactions on Internet Technology, 2 (2), 151-185. doi:10.1145/514183.514186
Nentwich, C., Emmerich, W., Finkelstein, A. (2002). Edit, compile, debug: from hacking to distributed engineering.
Ouarbya, L., Danicic, S., Daoudi, M., Harman, M., Fox, C. (2002). A denotational interprocedural program slicer.
Ouarbya, L., Danicic, S., Daoudi, M., Harman, M., Fox, C. (2002). A Denotational Interprocedural Program Slicer..
Piccinelli, G., Emmerich, W., Zirpins, C., Schuette, K. (2002). Web Services Interfaces for Inter-Organizational Business Process: An Infrasctructure for Automated Reconciliation.
Piccinelli, G., Emmerich, W., Zirpins, C., Schuett, K. (2002). Web service interfaces for inter-organizational business process: An infrastructure for automated reconcilliation..
Piccinelli, G., Emmerich, W., Zirpins, C., Schuett, K. (2002). Web services interfaces for inter-organizational business process: an infrastructure for automated reconciliation. In (pp. 285-292). IEEE COMPUTER SOC.
Piccinelli, G., Finkelstein, A., Stammers, E. (2002). Automated engineering of e-business processes the RosettaNet case study. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VIII, PROCEEDINGS, 413-418.
Sivagurunathan, Y., Harman, M., Sivagurunathan, B. (2002). Slice-based dynamic memory modelling - A case study.
Tjortjis, C., Gold, N., Layzell, P., Bennett, K. (2002). From system comprehension to program comprehension.
Zachariadis, S., Capra, L., Mascolo, C., Emmerich, W. (2002). XMIDDLE: Information Sharing Middleware for a Mobile Environment.
Zachariadis, S., Capra, L., Mascolo, C., Emmerich, W. (2002). XMIDDLE: information sharing middleware for a mobile environment.
Zachariadis, S., Mascolo, C., Emmerich, W. (2002). Exploiting Logical Mobility in Computing Middleware.
Zachariadis, S., Mascolo, C., Emmerich, W. (2002). Exploiting logical mobility in mobile computing middleware. In Wagner, R. (Ed.), (pp. 385-386). IEEE COMPUTER SOC.
Zanolin, L., Mascolo, C., Emmerich, W. (2002). Model checking programmable router configurations. UCL CS.
Zhang, X., Munro, M., Harman, M., Hu, L. (2002). Weakest precondition for general recursive programs formalized in coq.
Zhang, X., Munro, M., Harman, M., Hu, L. (2002). Weakest Precondition for General Recursive Programs Formalized in Coq..
Zhang, X.Y., Munro, M., Harman, M., Hu, L. (2002). Mechanized operational semantics of WSL.

2001

(2001). Long random linear programs do not generalize. Genetic Programming and Evolvable Machines, 2 (2), 95-100.
Barr, E.T., Pandey, R., Haungs, M. (2001). MAGE: A Distributed Programming Model..
Bennett, K., Gold, N. (2001). Achieving ultra rapid evolution using service-based software.
Bennett, K.H., Munro, M., Gold, N., Layzell, P., Budgen, D., Brereton, P. (2001). An Architectural Model for Service-Based Software with Ultra Rapid Evolution.
Bennett, K.H., Xu, J., Munro, M., Hong, Z., Layzell, P.J., Gold, N., ...Brereton, P. (2001). An Architectural Model for Service-Based Flexible Software.
Bible, J., Rothermel, G., Rosenblum, D.S. (2001). A Comparative Study of Coarse- and Fine-Grained Safe Regression Test-Selection Techniques. ACM Transactions on Software Engineering and Methodology, 10 (2), 149-183. doi:10.1145/367008.367015
Black, S. (2001). Computing ripple effect for software maintenance.. Journal of Software Maintenance and Evolution: Research and Practice, 13 (4), 263-279. doi:10.1002/smr.233
Bush, D., Finkelstein, A. (2001). Reuse of safety case claims - an initial investigation.
Buxton, B.F., Langdon, W.B., Barrett, S.J. (2001). Data fusion by intelligent classifier combination. Measurement and Control, 34 (8), 229-234.
Capra, L., Emmerich, W., Mascolo, C. (2001). Reflective middleware solutions for context-aware applications.
Capra, L., Emmerich, W., Mascolo, C. (2001). Middleware for mobile computing: awareness vs. transparency.
Capra, L., Emmerich, W., Mascolo, C. (2001). Position summary. Middleware for mobile computing: Awareness vs. transparency.
Capra, L., Emmerich, W., Mascolo, C. (2001). Middleware for mobile computing: Awareness vs. transparency. Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS, 164-.
Capra, L., Emmerich, W., Mascolo, C. (2001). Middleware for mobile computing: awareness vs. transparency (position summary).
Capra, L., Emmerich, W., Mascolo, C. (2001). Reflective middleware solutions for context-aware applications.
Capra, L., Emmerich, W., Mascolo, C. (2001). Exploiting reflection and metadata to build mobile computing middleware.
Capra, L., Mascolo, C., Zachariadis, S., Emmerich, W. (2001). Towards a mobile computing middleware: a synergy of reflection and mobile code techniques.
Carzaniga, A., Rosenblum, D.S., Wolf, A.L. (2001). Design and Evaluation of a Wide-Area Event Notification Service. ACM Transactions on Computer Systems, 19 (3), 332-383. doi:10.1145/380749.380767
Clark, D., Hunt, S., Malacaria, P. (2001). Quantitative Analysis of the Leakage of Confidential Data. Electronic Notes in Theoretical Computer Science, 59
de Meer, H., Emmerich, W., Mascolo, C., Pezzi, N., Rio, M., Zanolin, L. (2001). Middleware and management support for programmable QoS-network.
Dykiert, M., Gold, N.E. (2001). Support for Learning Synthesiser Programming.
Emmerich, W. (2001). OMG/CORBA: An object-oriented middleware. In Encyclopedia of Software Engineering. John Wiley & Sons.
Emmerich, W. (2001). Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA component model. In Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on foundations of software engineering, Vienna, Austria. (pp. 311-312). New York, New York, USA: ACM Press.
Emmerich, W., Ellmer, E., Fieglein, H. (2001). TIGRA - an architectural style for enterprise application integration.
Emmerich, W., Ellmer, E., Fieglein, H. (2001). TIGRA: an architectural style for enterprise application integration. In Proceedings of the 23rd International Conference on Software Engineering, Toronto, Canada. (pp. 567-576). IEEE Computer Society Press.
Emmerich, W., Kaveh, N. (2001). Component technologies: Java Beans, COM, CORBA, RMI, EJB,and the CORBA component model.
Farbey, B., Finkelstein, A. (2001). Evaluation in software engineering: ROI, but more than ROI.
Farbey, B., Finkelstein, A. (2001). Software acquisition: a business strategy analysis.
Finkelstein, A., Savigni, A. (2001). A framework for requirements engineering for context-aware services. In First International Workshop From Software Requirements to Architectures (STRAW 01) 23rd International Conference on Software Engineering. IEEE Computer Society Press.
Fox, C., Harman, M., Hierons, R., Danicic, S. (2001). Backward conditioning: a new program specialisation technique and its application to program comprehension.
Gold, N. (2001). Hypothesis-Based Concept Assignment to Support Software Maintenance.
Gold, N., Bennett, K. (2001). A Flexible Method for Segmentation in Concept Assignment.
Harman, M., Hierons, R., Danicic, S. (2001). The relationship between program dependence and mutation analysis.
Harman, M., Hierons, R., Danicic, S., Howroyd, J., Laurence, M., Fox, C. (2001). Node coarsening calculi for program slicing.
Harman, M., Hierons, R., Fox, C., Danicic, S., Howroyd, J. (2001). Pre/post conditioned slicing.
Harman, M., Hu, L., Munro, M., Zhang, X.Y. (2001). GUSTT: An amorphous slicing system which combines slicing and transformation.
Harman, M., Hu, L., Munro, M., Zhang, X.Y. (2001). Side-effect removal transformation.
Harman, M., Jones, B. (2001). SEMINAL - Software engineering using metaheuristic INnovative ALgorithms.
Harman, M., Jones, B.F. (2001). Search-based software engineering. INFORMATION AND SOFTWARE TECHNOLOGY, 43 (14), 833-839. doi:10.1016/S0950-5849(01)00189-6
Harman, M., Jones, B.F. (2001). Software engineering using metaheuristic innovative algorithms: workshop report. INFORMATION AND SOFTWARE TECHNOLOGY, 43 (14), 905-907. doi:10.1016/S0950-5849(01)00196-3
Harman, M., Jones, B.F. (2001). The SEMINAL workshop: reformulating software engineering as a metaheuristic search problem.. ACM SIGSOFT Software Engineering Notes, 26 (6), 62. doi:10.1145/505532.505548
Harrold, M.J., Rosenblum, D., Rothermel, G., Weyuker, E. (2001). Empirical Studies of a Prediction Model for Regression Test Selection. IEEE Transactions on Software Engineering, 27 (3), 248-263. doi:10.1109/32.910860
Kaveh, N., Emmerich, W. (2001). Deadlock detection in distributed object systems.
Kaveh, N., Emmerich, W. (2001). Deadlock detection in distributed object systems. In Joint Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vienna, Austria. (pp. 44-51). New York, NY, USA: ACM Press.
Krinke, J. (2001). Identifizierung von ähnlichem Code mit Programmabhängigkeitsgraphen.
Krinke, J. (2001). Identifying similar code with program dependence graphs.
Langdon, W.B. (2001). Dynamics of Evolutionary Algorithms.
Langdon, W.B. (2001). Evolutionary Data Fusion. UK .
Langdon, W.B. (2001). Prediction. .
Langdon, W.B. (2001). Maximum Product of Non-Negative Numbers. .
Langdon, W.B., Buxton, B.F. (2001). Genetic programming for improved receiver operating characteristics.
Langdon, W.B., Nordin, P. (2001). Evolving hand-eye coordination for a humanoid robot with machine code genetic programming.
Mascolo, C., Capra, L., Emmerich, W. (2001). An XML-based middleware for peer-to-peer computing.
Mascolo, C., Emmerich, W., de Meer, H. (2001). XMILE:An XML-based approach for programmable networks.
Mascolo, C., Emmerich, W., de Meer, H. (2001). An XML-based programmable network platform.
Mascolo, C., Emmerich, W., de Meer, H. (2001). XMILE: an XML-based approach for programmable networks.
Mascolo, C., Emmerich, W., Finkelstein, A. (2001). XML technologies and software engineering.
Mascolo, C., Emmerich, W., Finkelstein, A. (2001). First ICSE 2001 workshop on XML technologies and software engineering.. ACM SIGSOFT Software Engineering Notes, 26 (6), 59. doi:10.1145/505532.505547
Nentwich, C., Emmerich, W., Finkelstein, A. (2001). Better living with xlinkit.
Nentwich, C., Emmerich, W., Finkelstein, A. (2001). Static consistency checking for distributed specifications.
Ortega-Arjona, J., Roberts, G. (2001). Pattern-Based Simulation: Simulating the Actor Model Using the Active Object Behavioural Pattern. Centro de Investigation en Computacion, Computacion y Sistemas, 5 (1), 54-66.
Piccinelli, G., Emmerich, W., Finkelstein, A. (2001). Mapping service components to EJB business objects.
Rio, M., Pezzi, N., Zanolin, L., de Meer, H., Emmerich, W., Mascolo, C. (2001). Promile: A management architecture for programmable modular routers.
Rio, M., Pezzi, N., Zanolin, L., DeMeer, H., Emmerich, W., Mascolo, C. (2001). Promile: a management architecture for programmable modular routers.
Tarr, P.L., Harrison, W.H., Ossher, H., Finkelstein, A., Nuseibeh, B., Perry, D.E. (2001). Workshop on multi-dimensional separation of concerns in software engineering.. ACM SIGSOFT Software Engineering Notes, 26 (1), 78. doi:10.1145/505894.505912

2000

Binkley, D., Harman, M., Raszewski, L.R., Smith, C. (2000). An empirical study of amorphous slicing as a program comprehension support tool.
Black, S., Clark, F. (2000). Measuring the Ripple Effect of Pascal Programs..
Clark, D., Hankin, C., Hunt, S. (2000). Safety of Strictness Analysis via Term Graph Rewriting.
Danicic, S., Fox, C., Harman, M., Hierons, R. (2000). ConSIT: A conditioned program slicer.
Danicic, S., Harman, M. (2000). Espresso: A Slicer Generator..
Emmerich, W. (2000). Software engineering and middleware: a roadmap. In Finkelstein, A. (Ed.), 22nd International Conference on on Software Engineering, Future of Software Engineering Track, ICSE 2000, Limerick Ireland, June 4-11, 2000.. (pp. 117-129). ACM.
Emmerich, W. (2000). Software engineering and middleware: a roadmap (Invited talk). In Finkelstein, A. (Ed.), The Future of Software Engineering. (pp. 117-129). ACM Press.
Emmerich, W. (2000). Engineering distributed objects. Chichester, UK: John Wiley & Sons.
Emmerich, W., Kaveh, N. (2000). Model checking distributed objects.
Emmerich, W., Kaveh, N. (2000). Model checking distributed objects.
Farbey, B., Finkelstein, A. (2000). Software engineering management: strategic choices for a new decade. In Proceedings of 2nd Workshop on Economics-Driven Software Engineering Research (EDSER-2), 2000, 22nd International Conference on Software Engineering. New York, NY: ACM Press.
Feldt, R., Neill, M.O., Ryan, C., Nordin, P., Langdon, W.B. (2000). GP-Beagle: A Benchmarking Problem Repository for the Genetic Programming Community.
Finkelstein, A. (2000). A Foolish Consistency: Technical Challenges in Consistency Management. DEXA, 1873 1-5. doi:10.1007/3-540-44469-6_1
Finkelstein, A. (2000). The Future of Software Engineering 2000: 22nd International Conference on Software Engineering. New York, US: ACM Press.
Finkelstein, A. (2000). Looking back at Y2K (Alternative titles: 'Y2K: a retrospective view' and 'Head-to-head:looking back at Y2K'). Computing and Control Engineering, 11 (4), 156-159.
Finkelstein, A. (2000). Software engineering (Encylopedia entry). In Encyclopedia of Information Sciences. Marcel Dekker.
Finkelstein, A. (2000). Head-to-head: looking back at Y2K. COMPUTING & CONTROL ENGINEERING JOURNAL, 11 (4), 156-157.
Finkelstein, A. (2000). Looking back to Y2K. COMPUTING & CONTROL ENGINEERING JOURNAL, 11 (5), 254.
Finkelstein, A., Emmerich, W. (2000). The future of requirements management tools. In Quirchmayr, G., Wagner, R., Wimmer, M. (Eds.), Information Systems in Public Administration and Law. Oesterreichische Computer Gesellschaft (Austrian Computer Society).
Finkelstein, A., Kramer, J. (2000). Software engineering: a roadmap. In Finkelstein, A. (Ed.), 22nd International Conference on on Software Engineering, Future of Software Engineering Track, ICSE 2000, Limerick Ireland, June 4-11, 2000.. (pp. 3-22). ACM.
Finkelstein, A., Smolko, D. (2000). Software agent architecture for consistency management in distributed documents.
Finkelstein, L., Finkelstein, A. (2000). Design theory advances and measurement science.
Fox, C., Harman, M., Hierons, R.M., Danicic, S. (2000). ConSIT: A Conditioned Program Slicer..
GOLD, N., MUNRO, M., BENNETT, K., BROOKE, C., RAMAGE, M. (2000). Overcoming the legacy dilemma: modelling socio-technical change options. In Bustard, D., Kawalek, P., Norris, M. (Eds.), Systems modeling for business process improvement. Artech House Publishers.
Hierons, R.M., Harman, M. (2000). Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine..
Langdon, W. (2000). Size fair and homologous tree genetic programming crossovers. Journal of Genetic Programming and Evolutionary Machines, 1 95-119. doi:10.1023/A:1010024515191
Langdon, W.B. (2000). GECCO’99 Student Workshop. Robotica, 18 (1), 87. doi:10.1017/S0263574799002507
Langdon, W.B. (2000). Genetic Programming and Evolvable Machines: Books and other Resources. Genetic Programming and Evolvable Machines, 1 165-169. doi:10.1023/A:1010028616099
Langdon, W.B. (2000). Trends in Evolutionary Data Mining.
Langdon, W.B. (2000). Natural language text classification and filtering with trigrams and evolutionary nearest neighbour classifiers. Kruislaan 413, NL-1098 SJ Amsterdam, The Netherlands .
Langdon, W.B. (2000). Problems with ROC Convex Hulls. Gower Street, London .
Lano, K., Androutsopoulos, K., Clark, D. (2000). Structuring and design of reactive systems using RSDS and B.
Lano, K., Androutsopoulos, K., Clark, D. (2000). Structuring and Design of Reactive Systems Using RSDS and B.
Lano, K., Clark, D., Androutsopoulos, K., Kan, P. (2000). Invariant-based synthesis of fault-tolerant systems.
Lano, K., Clark, D., Androutsopoulos, K., Kan, P. (2000). Invariant-Based Synthesis of Fault-Tolerant Systems.
Malabarba, S., Pandey, R., Gragg, J., Barr, E.T., Barnes, J.F. (2000). Runtime Support for Type-Safe Dynamic Java Classes..
Mascolo, C., Emmerich, W., Finkelstein, A. (2000). XMILE: an incremental code mobility system based on XML technologies.
Mascolo, C., Emmerich, W., Finkelstein, A. (2000). Implementing incremental code migration with XML.
Nentwich, C., Emmerich, W., Finkelstein, A., Zisman, A. (2000). BOX: browsing objects in XML. SOFTWARE-PRACTICE & EXPERIENCE, 30 (15), 1661-1676. doi:10.1002/1097-024X(200012)30:15<1661::aid-spe353>3.0.CO;2-O
Ortega-Arjona, J.L., Roberts, G. (2000). The communicating sequential elements pattern.
Takahashi, K., Emmerich, W., Finkelstein, A., Guerra, S. (2000). System development using application services over the Net (tutorial summary). In Ghezzi, C., Jazayeri, M., Wolf, A.L. (Eds.), Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000.. (p. 830). ACM.
Tarr, P.L., Harrison, W.H., Ossher, H., Finkelstein, A., Nuseibeh, B., Perry, D.E. (2000). Workshop on multi-dimensional separation of concerns in software engineering (summary). ICSE, 809-810. doi:10.1145/337180.337827
van Lamsweerde, A., Letier, E. (2000). Handling obstacles in goal-oriented requirements engineering. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 26 (10), 978-1005. doi:10.1109/32.879820
Zeller, A., Krinke, J. (2000). Programmierwerkzeuge - Versionskontrolle, Konstruktion, Testen, Fehlersuche unter Linux / Unix.. dpunkt.verlag.
Zisman, A., Emmerich, W., Finkelstein, A. (2000). Using XML to build consistency rules for distributed specifications.

1999

(1999). Foundations of Genetic Programming.
Arlow, J., Emmerich, W., Quinn, J. (1999). Literate modelling - capturing business knowledge with the UML.
Breitman, K.K., Leite, J.C.S.D.P., Finkelstein, A. (1999). The world?s a stage: a survey on requirements engineering using a real-life case study..
Chong, F.S., Langdon, W.B. (1999). Java based Distributed Genetic Programming on the Internet.
Emmerich, W., Finkelstein, A., Fuggetta, A., Montangero, C., Derniame, J. (1999). Software Process - Standards, Assessments and Improvement. SOFTWARE PROCESS: PRINCIPLES, METHODOLOGY, AND TECHNOLOGY, 1500 15-25.
Emmerich, W., Finkelstein, A., Montangero, C., Antonelli, S., Armitage, S., Stevens, R. (1999). Managing standards compliance.
Emmerich, W., Gruhn, V. (1999). Engineering distributed objects (EDO 99) workshop summary.
Emmerich, W., Gruhn, V. (1999). Engineering distributed objects (EDO 99) workshop summary. In Proceedings of the 21st international conference on software engineering, Los Angeles, California, United States. (pp. 705-706). Los Alamitos, CA, USA: IEEE Computer Society Press.
Emmerich, W., Roodyn, N. (1999). Distributed objects.
Emmerich, W., Roodyn, N. (1999). Distributed objects. In Proceedings of the 21st International Conference on Software Engineering, Los Angeles. (pp. 665-666). Los Alamitos, CA, USA: IEEE Computer Society Press.
Emmerich, W., Schwarz, W., Finkelstein, A. (1999). Markup meets middleware.
Farbey, B., Finkelstein, A. (1999). Exploiting software supply chain business architecture: a research agenda.
Finkelstein, A., Zisman, A. (1999). XML for software engineers.
Harman, M., Fox, C., Hierons, R., Binkley, D., Danicic, S. (1999). Program simplification as a means of approximating undecidable propositions.
Hierons, R.M., Harman, M., Danicic, S. (1999). Using Program Slicing to Assist in the Detection of Equivalent Mutants..
Krinke, J., Robschink, T. (1999). Kombination von Slicing und Constraint-Solving für Software-Reengineering.
Krinke, J., Robschink, T., Snelting, G. (1999). Software safety test with VALSOFT. Informatik - Forschung und Entwicklung, 14 (2), 62-73.
Krinke, J., Snelting, G., Robschink, T. (1999). Software-Sicherheitsprüfung mit VALSOFT.
Langdon, W.B. (1999). Scaling of Program Tree Fitness Spaces. Evolutionary Computation, 7 (4), 399-428. doi:10.1162/evco.1999.7.4.399
Langdon, W.B. (1999). Size Fair and Homologous Tree Crossovers. CWI, P.O. Box 94079, Kruislaan 413, NL-1090 GB Amsterdam, The Netherlands .
Langdon, W.B. (1999). Linear Increase in Tree Height Leads to Sub-Quadratic Bloat.
Langdon, W.B. (1999). GECCO’99 Student Workshop. Newsletter BVNKI, 16 144-143.
Langdon, W.B. (1999). Genetic Programming Approach to Benelearn 99: I.
Langdon, W.B. (1999). Evolutionary Computation 1 Session at BNAIC’99. Newsletter BVNKI, 16 168-169.
Langdon, W.B., Poli, R. (1999). On the Tendency for Search with Simple Evaluation Functions to Find Larger Partial Solutions. Soft Computing,
Langdon, W.B., Soule, T., Poli, R., Foster, J.A. (1999). The Evolution of Size and Shape. In Spector, L., Langdon, W.B., Reilly, U.-.M.O., Angeline, P.J. (Eds.), Advances in Genetic Programming 3. (pp. 163-190). Cambridge, MA, USA: MIT Press.
Morris, S.J., Finkelstein, A. (1999). Engineering via Discourse: Content Structure as an Essential Component for Multimedia Documents. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 9 (6), 691-724. doi:10.1142/S0218194099000371
Ortega-Arjona, J.L., Roberts, G. (1999). Architectural development pattern.
Ortega-Arjona, J.L., Roberts, G. (1999). Searching basic notions for software architecture design.
Poli, R., Langdon, W.B. (1999). Sub-machine-code Genetic Programming. In Spector, L., Langdon, W.B., Reilly, U.-.M.O., Angeline, P.J. (Eds.), Advances in Genetic Programming 3. (pp. 301-323). Cambridge, MA, USA: MIT Press.
Poli, R., Page, J., Langdon, W.B. (1999). Solving Even-12, -13, -15, -17, -20 and -22 Boolean Parity Problems using Sub-machine Code GP with Smooth Uniform Crossover, Smooth Point Mutation and Demes. .
Quick, T., Dauntenhahn, K., Nehaniv, C., Roberts, G. (1999). The essence of embodiment: a framework for understanding and exploiting structural coupling and environment.
Robschink, T., Krinke, J. (1999). Heuristische Graphzerlegung.
Roodyn, N., Emmerich, W. (1999). An architectural style for multiple real-time data feeds. In Proceedings of the 21st International Conference on Software Engineering, Los Angeles. (pp. 564-572). Los Alamitos, CA, USA: IEEE Computer Society Press.
Roodyn, N., Emmerich, W. (1999). An architectural style for multiple real-time data feeds.
Sharp, H., Finkelstein, A., Galal, G. (1999). Stakeholder identification in the requirements engineering process. In 10th International Workshop on Database & Expert Systems Applications, Florence, Italy, September 1-3, 1999, Proceedings.. (pp. 387-391). IEEE Computer Society.
Spanoudakis, G., Finkelstein, A., Till, D. (1999). Overlaps in Requirements Engineering. Autom. Softw. Eng., 6 171-198. doi:10.1023/A:1008718614166
Spector, L., Langdon, W.B., O'Reilly, U.-.M., Angeline, P.J. (1999). An Introduction to the Third Volume. In Spector, L., Langdon, W.B., Reilly, U.-.M.O., Angeline, P.J. (Eds.), Advances in Genetic Programming 3. (pp. 1-12). Cambridge, MA, USA: MIT Press.
Spector, L., Langdon, W.B., Reilly, U.-.M.O., Angeline, P.J. (Eds.), (1999). Advances in Genetic Programming 3. Cambridge, MA, USA: MIT Press.
Thanitsukkarn, T., Finkelstein, A. (1999). Multiperspective Analysis of the Sisyphus-I Room Allocation Task Modelled in a CG Meta-Representation Language. ICCS, 1640 272-296. doi:10.1007/3-540-48659-3_18

1998

Armitage, S., Stevens, R., Finkelstein, A. (1998). Implementing a compliance manager. Requirements Engineering, 3 (2), 98-106.
Brooke, C., Ramage, M., Bennett, K., Gold, N. (1998). Change Effects And Legacy Information Systems: A Framework To Aid Our Understanding.
Brooke, C., Ramage, M., Gold, N. (1998). From Legacy System To Business Asset: A Model To Support Organisational And Technological Change.
Ellmer, E., Emmerich, W. (1998). Business objects: the next step in component technology?.
Ellmer, E., Emmerich, W. (1998). Business objects:the next step in component technology?. University of Waikato, New Zealand.
Ellmer, E., Emmerich, W., Finkelstein, A. (1998). Process technology implications of procurement processes: some initial observations.
Emmerich, W. (1998). Recent developments in OMG/CORBA. Tutorial summary.
Emmerich, W. (1998). Software process - standards, assessments and improvements to. In Derniame, J., Kaba, A., Wastell, D. (Eds.), Software Process: Principles, Methodology, Technology. Berlin: Springer-Verlag.
Emmerich, W. (1998). Recent developments in OMG/CORBA. In Proceedings of the 20st International Conference on Software Engineering Volume II, Kyoto, Japan. (pp. 276-277). IEEE Computer Society Press.
Emmerich, W. (1998). Software process: standards, assessments and improvements. In Derniame, J., Kaba, B., Wastell, D. (Eds.), Software Process: Principles, Methodology, Technology. (pp. 15-25). Springer Verlag.
Emmerich, W., Sawyer, P. (1998). Guest editor's introduction to the special issue on the conference on european industrial requirements engineering. Requirements Engineering Journal, 3 (2), 71-72.
Finkelstein, A. (1998). Interoperable Systems: an introduction. In Information Systems Interoperability. Research Studies Press.
Harman, M., Danicic, S. (1998). A new algorithm for slicing unstructured programs. JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE, 10 (6), 415-441. doi:10.1002/(SICI)1096-908X(199811/12)10:6<415::aid-smr180>3.0.CO;2-Z
Harman, M., Gallagher, K.B. (1998). Program slicing. INFORMATION AND SOFTWARE TECHNOLOGY, 40 (11-12), 577-581. doi:10.1016/S0950-5849(98)00084-6
Harman, M., Sivagurunathan, Y., Danicic, S. (1998). Analysis of dynamic memory access using amorphous slicing.
Krinke, J. (1998). Static slicing of threaded programs.
Krinke, J., Snelting, G. (1998). Validation of measurement software as an application of slicing and constraint solving. INFORMATION AND SOFTWARE TECHNOLOGY, 40 (11-12), 661-675. doi:10.1016/S0950-5849(98)00090-1
Langdon, W.B. (1998). GP97 Conference Report. Robotica, 16 (1), 117-118. doi:10.1017/S0263574798210204
Langdon, W.B. (1998). Genetic Programming and Data Structures: Genetic Programming + Data Structures = Automatic Programming!. Boston: Kluwer.
Langdon, W.B. (1998). GENETIC ALGORITHMS IN ENGINEERING SYSTEMS by A.N.S. Zalzala and P.J. Fleming. IEE Control Engineering Series 55, 1997, ISBN 0 85296 902 3, 279 pp. (£ 45; Hbk).. Robotica, 16 (6), 701. doi:10.1017/S026357479821085X
Langdon, W.B., Poli, R. (1998). Why Ants are Hard. .
Langdon, W.B., Poli, R. (1998). Better Trained Ants for Genetic Programming. .
Langdon, W.B., Poli, R. (1998). Why “Building Blocks” Don’t Work on Parity Problems. .
Ortega-Arjona, J.L., Roberts, G. (1998). The concept of software structure and its relations with software architecture and software patterns.
Ortega-Arjona, J.L., Roberts, G. (1998). Architectural patterns for parallel programming.
Page, J., Poli, R., Langdon, W.B. (1998). Smooth Uniform Crossover with Smooth Point Mutation in Genetic Programming: A Preliminary Study. .
Poli, R., Langdon, W.B. (1998). On the Ability to Search the Space of Programs of Standard, One-point and Uniform Crossover in Genetic Programming. .
Poli, R., Langdon, W.B. (1998). Schema Theory for Genetic Programming with One-point Crossover and Point Mutation. Evolutionary Computation, 6 (3), 253-273. doi:10.1162/evco.1998.6.3.253
Poli, R., Langdon, W.B. (1998). Sub-machine-code Genetic Programming. .
Poli, R., Langdon, W.B., O'Reilly, U.-.M. (1998). Short Term Extinction Probability of Newly Created Schemata, and Schema Variance and Signal-to-Noise-Ratio Theorems in the Presence of Schema Creation. .
Spanoudakis, G., Finkelstein, A. (1998). A semi-automatic process of identifying overlaps and inconsistencies between requirements specifications. OOIS'98: 1998 INTERNATIONAL CONFERENCE OBJECT ORIENTED INFORMATION SYSTEMS, PROCEEDINGS, 405-424.
Thanitsukkarn, T., Finkelstein, A. (1998). A Conceptual Graph Approach to Support Multiperspective Development Environments.
van Lamsweerde, A., Darimont, R., Letier, E. (1998). Managing conflicts in goal-driven requirements engineering. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 24 (11), 908-926. doi:10.1109/32.730542
van Lamsweerde, A., Letier, E. (1998). Integrating obstacles in goal-driven requirements engineering.

1997

Arlow, J., Bandinelli, S., Emmerich, W., Lavazza, L. (1997). Fine grained process modelling: an experiment at British Airways. Software Process: Improvement and Practice, 3 (2), 105-131. doi:10.1002/(SICI)1099-1670(199706)3:2<105::aid-spip70>3.0.CO;2-E
Arlow, J., Bandinello, S., Emmerich, W., Lavazza, L. (1997). A Fine-Grained Process Modelling Experiment at British Airways. Software Process, 3 105-131.
Emmerich, W. (1997). CORBA and ODBMSs in Viewpoint Development Architectures.
Emmerich, W. (1997). An introduction to OMG/CORBA (tutorial).
Emmerich, W. (1997). An introduction to CORBA (tutorial summary).. In Proceedings of the 19th international conference on Software engineering, Boston, Massachusetts, United States. (pp. 641-642). New York, New York, USA: ACM Press.
Emmerich, W. (1997). CORBA and ODBMSs in viewpoint development environment architectures.
Emmerich, W., Arlow, J., Madec, J., Phoenix, M. (1997). Tool construction for the British Airways SEE with the O2 ODBMS. Theory and Practice of Object Systems, 3 (3), 213-231.
Emmerich, W., Finkelstein, A., Montangero, C. (1997). 'The World and the Machine': a critical perspective on process technology.
Emmerich, W., Finkelstein, A., Montangero, C., Stevens, R. (1997). Standards compliant software development.
Feather, M., Fickas, S., Finkelstein, A., Lamsweerde, A.V. (1997). Requirements and specification exemplars. Autom. Softw. Eng., 4 419-438. doi:10.1023/A:1008680612960
Finkelstein, A., Stevens, R. (1997). Requirements Traceability. RE, 265. doi:10.1109/RE.1997.10008
Gotel, O., Finkelstein, A. (1997). Extended requirements traceability: results of an industrial case study.
Harman, M., Danicic, S. (1997). Amorphous program slicing.
Kadam, S., Roberts, G., Buxton, B. (1997). Design Patterns for Parallelizing Vision-Related Applications on Network of Workstations.
Langdon, W.B. (1997). Fitness Causes Bloat in Variable Size Representations. .
Langdon, W.B. (1997). Fitness Causes Bloat: Mutation.
Langdon, W.B. (1997). GP97 Conference Report. EvoNews, 1 4-5.
Langdon, W.B. (1997). Fitness Causes Bloat: Simulated Annealing, Hill Climbing and Populations. .
Langdon, W.B., Clack, C. (1997). Software – The Next Generation: Grow Your Own Programs. University College London, Gower Street, London .
Langdon, W.B., Poli, R. (1997). Price’s Theorem and the MAX Problem. .
Langdon, W.B., Poli, R. (1997). Fitness Causes Bloat. Birmingham, B15 2TT, UK .
Langdon, W.B., Poli, R. (1997). Genetic Programming in Europe.
Langdon, W.B., Poli, R. (1997). Genetic Programming Bloat with Dynamic Fitness. .
Langdon, W.B., Poli, R. (1997). Fitness Causes Bloat: Mutation.
Langdon, W.B., Treleaven, P.C. (1997). Scheduling Maintenance of Electrical Power Transmission Networks Using Genetic Programming. In Warwick, K., Ekwue, A., Aggarwal, R. (Eds.), Artificial Intelligence Techniques in Power Systems. (pp. 220-237). IEE.
Poli, R., Langdon, W.B. (1997). A New Schema Theory for Genetic Programming with One-Point Crossover and Point Mutation. The University of Birmingham, B15 2TT, UK .
Poli, R., Langdon, W.B. (1997). An Experimental Analysis of Schema Creation, Propagation and Disruption in Genetic Programming. .
Poli, R., Langdon, W.B. (1997). Genetic Programming with One-Point Crossover and Point Mutation. Birmingham, B15 2TT, UK .
Poli, R., Langdon, W.B. (1997). A Review of Theoretical and Experimental Results on Schemata in Genetic Programming. B15 2TT, UK .
Poli, R., Langdon, W.B. (1997). A Review of Theoretical and Experimental Results on Schemata in Genetic Programming.
Sivagurunathan, Y., Harman, M., Danicic, S. (1997). Slicing, I/O and the Implicit State..
Spanoudakis, G., Finkelstein, A. (1997). Overlaps Among Requirements Specifications.
Spanoudakis, G., Finkelstein, A. (1997). Reconciling requirements: a method for managing interference, inconsistency and conflict. ANNALS OF SOFTWARE ENGINEERING, 3 433-457. doi:10.1023/A:1018998207415
Winder, R., Roberts, G. (1997). Developing Java Software. London: Wiley.

1996

Barghouti, N.S., Emmerich, W., Schaefer, W., Skarra, A.H. (1996). Information management in process-centered software engineering enviroments. In Fuggetta, A., Wolf, A. (Eds.), Software Process. (pp. 53-87). Chichester: John Wiley and Sons.
Clark, D., Kennaway, R. (1996). Event Structures and Non-Orthogonal Term Graph Rewriting. Mathematical Structures in Computer Science, 6 545-578.
Emmerich, W. (1996). Tool specification with GTSL. In Proceedings of the 8th International Workshop on Software Specification and Design, Schloss Velen, Germany. (pp. 26-35). IEEE Computer Society Press.
Emmerich, W. (1996). An architecture for viewpoint environments based on OMG/CORBA. In Proceedings of the Workshop on Viewpoints, San Francisco, California, USA. (pp. 207-211). New York, NY, USA: ACM Press.
Emmerich, W., Bandinelli, S., Lavazza, L., Arlow, J. (1996). Fine grained process modelling: an experiment at British Airways. In Proceedings of the 4th International Conference on the Software Process, Brighton, United Kingdom. (pp. 2-12). IEEE Computer Society Press.
Emmerich, W., Ferrandina, F., Arlow, J. (1996). The OMG CORBAServices: an overview (in German). Objekt Spektrum, 46-56.
Emmerich, W., Ferrandina, F., Vogel, A. (1996). Integration of Java and CORBA: portable client/server-applications in the Internet (in German). Objekt Spektrum, 62-65.
Emmerich, W., Finkelstein, A. (1996). Do process-centred environments deserve process-centred tools?. In Montangero, C. (Ed.), Software Process Technology, 5th European Workshop, EWSPT '96, Nancy, France, October 9-11, 1996, Proceedings. (pp. 75-81). Springer.
Emmerich, W., Spanoudakis, G. (1996). Next-generation viewpoint-based environments. Norway: Norweigan University of Science and Technology (NTNU).
Emmerich, W., Spanoudakis, G., Finkelstein, A. (1996). Next-Generation Viewpoint-based Environments.
Finkelstein, A. (1996). Relating viewpoints: a preface to Viewpoints 96.
Finkelstein, A. (1996). Improving public understanding of software engineering. IEEE SOFTWARE, 13 (6), 20-21.
Finkelstein, A. (1996). Requirements engineering research: coordination and infrastructure.
Finkelstein, A., Dowell, J. (1996). A Comedy of Errors: the London Ambulance Service case study. In 8th International Workshop on Software Specification & Design IWSSD-8. (pp. 2-4). IEEE CS Press.
Finkelstein, A., Ryan, M., Spanoudakis, G. (1996). Software package requirements and procurement. In Proceedings of 8th International Workshop on Software Specification Design (IWSSD-8). (pp. 141-146). IEEE Computer Society Press.
Finkelstein, A., Sommerville, I. (1996). The viewpoints FAQ. SOFTWARE ENGINEERING JOURNAL, 11 (1), 2-4.
Finkelstein, A., Spanoudakis, G., Till, D. (1996). Managing Interference.
Gotel, O., Finkelstein, A. (1996). Revisiting requirements production.. Software Engineering Journal, 11 166-182.
Gotel, O., Finkelstein, A. (1996). An Analysis of the Requirements Traceability Problem. In Arnold, R., Bohner, S. (Eds.), Software Change Impact Analysis. IEEE Computer Society Press.
Gotel, O., Finkelstein, A. (1996). The contribution stuctures of networked organisations. In ACM Workshop on Enabling Technologies - Infrastructure for Collaborative Enterprises (WET-ICE). ACM Press.
Gotel, O., Finkelstein, A. (1996). Extended Requirements Traceability a Framework for Changing Requirements.
Gotel, O., Finkelstein, A. (1996). Revisiting requirements production. SOFTWARE ENGINEERING JOURNAL, 11 (3), 166-182.
Harman, M., Simpson, D., Danicic, S. (1996). Slicing Programs in the Presence of Errors..
Langdon, W. (1996). Scheduling Planned Maintenance of the South Wales Region of the National Grid. .
Langdon, W.B. (1996). Data Structures and Genetic Programming. In Angeline, P.J., K E Kinnear, J. (Eds.), Advances in Genetic Programming 2. (pp. 395-414). Cambridge, MA, USA: MIT Press.
Langdon, W.B. (1996). A Bibliography for Genetic Programming. In Angeline, P.J., K E Kinnear, J. (Eds.), Advances in Genetic Programming 2. (pp. 507-532). Cambridge, MA, USA: MIT Press.
Langdon, W.B. (1996). Using Data Structures within Genetic Programming. Gower Street, London, WC1E 6BT, UK .
Langdon, W.B. (1996). Genetic Programming and Databases. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1996). Scheduling Maintenance of Electrical Power Transmission Networks Using Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1996). Evolution of Genetic Programming Populations. Gower Street, London WC1E 6BT, UK .
Morris, S., Finkelstein, A. (1996). Integrating design and development in the production of multimedia documents. In 1996 International Workshop on Multimedia Software Development (MMSD '96). (pp. 98-107). IEEE Computer Society Press.
Nuseibeh, B., Finkelstein, A., Kramer, J. (1996). Method engineering for multi-perspective software development. INFORMATION AND SOFTWARE TECHNOLOGY, 38 (4), 267-274. doi:10.1016/0950-5849(95)01054-8
Poon, W.L., Finkelstein, A. (1996). Consistency Management for Multiple Perspective Software Development.
Spanoudakis, G., Finkelstein, A. (1996). Reconciliation: Managing Interference in Software Development.

1995

Clark, D., Kennaway, R. (1995). Some properties of non-orthogonal term graph rewriting systems. Electronic Notes in Theoretical Computer Science, 2 (C), 36-45. doi:10.1016/S1571-0661(05)80179-3
Colbert, M., Voglimacci, C., Finkelstein, A. (1995). Live, audio-visual communication systems for distance learning: experience, heuristics and ISDN. BEHAVIOUR & INFORMATION TECHNOLOGY, 14 (5), 267-288.
Danicic, S., Harman, M., Sivagurunathan, Y. (1995). A parallel algorithm for static program slicing. INFORMATION PROCESSING LETTERS, 56 (6), 307-313. doi:10.1016/0020-0190(95)00170-0
Finkelstein, L., Finkelstein, A. (1995). Review of Design Methodology. In Collen, A., Gasparski, W. (Eds.), Design and Systems Praxiology: The International Annual of Practical Philosophy and Methodology. (pp. 95-122). Transaction Publishers.
Gotel, O., Finkelstein, A. (1995). Contribution structures.
Harman, M., Danicic, S. (1995). Using Program Slicing to Simplify Testing..
HARMAN, M., DANICIC, S., JONES, B., SIVAGURUNATHAN, B., SIVAGURUNATHAN, Y. (1995). Project project: Tools for program analysis and comprehension.
Langdon, W.B. (1995). Evolving Data Structures Using Genetic Programming. Gower Street, London, WC1E 6BT, UK .
Langdon, W.B. (1995). Pareto, Population Partitioning, Price and Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1995). Directed Crossover within Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1995). Data Structures and Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1995). Scheduling Planned Maintenance of the National Grid. In (pp. 132-153). .
Langdon, W.B., Qureshi, A. (1995). Genetic Programming – Computers using “Natural Selection” to generate programs. Gower Street, London WC1E 6BT, UK .
Leonhardt, U., Kramer, J., Nuseibeh, B., Finkelstein, A. (1995). Decentralised process enactment in a multi-perspective development environment.
Nuseibeh, B., Kramer, J., Finkelstein, A., Leonhardt, U. (1995). Decentralised Process Modelling. EWSPT, 913 185-188. doi:10.1007/3-540-59205-9_55

1994

Abiteboul, S., Adiba, M., Arlow, J., Armenise, P., Bandinelli, S., Baresi, L., ...Collet, P. (1994). The GOODSTEP project: General Object-Oriented Database for Software Engineering Processes. In In Proceedings of the 1st Asian Pacific Software Engineering Conference, Tokyo, Japan. (pp. 10-19). IEEE Computer Society Press.
Clark, D., Errington, L., Hankin, C. (1994). Static Analysis of Value-Passing Process Calculi.
Derniame, J., Finkelstein, A., Kramer, J., Nuseibeh, B. (1994). Directions in software process modelling and technology. In Software Process Modelling and Technology. Research Studies Press and John Wiley & Sons.
Easterbrook, S., Finkelstein, A., Kramer, J., Nuseibeh, B. (1994). Coordinating Conflicting ViewPoints by Managing Inconsistency.
Easterbrook, S., Finkelstein, A., Kramer, J., Nuseibeh, B. (1994). Coordinating distributed viewpoints - the anatomy of a consistency check. CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2 (3), 209-222. doi:10.1177/1063293X9400200307
Finkelstein, A. (1994). A course on requirements engineering.
Finkelstein, A. (1994). Requirements engineering: a review and research agenda. APSEC, 10-19. doi:10.1109/APSEC.1994.465278
Finkelstein, A. (1994). Software engineering education - a place in the sun. 16TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 358-359. doi:10.1109/ICSE.1994.296806
Finkelstein, A. (1994). Is Application Development Focused On Real Problems.
Finkelstein, A., Finkelstein, L. (1994). Requirements Engineering For Instrument Systems. MEASUREMENT & CONTROL, 27 (8), 248-250.
Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B. (1994). Inconsistency handling in multi-perspective specifications. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 20 (8), 569-578. doi:10.1109/32.310667
Finkelstein, A., Kramer, J., Nuseibeh, B. (1994). Software Process Modelling Technology. Research Studies Press.
Gotel, O., Finkelstein, A. (1994). An analysis of the requirements traceability problem. ICRE, 94-101. doi:10.1109/ICRE.1994.292398
Gotel, O., Finkelstein, A. (1994). Modelling the contribution structure underlying requirements.
HARMAN, M., DANICIC, S. (1994). USING AN INTERPRETER TO TEACH INTRODUCTORY PROGRAMMING.
HARMAN, M., DANICIC, S. (1994). USING A FUNCTIONAL LANGUAGE TO TEACH ELEMENTS OF FORMAL METHODS.
HARMAN, M., DANICIC, S. (1994). PRACTICAL SUBPROGRAM VERIFICATION - AN APPROACH WHICH USES SLICING, METRICS AND AXIOMATIC VERIFICATION.
Johnson, W.L., Finkelstein, A. (1994). Introduction..
Langdon, W.B. (1994). Quick Intro to simple-gp.c. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1994). Genetic Programming. Department of Computer Science .
Nuseibeh, B., Finkelstein, A., Kramer, J., Easterbrook, S. (1994). Concurrent software engineering: coordinating distributed viewpoints for managing inconsistency.
Nuseibeh, B., Kramer, J., Finkelstein, A. (1994). A framework for expressing the relationships between multiple views in requirements specification. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 20 (10), 760-773. doi:10.1109/32.328995

1993

Avellis, G., Finkelstein, A. (1993). Designing Composite Systems.
Clark, D., Hankin, C. (1993). A Lattice of Abstract Graphs.
Emmerich, W., Kroha, P., Schaefer, W. (1993). Object-oriented database management systems for construction of CASE environments. In Mavrik, V., Lavzanksy, J., Wagner, R. (Eds.), Database and Expert Systems Applications: Proceedings of the 4th International Conference DEXA '93, Prague, Czech Republic. (pp. 631-642). Springer Verlag.
Emmerich, W., Schaefer, W. (1993). Dedicated object management benchmarks for software engineering applications. In Proceedings of the Software Engineering Environments '93, Reading, UK. (pp. 130-142). IEEE Computer Society Press.
Emmerich, W., Schaefer, W., Welsh, J. (1993). Databases for software engineering environments: the goal has not yet been attained. In Sommerville, I., Paul, M. (Eds.), Software Engineering ESEC '93: Proceedings of the 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany. (pp. 145-162). Springer Verlag.
Finkelstein, A. (1993). European computing curricula: a guide and comparative analysis. COMPUTER JOURNAL, 36 (4), 299-319. doi:10.1093/comjnl/36.4.299
Finkelstein, A. (1993). A Short Guide to European Computing Curricula. International Perspectives in Software Engineering, 2
Finkelstein, A., Easterbrook, S., Kramer, J., Nuseibeh, B. (1993). Multi-view Requirements Engineering.
Finkelstein, A., Easterbrook, S., Kramer, J., Nuseibeh, B. (1993). Requirements engineering through viewpoints. In DRA Colloquium on Analysis of Requirements for Software Intensive Systems. (pp. 18-26). Defence Research Agency.
Finkelstein, A., Gabbay, D.M., Hunter, A., Kramer, J., Nuseibeh, B. (1993). Inconsistency Handling in Multi-Perspective Specifications.
Finkelstein, A., Kramer, J., Abramsky, S., Broda, K., Drossopoulou, S., Eisenbach, S. (1993). An integrated engineering study scheme in computing. COMPUTER JOURNAL, 36 (4), 320-334. doi:10.1093/comjnl/36.4.320
Finkelstein, A., Kramer, J., Nuseibeh, B. (1993). Viewpoint Oriented Development: applications in composite systems. In Redmill, F., Anderson, T. (Eds.), Safety Critical Systems: current issues, techniques & standards. (pp. 90-101). Chapman and Hall.
HARMAN, M., DANICIC, S. (1993). PROJECTING FUNCTIONAL MODELS OF IMPERATIVE PROGRAMS. SIGPLAN NOTICES, 28 (11), 33-41.
Kramer, J., Finkelstein, A., Nuseibeh, B. (1993). Method integration and support for distributed software development: an overview. In Lamb, D.A. (Ed.), Studies of Software Design, ICSE'93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993, Selected Papers. (pp. 115-126). Springer.
Morris, S.J., Finkelstein, A. (1993). Development of multiple media documents. In Proceedings of the Conference on Organizational Computing Systems, COOCS 1993, Milpitas, California, USA, November 1-4, 1993. (pp. 69-77). ACM.
Nuseibeh, B., Finkelstein, A., Kramer, J. (1993). Fine-grain process modelling. In Wileden, J.C. (Ed.), Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993. (pp. 42-46). IEEE Computer Society.
Nuseibeh, B., Kramer, J., Finkelstein, A. (1993). Expressing The Relationships Between Multiple Views In Requirements Specification.

1992

Castro, J., Finkelstein, A. (1992). Requirements elicitation and formalization.
Dewal, S., Emmerich, W., Lichtinghagen, K. (1992). A decision support method for the selection of OMSs. In Proceedings of the 2nd International Conference on Systems Integration, ICSI '92, Morristown, N.J. (pp. 32-40). IEEE Computer Society Press.
Emmerich, W., Schaefer, W., Welsh, J. (1992). Suitable databases for process-centred environments do not yet exist. In Derniame, J. (Ed.), Proceedings of the 2nd European Workshop on Software Process Technology, EWSPT '92, Trondheim, Norway. (pp. 94-98). Springer Verlag.
Finkelstein, A. (1992). An advanced course on software development environments.
Finkelstein, A. (1992). Reviewing and correcting specifications. INSTRUCTIONAL SCIENCE, 21 (1-3), 183-198. doi:10.1007/BF00119664
Finkelstein, A. (1992). A scheme for review, annotation and correction of specifications. Instructional Science, 21 183-198.
Finkelstein, A. (1992). A software process immaturity model. SIGSOFT Software Engineering Notes, 17 (5), 22-23.
Finkelstein, A. (1992). Software process modelling: a manifesto. IOPener, 1 (4), 3-7.
Finkelstein, A., Kramer, J. (1992). A critical evaluation of software process modelling techniques. In IEE Colloquium on Process Planning and Modelling. London, UK: IEE.
Finkelstein, A., Kramer, J., Hales, M. (1992). Process modelling: a critical analysis. In Integrated Software Reuse: management and techniques. (pp. 137-148). Chapman and Hall and UNICOM.
Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M. (1992). Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal of Software Engineering and Knowledge Engineering, 02 (01), 31-57. doi:10.1142/S0218194092000038
FINKELSTEIN, A., KRAMER, J., NUSEIBEH, B., FINKELSTEIN, L., GOEDICKE, M. (1992). A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM-DEVELOPMENT - VIEWPOINTS. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2 (1), 31-57. doi:10.1142/S0218194092000038
Finkelstein, A., Nuseibeh, B., Finkelstein, L., Huang, J. (1992). Technology Transfer: software engineering and engineering design. IEE Computing and Control Engineering Journal, 3 (6), 259-265.
Finkelstein, L., Huang, J., Finkelstein, A., Nuseibeh, B. (1992). Using software specification methods for measurement instruments: Part I - structured methods. Measurement, 10 (2), 79-86.
Finkelstein, L., Huang, J., Finkelstein, A., Nuseibeh, B. (1992). Using software specification methods for measurement instruments: Part II - formal methods. Measurement, 10 (2), 87-92.
Morris, S., Finkelstein, A. (1992). An Experimental Hypertext Design Method and Applications in the Field of Art History. Computers and the History of Art, 2 (2), 45-63.
Nuseibeh, B., Finkelstein, A. (1992). Viewpoints - a vehicle for method and tool integration. PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON COMPUTER-AIDED SOFTWARE ENGINEERING, 50-60.

1991

Attridge, G., Finkelstein, A., Phillips, G. (1991). Application of Information Systems Modelling to Civil Protection Planning and Operations.
Bustin, P., Langdon, W.B., Elbourn, B. (1991). Sizing Report for the Company Office System at Thames Valley Park, British Gas Exploration and Production.
Emmerich, W., Gruhn, V. (1991). FUNSOFT Nets: a petri-net based software process modeling language. In Proceedings of the 6th International Workshop on Software Specification and Design, Como, Italy. (pp. 175-184). IEEE Computer Society Press.
Emmerich, W., Junkermann, G., Peuschel, B., Schaefer, W., Wolf, S. (1991). MERLIN: Knowledge-based Process Modeling. In Proceedings of the 1st European Workshop on Software Process Modeling, Milan, Italy. (pp. 181-187). Italy: A.I.C.A. Press.
Finkelstein, A. (1991). A (Neat) Alphabet Of Requirements Engineering Issues. ESEC 91 : 3RD EUROPEAN SOFTWARE ENGINEERING CONFERENCE, 550 489-491.
Finkelstein, A. (1991). Reviewing and correcting specifications. In Computers and Writing IV. (pp. 219-237). Computers and Writing Association.
Finkelstein, A. (1991). Student Problems in Software Engineering Education.
Finkelstein, A. (1991). Tracing back from requirements.
FINKELSTEIN, A. (1991). A (NEAT) ALPHABET OF REQUIREMENTS ENGINEERING ISSUES. LECTURE NOTES IN COMPUTER SCIENCE, 550 489-491.
Finkelstein, A., Goedicke, M., Kramer, J., Niskier, C. (1991). ViewPoint Oriented Software Development: methods and viewpoints in requirements engineering. In (pp. 29-54). SPRINGER.
Finkelstein, A., Kramer, J. (1991). TARA: tool assisted requirements analysis. In Conceptual Modelling, Databases and CASE: an integrated view of information systems development. (pp. 413-432). John Wiley.
Finkelstein, A., Kramer, J., Nuseibeh, B. (1991). A viewpoint-based framework for software development environments.
Finkelstein, L., Finkelstein, A. (1991). Advances in the Automation of Instrument Systems Design.
Finkelstein, L., Finkelstein, A. (1991). The Life Cycle of Engineering Products: an analysis of concepts. Engineering Management Journal, 1 (3), 115-121.
Gilmore, S., Finkelstein, A. (1991). Teaching Formal and Informal Aspects of Software Engineering in a Unified Framework.
Goldsack, S., Finkelstein, A. (1991). Requirements engineering for real-time systems. SOFTWARE ENGINEERING JOURNAL, 6 (3), 101-115.
Kellner, M., Feiler, P., Finkelstein, A., Katayama, T., Osterweil, L., Penedo, M., Rombach, D. (1991). ISPW-6 Software process example. In 1st International Conference on the Software Process, October 21-26 1991. (pp. 176-187). IEEE Computer Society Press.
KRAMER, J., FINKELSTEIN, A. (1991). A CONFIGURABLE FRAMEWORK FOR METHOD AND TOOL INTEGRATION. LECTURE NOTES IN COMPUTER SCIENCE, 509 233-257.
Kramer, J., Finkelstein, A. (1991). A configurable framework for method and tool integration.

1990

Finkelstein, A. (1990). Heterogeneous, composite or multi-paradigm system development. In Encyclopedia of Software Engineering. John Wiley.
Finkelstein, A., Fuks, H. (1990). Conversation Analysis and Specification. In Luff, P., Gilbert, N., Frohlich, D. (Eds.), Computers and Conversation. (pp. 183-187). Academic Press.
Finkelstein, A., Kramer, J., Goedicke, M. (1990). ViewPoint Oriented Software Development.
Finkelstein, A., Maibaum, T., Finkelstein, L. (1990). Engineering-in-the-large - software engineering and instrumentation. UK IT 1990 CONFERENCE, 316 1-7.
Finkelstein, A., Tauber, M., Traunmuller, R. (1990). Human Factors in Information Systems Analysis and Design. North Holland.
Finkelstein, A., Tauber, M., Traunmuller, R. (1990). Understanding Human Action In Information-System Development. HUMAN FACTORS IN ANALYSIS AND DESIGN OF INFORMATION SYSTEMS, 1-4.
HARMAN, M., DANICIC, S., GILCHRIST, R. (1990). PROGRAMMING-LANGUAGES FOR STATISTICAL COMPUTATION.
Kaplan, S.M., Finkelstein, A., Kaiser, G.E., Ryan, K., Schäfer, W. (1990). Interactively supporting the software process. INTERACT, 1047-1049.
Kramer, J., Magee, J., Finkelstein, A. (1990). A Constructive Approach To The Design Of Distributed Systems. 10TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 580-587.

1989

Finkelstein, A. (1989). An example of software development modelling. In Perry, D.E. (Ed.), Proceedings of the Fifth International Software Process Workshop (ISPW '89), October 1989, Kennebunkport, Maine, USA. (pp. 151-153). IEEE Computer Society.
Finkelstein, A. (1989). "Not waving but drowning?: representation schemes for modelling software development. In Druffel, L.E., Fairley, D., Bjørner, D. (Eds.), Proceedings of the 11th International Conference on Software Engineering, Pittsburg, PA, USA, May 15-18, 1989.. (pp. 402-404). IEEE Computer Society / ACM Press.
Finkelstein, A. (1989). A structural framework for the formal representation of cooperation. ISPW, 61-63. doi:10.1109/ISPW.1989.690418
Finkelstein, A., Fischer, M. (1989). Arranging a Marriage in Pakistan and Legal Expert Systems. Computers and Law, (61),
Finkelstein, A., Fuks, H. (1989). Multi-Party Specification.
Finkelstein, A., Hagelstein, J. (1989). Formal Frameworks for Understanding Information System Requirements Engineering: a research agenda.
Finkelstein, L., Finkelstein, A. (1989). Instruments and Instrument Systems: design principles. In Singh, M. (Ed.), Systems and Control Encylopedia, IV. (pp. 2533-2536). Pergamon Press.

1988

Finkelstein, A. (1988). Re-use of formatted requirements specifications.. Software Engineering Journal, 3 186-197.
Finkelstein, A. (1988). Requirements engineering: methods, tools and frameworks.
Finkelstein, A., Fuks, H. (1988). A Cooperative Framework For Program-development. INFORMATION AND SOFTWARE TECHNOLOGY, 30 (8), 467-476. doi:10.1016/0950-5849(88)90143-7
Finkelstein, A., Fuks, H. (1988). A Cooperative Framework for Software Engineering.
Finkelstein, A., Fuks, H., Niskier, C., Sadler, M. (1988). Constructing a dialogic framework for software development.
Finkelstein, L., Finkelstein, A.C.W. (1988). Fundamental principles of measurement and instrumentation - design principles. ACTA POLYTECHNICA SCANDINAVICA-ELECTRICAL ENGINEERING SERIES, (63), 11-23.
Fischer, M., Finkelstein, A. (1988). Computer Assisted Ethnography - Arranging a Marriage in Pakistan.
Langdon, W.B. (1988). A Simple Comparison of VAX and microVAX RSX. The Globalpages, 109-111.
Langdon, W.B. (1988). $<$Control-Y$>$ Cancels X-OFF, Doesn’t it?. The Globalpages, 106-107.
Langdon, W.B. (1988). Patching MVE VMS 4.4 to support SI disks. The Globalpages, 108.

1987

Finkelstein, A. (1987). Reuse of formatted specifications. Software Engineering Journal, 3 (5), 186-197.
Finkelstein, A., Potts, C. (1987). Building formal specifications using structured common sense. In 4th International Workshop Software Specification and Design. (pp. 108-114). IEEE Computer Society Press.
Finkelstein, A., Potts, C. (1987). Formalising requirements systematically. In Wagner, R., Traunmüller, R., Mayr, H.C. (Eds.), Informationsbedarfsermittlung und -analyse für den Entwurf von Informationssystemen, Fachtagung EMISA, Linz, 2. und 3. Juli 1987, Proceedings. (pp. 44-57). Springer.
Langdon, W.B. (1987). ODS-2 Specification Wanted. PAGESWAPPER, 8 VAX 47-48.
Langdon, W.B. (1987). Response to December “Bag of Tricks”. Multi-Tasker, RSX-15.
Langdon, W.B. (1987). Installing new Products with an old VMSINSTAL. The Globalpages, 12.
Langdon, W.B. (1987). Problems with Installing VAX-11 RSX version 2.2. The Globalpages, 13.
Langdon, W.B. (1987). Application software standards. PAGESWAPPER, 9 VAX 31.

1986

Cunningham, R., Finkelstein, A. (1986). Formal requirements specification: the FOREST project. In 3rd International Workshop Software Specification and Design. (pp. 186-192). IEEE Computer Society Press.
Finkelstein, A. (1986). Making specifications dynamic objects.
Finkelstein, A., Potts, C. (1986). Formal requirements specification of real-time embedded systems.
Finkelstein, A., Potts, C. (1986). Structured common sense: the elicitation and formalisation of system requirements. In SE 1986. (pp. 236-250). Peter Peregrinus.
Langdon, W.B. (1986). Recovering Corrupted Files-11 Directories. The Globalpages, 24-25.
Langdon, W.B. (1986). Odd Problems with Installing Fortran. The Globalpages, 26-27.
Langdon, W.B. (1986). The Native Mode Restore. The Globalpages, 28.

1985

Finkelstein, A., Finkelstein, L. (1985). A Review of Instrument System Design Automation.

1983

Finkelstein, A., Finkelstein, L. (1983). Review of Design Methodology. IEE PROCEEDINGS-A-SCIENCE MEASUREMENT AND TECHNOLOGY, 130 (4), 213-222.
This page was generated automatically.