Publications

Publications

2013

Anand, S., Burke, E. K., Chen, T. Y., Clark, J., Cohen, M. B., Grieskamp, W., Harman, M., Harrold, M. J., McMinn, P. (2013). An orchestrated survey of methodologies for automated software test case generation. Journal of Systems and Software
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 and Reliability 23(4), 261-313
Chan, S., Treleaven, P., Capra, L. (2013). Continuous hyperparameter optimization for large-scale recommender systems. Proceedings - 2013 IEEE International Conference on Big Data, Big Data 2013 , 350-358 doi:10.1109/BigData.2013.6691595.
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
Dolado, J. J., Otero, M. C., Harman, M. (2013). Equivalence hypothesis testing in experimental software engineering. Software Quality Journal , 1-24 doi:10.1007/s11219-013-9196-0.
Finkelstein, A. (2013). The Next 10 Years: the shape of software to come and what if means for software engineering. ER@BR. ( Vol. 1005 ). CEUR-WS.org. Publisher URL
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. Publisher URL
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. Author URL
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.
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.
Lathia, N., Smith, C., Capra, L., Froehlich, J. (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.
Petke, J., Yoo, S., Harman, M., Cohen, M. B. (2013). Efficiency and early fault detection with lower and higher strength combinatorial interaction testing. 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 , 26-36 doi:10.1145/2491411.2491436.
Romualdo-Suzuki, L., Finkelstein, A., Gann, D. (2013). A middleware framework for urban data management. UbiComp (Adjunct Publication). ( pp.1359-1362). ACM. Publisher URL
Wang, T., Harman, M., Jia, Y., Krinke, J. (2013). Searching for better configurations: A rigorous approach to clone evaluation. 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. ( pp.455-465).
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. SSBSE. ( Vol. 8084 pp.224-238). Springer. Publisher URL
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), ARTN 19 doi:10.1145/2491509.2491513. Author URL
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
Zervoudakis, F., Rosenblum, D. S., Elbaum, S. G., Finkelstein, A. (2013). Cascading verification: an integrated method for domain-specific model checking. ESEC/SIGSOFT FSE. ( pp.400-410). ACM. Publisher URL
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

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 Author URL
Alshahwan, N., Harman, M. (2012). State aware test case regeneration for improving web application test suite coverage and fault detection. 2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings , 45-55 doi:10.1145/04000800.2336759.
Alshahwan, N., Harman, M., Marchetto, A., Tiella, R., Tonella, P. (2012). Crawlability metrics for web applications. Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012 , 151-160 doi:10.1109/ICST.2012.95.
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.
Bozkurt, M., Harman, M., Hassoun, Y. (2012). Testing and verification in service-oriented architecture: A survey. Software Testing Verification and Reliability
Capra, L., Quercia, D. (2012). Middleware for social computing: a roadmap. Springer Journal of Internet Services and Applications (JISA) Special Issue on The Future of Middleware
Ceapa, I., Smith, C., Capra, L. (2012). Avoiding the crowds: Understanding Tube station congestion patterns from trip data. Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining , 134-141 doi:10.1145/2346496.2346518.
Chan, S., Capra, L. (2012). From online browsing to offline purchases: Analyzing contextual information in the retail business. CEUR Workshop Proceedings 889
Cheney, J., Finkelstein, A., Ludäscher, B., Vansummeren, S. (2012). Principles of Provenance (Dagstuhl Seminar 12091). Dagstuhl Reports 2, 84-113, 2 doi:10.4230/DagRep.2.2.84.
Cinnéide, M. Ó., Moghadam, I. H., Tratt, L., Harman, M., Counsell, S. (2012). Experimental assessment of software metrics using automated refactoring. International Symposium on Empirical Software Engineering and Measurement , 49-58 doi:10.1145/2372251.2372260.
Clark, D., Hierons, R. M. (2012). Squeeziness: An information theoretic measure for avoiding fault masking. Information Processing Letters 112(8-9), 335-340 doi:10.1016/j.ipl.2012.01.004.
De Marco, L., Ferrucci, F., Gravino, C., Sarro, F., Abrahao, S., Gomez, J. (2012). Functional versus design measures for model-driven Web applications: A case study in the context of web effort estimation. 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., Lucena, M., Finkelstein, A. (2012). STREAM-ADD - Supporting the Documentation of Architectural Design Decisions in an Architecture Derivation Process. COMPSAC. ( pp.602-611). IEEE Computer Society. Publisher URL
Ferrucci, F., Mendes, E., Sarro, F. (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. ICST. ( pp.785-793). IEEE. Publisher URL
Gold, N. E. (2012). A Framework to Evaluate the Adoption Potential of Interactive Performance Systems for Popular Music. Proceedings of the 9th Sound and Music Computing Conference: Copenhagen, Denmark, 12 – 14 July 2012. ( pp.284-289). SMC Network. Publisher URL
Gonzalez Beltran, A. N., Tagger, B., Finkelstein, A. (2012). Federated ontology-based queries over cancer data. BMC Bioinformatics doi:10.1186/1471-2105-13-S1-S9.
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. International Symposium on Empirical Software Engineering and Measurement , 1-8 doi:10.1145/2372251.2372253.
Harman, M., Jia, Y., Zhang, Y. (2012). App store mining and analysis: MSR for app stores. IEEE International Working Conference on Mining Software Repositories. ( pp.108-111).
Harman, M., Lakhotia, K., Yoo, S., Singer, J., White, D. R. (2012). Cloud engineering is Search Based Software Engineering too. Journal of Systems and Software doi:10.1016/j.jss.2012.10.027.
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). 2012 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012 - Proceedings , 1-14 doi:10.1145/2351676.2351678.
Harman, M., Zhang, Y., Mansouri, S. A. (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., Saffrey, P., Margoninski, O., Bogle, I. D., Finkelstein, A., Warner, A. (2012). A composite computational model of liver glucose homeostasis. I. Building the composite model. J R Soc Interface 9(69), 689-700 doi:10.1098/rsif.2011.0141. Author URL
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
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. Proceedings of 12th International Conference on Music Perception and Cognition (ICMPC)/8th Triennial Conference of the European Society for the Cognitive Sciences of Music (ESCOM).
Kargupta, S., Black, S. (2012). A Novel Approach for Service Performance Analysis and Forecast. J. Web Eng. 11, 146-176, 2
Lakhotia, K., Harman, M., Gross, H. (2012). AUSTIN: An open source tool for search based software testing of C programs. Information and Software Technology
Langdon, W. B. (2012). Creating and debugging performance CUDA C. ( Vol. 415 pp.7-50).
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. Author URL
Lathia, N., Capra, L., Magliocchetti, D., De Vigili, F., Conti, G., De Amicis, R., Arentze, T., Zhang, J., Cali, D., Alexa, V. (2012). Personalizing Mobile Travel Information Services. TRANSPORT RESEARCH ARENA 2012. ( Vol. 48 pp.1195-1204). Author URL
Lathia, N., Smith, C., Capra, L., Froehlich, J. (2012). Individuals among commuters: Building personalised transport information services from fare collection systems. Pervasive and Mobile Computing doi:10.1016/j.pmcj.2012.10.007.
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
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.
Mondal, M., Roy, C. K., Rahman, M. S., Saha, R. K., Schneider, K. A., Krinke, J. (2012). Comparative stability of cloned and non-cloned code: An empirical study. Proceedings of the ACM Symposium on Applied Computing. ( pp.1227-1234).
Nguyen, C. D., Perini, A., Tonella, P., Miles, S., Luck, M., Harman, 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. CAiSE Workshops. ( Vol. 112 pp.159-170). Springer. Publisher URL
Pimentel, J., Santos, E., Dermeval, D., Castro, J., Finkelstein, A. (2012). Towards Architectural Evolution through Model Transformations. SEKE. ( pp.448-451). Knowledge Systems Institute Graduate School. Publisher URL
Quercia, D., Capra, L., Crowcroft, J. (2012). The social world of Twitter: Topics, geography, and emotions. ICWSM. The AAAI Press. Publisher URL
Quercia, D., Ellis, J., Capra, L., Crowcroft, J. (2012). Tracking "gross community happiness" from tweets. 15th ACM Conference on Computer Supported Cooperative Work.
Quercia, D., Ellis, J., Capra, L., Crowcroft, J. (2012). Tracking "gross community happiness" from tweets. CSCW. ( pp.965-968). ACM. Publisher URL
Santos, E., Pimentel, J., Castro, J., Finkelstein, A. (2012). On the Dynamic Configuration of Business Process Models. BMMDS/EMMSAD. ( Vol. 113 pp.331-346). Springer. Publisher URL
Sarro, F., Ferrucci, F., Gravino, C. (2012). Single and multi objective genetic programming for software development effort estimation. SAC. ( pp.1221-1226). ACM. Publisher URL
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. SAC. ( pp.1215-1220). ACM. Publisher URL
Schöning, J., Rogers, Y., Bird, J., Capra, L., McCann, J. A., Prendergast, D., Sheridan, C. (2012). Intel Collaborative Research Institute - Sustainable Connected Cities. AmI. ( Vol. 7683 pp.364-372). Springer. Publisher URL
Sumner, T., Hetherington, J., Seymour, R. M., Li, L., Varela Rey, M., Yamaji, S., Saffrey, P., Margoninski, O., Bogle, I. D., Finkelstein, A., Warner, A. (2012). A composite computational model of liver glucose homeostasis. II. Exploring system behaviour. J R Soc Interface 9(69), 701-706 doi:10.1098/rsif.2011.0783. Author URL
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. Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012 , 21-30 doi:10.1109/ICST.2012.82.
Yoo, S. (2012). Evolving human competitive spectra-based fault localisation techniques. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7515 LNCS, 244-258
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). Regression testing minimization, selection and prioritization: A survey. Softw. Test., Verif. Reliab. 22, 67-120, 2 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.
Yoo, S., Kapfhammer, G. M. (2012). Welcome from the chairs. Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012 doi:10.1109/ICST.2012.216.
Zhang, Y., Harman, M., Lim, S. L. (2012). Empirical evaluation of search based requirements interaction management. Information and Software Technology

2011

Alshahwan, N., Harman, M. (2011). Automated web application testing using search based software engineering. 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings , 3-12 doi:10.1109/ASE.2011.6100082.
Androutsopoulos, K., Clark, D., Gold, N., Harman, M., Li, Z., Binkley, D., Lano, K. (2011). Model projection: Simplifying models in response to restricting the environment. Proceedings - International Conference on Software Engineering. ( pp.291-300).
Baars, A. I., Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., Tonella, P., Vos, T. E. J. (2011). Symbolic search-based testing. ASE. ( pp.53-62). IEEE. Publisher URL
Baars, A. I., Lakhotia, K., Vos, T. E. J., Wegener, J. (2011). Search--Based Testing, the Underlying Engine of Future Internet Testing. FedCSIS. ( pp.917-923). Publisher URL
Baars, A., Vos, T., Harman, M., Lakhotia, K., Hassoun, Y., McMinn, P., Tonella, P. (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.
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 T SOFTW ENG METH 20(3), 12 doi:10.1145/2000791.2000796.
Boness, K., Finkelstein, A., Harrison, R. (2011). A method for assessing confidence in requirements analysis. INFORM SOFTWARE TECH 53(10), 1084-1096 doi:10.1016/j.infsof.2011.05.003.
Bozkurt, M., Harman, M. (2011). Automatically generating realistic test input from web services. Proceedings - 6th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2011. ( pp.13-24).
Bozkurt, M., Harman, M. (2011). Generating Realistic Inputs Using Web Services. Department of Computer Science. London
Bunyakiati, P., Finkelstein, A. (2011). Standards compliance testing for unified modelling language tools. IET SOFTW 5(2), 120-131 doi:10.1049/iet-sen.2010.0032.
Chapman, C., Emmerich, W., Marquez, F. G., Clayman, S., Galis, A. (2011). Software architecture definition for on-demand cloud provisioning. Cluster Computing
CLARK, D. A. V. I. D., GIACOBAZZI, R. O. B. E. R. T. O., MU, C. H. U. N. Y. A. N. (2011). Foreword: programming language interference and dependence. Mathematical Structures in Computer Science 21(06), 1109-1110 doi:10.1017/S0960129511000168.
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. THEOR COMPUT SCI 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 PRACT EXPER 41(5), 495-519 doi:10.1002/spe.1001.
Durillo, J. J., Zhang, Y. Y., Alba, E., Harman, M., Nebro, A. J. (2011). A study of the bi-objective next release problem. EMPIR SOFTW ENG 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. EUROMICRO-SEAA. ( pp.461-464). IEEE. Publisher URL
Ferrucci, F., Gravino, C., Sarro, F. (2011). How Multi-Objective Genetic Programming Is Effective for Software Development Effort Estimation? SSBSE. ( Vol. 6956 pp.274-275). Springer. Publisher URL
Finkelstein, A. (2011). Keynote: Engineering Challenges of New Business Models in Software. SOFTWARE BUSINESS. ( Vol. 80 pp.1-1). SPRINGER-VERLAG BERLIN.
Finkelstein, A. (2011). Ten Open Challenges at the Boundaries of Software Engineering and Information Systems. CAiSE. ( Vol. 6741 pp.1-1). Springer. Publisher URL
Fitzgerald, C., Letier, E., Finkelstein, A. (2011). Early failure prediction in feature request management systems. Proceedings RE 2011 - 19th IEEE International Requirements Engineering Conference. ( pp.229-238).
Gold, N. (2011). Knitting music and programming: Reflections on the frontiers of source code analysis. Proceedings - 11th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2011. ( pp.10-14).
Gold, N. E., Dannenberg, R. B. (2011). A Reference Architecture and Score Representation for Popular Music Human-Computer Music Performance Systems. Proceedings of the International Conference on New Interfaces for Musical Expression, 30 May - 1 June 2011, Oslo, Norway. ( pp.36-39). Oslo, Norway Department of Musicology, University of Oslo / Norwegian Academy of Music. Publisher URL
Gold, N. E., Krinke, J., Harman, M., Binkley, D. (2011). Cloning in Max/MSP Patches. Proceedings of International Computer Music Conference 2011. ( pp.159-162). International Computer Music Association. Publisher URL
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 ( ).
Harding, S., Langdon, W. B., Lewis, T., Wong, M. L., Wilson, G. (Eds.) (2011). CIGPU 2011 Computational Intelligence on Consumer Games and Graphics Hardware. Dublin ACM. Publisher URL
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. (2011). Software Engineering Meets Evolutionary Computation. COMPUTER 44(10), 31-39
Harman, M. (2011). The SBSE Approach to Automated Optimization of Verification and Testing. HARDWARE AND SOFTWARE: VERIFICATION AND TESTING. ( Vol. 6405 pp.3-3). SPRINGER-VERLAG BERLIN.
Harman, M., Jia, Y., Langdon, W. B. (2011). Strong higher order mutation-based test data generation. SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering. ( pp.212-222).
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., Yoo, S., McMinn, P., De Souza, J. T. (2011). Search based software engineering: Techniques, taxonomy, tutorial. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ( Vol. 7007 LNCS pp.1-59).
Jia, Y., Harman, M. (2011). An Analysis and Survey of the Development of Mutation Testing. IEEE T SOFTWARE ENG 37(5), 649-678 doi:10.1109/TSE.2010.62.
Jia, Y., Harman, M. (2011). An Analysis and Survey of the Development of Mutation Testing. IEEE T SOFTWARE ENG 37(5), 649-678 doi:10.1109/TSE.2010.62.
Küssner, M., Gold, N. E., Tidhar, D., Prior, H. M., Leech-Wilkinson, D. (2011). Synaesthetic Traces: Digital Acquisition of Musical Shapes. Proceedings of Supporting Digital Humanities 2011.
Krinke, J. (2011). Is cloned code older than non-cloned code? Proceedings - International Conference on Software Engineering. ( pp.28-33).
Langdon, W. B. (2011). Debugging CUDA. Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication. ( pp.415-422).
Langdon, W. B. (2011). Elementary bit string mutation landscapes. FOGA'11 - Proceedings of the 2011 ACM/SIGEVO Foundations of Genetic Algorithms XI , 25-41 doi:10.1145/1967654.1967658.
Langdon, W. B. (2011). Generalisation in genetic programming. Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication. ( pp.205-205).
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. Author URL
Langdon, W. B. (2011). Minimising Testing in Genetic Programming. Publisher URL
Langdon, W. B. (2011). Performing with CUDA. Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication. ( pp.423-430).
Langdon, W. B., Arno, M. J. (2011). More Mouldy Data: Virtual Infection of the Human Genome. Author URL Publisher URL
Langdon, W. B., Yoo, S., Harman, M. (2011). Formal Concept Analysis on Graphics Hardware. CLA. ( Vol. 959 pp.413-416). CEUR-WS.org. Publisher URL
Langdon, W. B., Yoo, S., Harman, M. (2011). Non-Recursive Beam Search on GPU for Formal Concept Analysis. Publisher URL
Lathia, N., Capra, L. (2011). How smart is your smartcard? Measuring travel behaviours, perceptions, and incentives. 13th ACM International Conference on Ubiquitous Computing.
Lathia, N., Capra, L. (2011). Mining mobility data to minimise travellers'spending on public transport. ACM SIGKDD 2011 Conference on Knowledge Discovery and Data Mining. ( pp.1181-1189).
Lathia, N., Quercia, D., Capra, L., Crowcroft, J. (2011). Recsys'11 workshop outline PeMA 2011: personalization in mobile applications. RecSys. ( pp.391-392). ACM. Publisher URL
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. Publisher URL
Lim, S. L., Finkelstein, A., Damian, D. (2011). StakeSource2.0: Using social networks of stakeholders to identify and prioritise requirements. Proceedings - International Conference on Software Engineering , 1022-1024 doi:10.1145/1985793.1985983.
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). A Genetic Algorithm to Configure Support Vector Machines for Predicting Fault-Prone Components. PROFES. ( Vol. 6759 pp.247-261). Springer. Publisher URL
Martino, S. D., Ferrucci, F., Gravino, C., Sarro, F. (2011). Using web objects for development effort estimation of web applications: A replicated study. PROFES. ( Vol. 6759 pp.186-201). Springer. Publisher URL
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. DMS. ( pp.90-95). Knowledge Systems Institute. Publisher URL
Mashhadi, A., Ben Mokhtar, S., Capra, L. (2011). Fair content dissemination in participatory DTNs. Elsevier Ad-Hoc Networks Journal
Mashhadi, A., Capra, L. (2011). Priority scheduling for participatory delay tolerant networks. 12th IEEE Intl. Symposium on a World of Wireless, Mobile and Multimedia Networks (Works in Progress).
Mashhadi, A., Capra, L. (2011). Quality control for real-time ubiquitous crowdsourcing. 2nd Workshop on Ubiquitous Crowdsourcing. In conjunction with 13th ACM International Conference on Ubiquitous Computing.
Mondal, M., Rahman, M. S., Saha, R. K., Roy, C. K., Schneider, K. A., Krinke, J. (2011). An empirical study of the impacts of clones in software maintenance. IEEE International Conference on Program Comprehension. ( pp.242-245).
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. Genetic and Evolutionary Computation Conference, GECCO'11. ( pp.1851-1858).
Oh, J., Harman, M., Yoo, S. (2011). Transition coverage testing for simulink/stateflow models using messy genetic algorithms. Proceedings of the 13th annual conference on Genetic and evolutionary computation. ( pp.1851-1858). New York, NY, USA ACM. Publisher URL
Praditwong, K., Harman, M., Yao, X. (2011). Software Module Clustering as a Multi-Objective Search Problem. IEEE T SOFTWARE ENG 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. 20th ACM Conference on Information and Knowledge Management.
Quattrone, G., Capra, L., Meo, P. D., Ferrara, E., Ursino, D. (2011). Effective retrieval of resources in folksonomies using a new tag similarity measure. CIKM. ( pp.545-550). ACM. Publisher URL
Quattrone, G., De Meo, P., Ferrara, E., Capra, L. (2011). Measuring similarity in large-scale folksonomies. 23rd Intl. Conference on Software Engineering and Knowledge Engineering.
Quattrone, G., Ferrara, E., Meo, P. D., Capra, L. (2011). Measuring Similarity in Large-scale Folksonomies. SEKE. ( pp.385-391). Knowledge Systems Institute Graduate School. Publisher URL
Quercia, D., Crowcroft, J., Ellis, J., Capra, L. (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.
Quercia, D., Ellis, J., Capra, L., Crowcroft, J. (2011). In the Mood for Being Influential on Twitter. 3rd IEEE International Conference on Social Computing.
Quercia, D., Ellis, J., Capra, L., Crowcroft, J. (2011). In the Mood for Being Influential on Twitter. SocialCom/PASSAT. ( pp.307-314). IEEE. Publisher URL
Ren, J., Harman, M., Di Penta, M. (2011). Cooperative co-evolutionary optimization of software project staff assignments and job scheduling. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6956 LNCS, 127-141 doi:10.1007/978-3-642-23716-4_14.
Sarro, F. (2011). Search-Based approaches for software development effort estimation. ACM International Conference Proceeding Series , 38-43 doi:10.1145/2181101.2181111.
Tahat, L., Korel, B., Harman, M., Ural, H. (2011). Regression test suite prioritization using system models. Software Testing Verification and Reliability
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). ICSE. ( pp.1222-1223). ACM. Publisher URL
Treude, C., Storey, M. -. A. D., Deursen, A. V., Begel, A., Black, S. (2011). Workshop report from Web2SE 2011. ACM SIGSOFT Software Engineering Notes 36, 24-29, 5 doi:10.1145/2020976.2020977.
Vos, T. E. J., Tonella, P., Wegener, J., Harman, M., Prasetya, W., Puoskari, E., Nir-Buchbinder, Y. (2011). Future Internet testing with FITTEST. Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR. ( pp.355-358).
Yoo, S. (2011). SBSE As Gaming.
YOO, S., Harman, M., Clark, D. (2011). FLINT: Fault Localisation using Information Theory. Department of Computer Science, University College London. Author URL
YOO, S., Harman, M., Ur, S. (2011). Highly Scalable Multi-Objective Test Suite Minimisation Using Graphics Card. Department of Computer Science, University College London. Author URL
Yoo, S., Harman, M., Ur, S. (2011). Highly scalable multi objective test suite minimisation using graphics cards. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ( Vol. 6956 LNCS pp.219-236).
Yoo, S., Harman, M., Ur, S. (2011). Highly scalable multi objective test suite minimisation using graphics cards. LNCS: Proceedings of the 3rd International Symposium on Search-Based Software Engineering. ( Vol. 6956 pp.219-236-219-236).
Yoo, S., Nilsson, R., Harman, M. (2011). Faster Fault Finding at Google Using Multi Objective Regression Test Optimisation. 8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE ’11). Szeged, Hungary
Zanardi, V., Capra, L. (2011). A scalable tag-based recommender system for new users of the social web. 2nd International Conference on Database and Expert Systems Applications.
Zanardi, V., Capra, L. (2011). Dynamic updating of online recommender systems via feed-forward controllers. 6th Intl. Symposium on Software Engineering for Adaptive and Self-Managing Systems.
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. Department of Computer Science. London
Zhang, Y. Y., Harman, M., Finkelstein, A., Mansouri, S. A. (2011). Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation. INFORM SOFTWARE TECH 53(7), 761-773 doi:10.1016/j.infsof.2011.02.001.

2010

Amtoft, T., Androutsopoulos, K., Clark, D., Harman, M., Li, Z. (2010). An alternative characterization of weak order dependence. INFORM PROCESS LETT 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, 883-884, 6 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., Laurence, M., Ouarbya, L. (2010). A trajectory-based strict semantics for program slicing. THEOR COMPUT SCI 411(11-13), 1372-1386 doi:10.1016/j.tcs.2009.10.025.
Beltrán, A. G., Tagger, B., Finkelstein, A. (2010). Ontology-based Queries over Cancer Data. SWAT4LS. ( Vol. 698 ). CEUR-WS.org. Publisher URL
Bencomo, N., Whittle, J., Sawyer, P., Finkelstein, A., Letier, E. (2010). Requirements reflection: Requirements as runtime entities. ICSE (2). ( pp.199-202). ACM. Publisher URL
Ben Mokhtar, S., McNamara, L., Capra, L. (2010). A self-organising directory and matching service for opportunistic social networking. 3rd Workshop on Social Network Systems.
Binkley, D., Harman, M., Hassoun, Y., Islam, S., Li, Z. (2010). Assessing the impact of global variables on program dependence and dependence clusters. J SYST SOFTWARE 83(1), 96-107 doi:10.1016/j.jss.2009.03.038.
Binkley, D., Harman, M., Hassoun, Y., Islam, S., Li, Z. (2010). Assessing the impact of global variables on program dependence and dependence clusters. J. Syst. Softw. 83, 96-107, 1 New York, NY, USA doi:10.1016/j.jss.2009.03.038.
Boreale, M., Clark, D., Gorla, D. (2010). A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. IFIP TCS. ( Vol. 323 pp.340-354). Springer. Publisher URL
Chapman, C., Emmerich, W., Marquez, F. G., Clayman, S., Galis, A. (2010). Software Architecture Definition for On-demand Cloud Provisioning. Proc. of the $19^th$ ACM Int. Symp. on high Performance Distributed Computing (HDPC 2010), Chicago, Il. ( pp.61-72-61-72). ACM Press. Publisher URL
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? PROMISE. ( pp.4-4). ACM. Publisher URL
D'Ambrosio, P., Ferrucci, F., Sarro, F., Tucci, M. (2010). An Approach for the Development of DOOH-oriented Information Systems. ICEIS (3). ( pp.326-331). SciTePress. Publisher URL
Dell'Amico, M., Capra, L. (2010). Dependable Filtering: Philosophy and Realizations. ACM T INFORM SYST 29(1), 5 doi:10.1145/1877766.1877771.
Del Prete, L., Capra, L. (2010). DiffeRS: A mobile recommender service. 11th International Conference on Mobile Data Management.
Derderian, K., Hierons, R. M., Harman, M., Guo, Q. (2010). Estimating the feasibility of transition paths in extended finite state machines. AUTOMAT SOFTW ENG 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. ICSE (2). ( pp.463-464). ACM. Publisher URL
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. ICEIS (1). ( pp.236-241). SciTePress. Publisher URL
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. EUROMICRO-SEAA. ( pp.350-357). IEEE. Publisher URL
Ghosheh, E., Black, S., Kapetanios, E., Baldwin, M. (2010). Exploring the Relationship between UML Design Metrics for Web Applications and Maintainability. Journal of Object Technology 9, 125-144, 3 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, 1 Publisher URL
Gold, N. E., Rink, J., Spiro, N. (2010). The form of performance: Analyzing pattern distribution in select recordings of Chopin's Mazurka op. 24 no. 2. Musicae Scientiae: the journal of the European Society for the Cognitive Sciences of Music 14(2), 23-55 doi:10.1177/102986491001400202.
Gold, N., Krinke, J., Harman, M., Binkley, D. (2010). Issues in clone classification for dataflow languages. Proceedings - International Conference on Software Engineering. ( pp.83-84).
Guy, G., Dunn, S., Gold, N. (2010). Capturing Visitor Experiences for Study and Preservation. Digital Humanities 2010.
Harman, M. (2010). Automated Patching Techniques: The Fix Is In. COMMUN ACM 53(5), 108-108 doi:10.1145/1735223.1735248.
Harman, M. (2010). The relationship between search based software engineering and predictive modeling. ACM International Conference Proceeding Series.
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. (2010). Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS. ( Vol. 6013 pp.1-12). SPRINGER-VERLAG BERLIN.
Harman, M., Jia, Y., Langdon, W. B. (2010). A manifesto for higher order mutation testing. ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops , 80-89 doi:10.1109/ICSTW.2010.13.
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. Proceedings of the 3rd International Workshop on Search-Based Software Testing (SBST 2010). ( pp.182-191).
Harman, M., Kim, S. G., Lakhotia, K., Yoo, S., McMinn, P. (2010). Optimizing for the number of tests generated in search based test data generation with an application to the oracle cost problem. ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops. ( pp.182-191).
Harman, M., Mansouri, A. (2010). Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering. IEEE T SOFTWARE ENG 36(6), 737-741
Harman, M., McMinn, P. (2010). A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search. IEEE T SOFTWARE ENG 36(2), 226-247 doi:10.1109/TSE.2009.71.
Harman, M., McMinn, P., Souza, J. T. D., Yoo, S. (2010). Search based software engineering: Techniques, taxonomy, tutorial. LASER Summer School. ( Vol. 7007 pp.1-59). Springer. Publisher URL
Islam, S., Krinke, J., Binkley, D. (2010). Dependence Cluster Visualization. SOFTVIS 2010: PROCEEDINGS OF THE 2010 INTERNATIONAL SYMPOSIUM ON SOFTWARE VISUALIZATION. ( pp.93-102). ASSOC COMPUTING MACHINERY.
Islam, S. S., Krinke, J., Binkley, D. (2010). Dependence Cluster Visualization. Proceedings of the 5th international symposium on Software visualization. ( pp.93-102). ACM.
Islam, S. S., Krinke, J., Binkley, D., Harman, M. (2010). Coherent dependence clusters. Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. ( pp.53-60). New York, NY, USA ACM.
Islam, S. S., Krinke, J., Harman, M., Binkley, D. (2010). Coherent dependence clusters. ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. ( pp.53-60).
Jennings, B., Finkelstein, A. (2010). Implicit Social Production: Utilising Socially Generated Data By-Products. Business Process Management Workshops. ( Vol. 66 pp.359-371). Springer. Publisher URL
Khalid Alzarouni, D. C., Tratt, L. (2010). Semantic Malware Detection.
Krinke, J., Gold, N., Jia, Y., Binkley, D. (2010). Cloning and copying between GNOME projects. Proceedings - International Conference on Software Engineering. ( pp.98-101).
Krinke, J., Gold, N., Jia, Y., Binkley, D. (2010). Distinguishing copies from originals in software clones. Proceedings - International Conference on Software Engineering. ( pp.41-48).
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. J SYST SOFTWARE. ( Vol. 83 pp.2379-2391). ELSEVIER SCIENCE INC.
Lakhotia, K., Tillmann, N., Harman, M., de Halleux, J. (2010). FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. TESTING SOFTWARE AND SYSTEMS. ( Vol. 6435 pp.142-157). SPRINGER-VERLAG BERLIN.
Langdon, W. B. (2010). 2-bit Flip Mutation Elementary Fitness Landscapes. Publisher URL
Langdon, W. B. (2010). GPU Working Party: Slides presented at Dagstuhl. Publisher URL
Langdon, W. B., Graillet, O. S., Harrison, A. P. (2010). Automated DNA Motif Discovery. Publisher URL
Langdon, W. B., Graillet, O. S., Harrison, A. P. (2010). RNAnet a Map of Human Gene Expression. Publisher URL
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. 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC). IEEE.
Langdon, W. B., Harman, M. (2010). Evolving gzip matches Kernel from an nVidia CUDA Template. Publisher URL
Langdon, W. B., Harman, M., Jia, Y. (2010). Efficient multi-objective higher order mutation testing with genetic programming. J SYST 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 (second ed. Vol. 146 pp.185-225). Springer.
Langdon, W. B., Upton, G. J. G., da Silva Camargo, R., 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. 10th  IEEE International Conference on Data Mining.
Lathia, N., Hailes, S., Capra, L. (2010). Temporal defenses for robust recommendations. ECML/PKDD Workshop on Privacy and Security issues in Data Mining and Machine Learning.
Lathia, N., Hailes, S., Capra, L., Amatriain, X. (2010). Temporal diversity in recommender systems. SIGIR 2010: Proceedings of the 33nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. ( pp.210-217). New York, US ACM Press. Publisher URL
Lathia, N., Hailes, S., Capra, L., Amatriain, X. (2010). Temporal Diversity in Recommender Systems. SIGIR 2010: PROCEEDINGS OF THE 33RD ANNUAL INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH DEVELOPMENT IN INFORMATION RETRIEVAL. ( pp.210-217). ASSOC COMPUTING MACHINERY.
Lim, S. L., Quercia, D., Finkelstein, A. (2010). StakeNet: using social networks to analyse the stakeholders of large-scale software projects. ICSE (1). ( pp.295-304). ACM. Publisher URL
Lim, S. L., Quercia, D., Finkelstein, A. (2010). StakeSource: harnessing the power of crowdsourcing and social networks in stakeholder analysis. ICSE (2). ( pp.239-242). ACM. Publisher URL
Lo Giusto, G., Mashhadi, A., Capra, L. (2010). Folksonomy-based reasoning for content dissemination in mobile settings. Proc. of  6th ACM Workshop on Challenged Netwotrks (CHANTS). Co-located with Mobicom.
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. 9th Intl. Workshop on Adaptive and Reflective Middleware..
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 PERVAS COMPUT 9(3), 12-20
Rowsell, J., Camargo, R. D. S., Langdon, W. B., Stalteri, M. A., Harrison, A. P. (2010). Uncovering the Expression Patterns of Chimeric Transcripts Using Surveys of Affymetrix GeneChips. Journal of Integrative Bioinformatics 7, 137-137, 3 doi:10.2390/biecoll-jib-2010-137. Publisher URL
Sabetzadeh, M., Finkelstein, A., Goedicke, M. (2010). Viewpoints. In Laplante, P. A. (Ed.). Encyclopedia of Software Engineering ( pp.1318-1329). Taylor & Francis. Publisher URL
Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A. (2010). Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems. RE. ( pp.95-103). IEEE Computer Society. Publisher URL
Skene, J., Raimondi, F., Emmerich, W. (2010). Service-Level Agreements for Electronic Services. IEEE Transactions on Software Engineering 36, 288-304-288-304, 2 doi:10.1109/TSE.2009.55. Publisher URL
Yoo, S. (2010). A Novel Mask-Coding Representation for Set Cover Problems with Applications in Test Suite Minimisation. Proceedings of the 2nd International Symposium on Search-Based Software Engineering (SSBSE 2010).
Yoo, S. (2010). Metamorphic Testing of Stochastic Optimisation. Proceedings of the 3rd International Workshop on Search-Based Software Testing (SBST 2010). ( pp.192-201).
Yoo, S., Harman, M. (2010). Test data regeneration: Generating new test data from existing test data. Journal of Software Testing, Verification and Reliability doi:10.1002/stvr.435. [Accepted]
Yoo, S., Harman, M. (2010). Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation. Journal of Systems Software 83, 689-701, 4
Yoo, S., Harman, M. (2010). Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation. J SYST SOFTWARE 83(4), 689-701 doi:10.1016/j.jss.2009.11.706.
Zhang, Y. (2010). Multi-Objective Search-based Requirements Selection and Optimisation.
Zhang, Y., Harman, M. (2010). Search based optimization of requirements interaction management. Proceedings - 2nd International Symposium on Search Based Software Engineering, SSBSE 2010. ( pp.47-56).
Zhang, Y., Harman, M., Alba, E., Durillo, J. J., Eldh, S. (2010). Today/Future importance analysis. Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10 , 135-142 doi:10.1145/1830483.1830733.
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., Cunningham, P., Arno, M. (2009). [Letter to the editor] 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. 2009 11th IEEE International Symposium on Web Systems Evolution, WSE 2009 , 49-58 doi:10.1109/WSE.2009.5630393.
Androutsopoulos, K., Clark, D., Harman, M., Li, Z., Tratt, L. (2009). Control Dependence for Extended Finite State Machines. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS. ( Vol. 5503 pp.216-230). SPRINGER-VERLAG BERLIN.
Androutsopoulos, K., Gold, N., Harman, M., Li, Z., Tratt, L. (2009). A Theoretical and Empirical Study of EFSM Dependence. 2009 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, CONFERENCE PROCEEDINGS. ( pp.287-296). IEEE COMPUTER SOC.
Bao, C. H., Gold, N., Harman, M. (2009). Maintaining WS-BPEL workflows using aspects. Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI). ( pp.225-226).
Ben Mokhtar, S., Capra, L. (2009). From Pervasive To Social Computing: Algorithms and Deployments. INTERNATIONAL CONFERENCE ON PERVASIVE SERVICES (ICPS 2009). ( pp.169-178). ASSOC COMPUTING MACHINERY.
Ben Mokhta, S., McNamara, L., Capra, L. (2009). A middleware service for pervasive social networking. International Workshop on Middleware for Pervasive Mobile and Embedded Computing.
Binkley, D., Harman, M. (2009). Identifying 'Linchpin Vertices' that Cause Large Dependence Clusters. 2009 NINTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. ( pp.89-98). IEEE COMPUTER SOC.
Black, S., Boca, P., Bowen, J. P., Gorman, J., Hinchey, M. (2009). Formal Versus Agile: Survival of the Fittest. IEEE Computer 42, 37-45, 9 doi:10.1109/MC.2009.284.
Black, S., Counsell, S., Hall, T., Bowes, D. (2009). Fault Analysis in OSS Based on Program Slicing Metrics. EUROMICRO-SEAA. ( pp.3-10). IEEE Computer Society. Publisher URL
Bolchini, D., Finkelstein, A., Perrone, V., Nagl, S. (2009). Better bioinformatics through usability analysis. Bioinformatics 25(3), 406-412
Bolchini, D., Finkestein, A., Paolini, P. (2009). Designing Usable Bio-information Architectures. San Diego, California, USA doi:10.1007/978-3-642-02583-9_71. Author URL
Bunyakiati, P., Finkelstein, A. (2009). The Compliance Testing of Software Tools with respect to the UML standards specification - the ArgoUML case study. Vancouver, Canada
Chen, T. -. W., Fung, A. W., Yang, P. F., Huang, Y., Lin, C. M., Yajnik, S., Wang, C. Y., Rosenblum, D. S. (2009). Packet routing via payload inspection and subscription processing in a publish-subscribe network. Patent 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. Proceedings, 2009 IEEE International Conference on Services Computing, SCC 2009, 21-25 September 2009 Bangalore, India. ( pp.184-191). Los Alamitos, US IEEE Computer Society Press. Publisher URL
Durillo, J. J., Zhang, Y., Alba, E., Nebro, A. J. (2009). A Study of the Multi-Objective Next Release Problem. Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09). ( pp.49-58). IEEE.
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F. (2009). Using Tabu search to estimate software development effort. IWSM/Mensura. ( Vol. 5891 pp.307-320). Springer. Publisher URL
Finkelstein, A. (2009). Untitled. COMPUTER 42(10), 25-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
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. REQUIR ENG 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. Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009: Proceedings. ( Vol. 5900 pp.641-642). Berlin/Heidelberg, Germany Springer-Verlag. Publisher URL
Ghosheh, E., Black, S. (2009). WapMetrics: a tool for computing UML Design Metrics for Web Applications. 2009 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2. ( pp.682-689). IEEE.
Gold, N. (2009). Service-Oriented Software in the Humanities: A Software Engineering Perspective. Digital Humanities Quarterly 3, 4 Publisher URL
Gonzalez-Beltran, A. N., Finkelstein, A., Wilkinson, J. M., Kramer, J. (2009). Domain Concept-Based Queries for Cancer Research Data Sources. 22nd IEEE International Symposium on Computer-Based Medical Systems 2009 (CBMS 2009). Author URL
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. Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009. ( pp.1673-1680).
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 T PROGR LANG SYS 32(1), 1 doi:10.1145/1596527.1596528.
Harman, M., Islam, F., Xie, T., Wappler, S. (2009). Automated Test Data Generation for Aspect-Oriented Programs. AOSD'09: 8TH INTERNATIONAL CONFERENCE ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT. ( pp.185-196). ASSOC COMPUTING MACHINERY.
Harman, M., Krinke, J., Ren, J., Yoo, S. (2009). Search based data sensitivity analysis applied to requirement engineering. Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009. ( pp.1681-1688).
Harman, M., Li, Z., McMinn, P., Offutt, J., Clark, J. (2009). TAIC PART 2007 and Mutation 2007 special issue editorial. J SYST 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.
Hierons, R. M., Bogdanov, K., Bowen, J. P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luttgen, G., Simons, A. J. H., Vilkomir, S., Woodward, M. R., Zedan, H. (2009). Using Formal Specifications to Support Testing. ACM COMPUT SURV 41(2), 9 doi:10.1145/1459352.1459354.
Jansen, S., Finkelstein, A., Brinkkemper, S. (2009). A Sense of Community: A Research Agenda for Software Ecosystems. 31st International Conference On Software Engineering. ( pp.187-190). Vancouver, CANADA IEEE.
Jennings, B., Finkelstein, A. (2009). Micro Workflow Gestural Analysis: Representation in Social Business Processes. Ulm, Germany Author URL
Jia, Y., Binkley, D., Harman, M., Krinke, J., Matsushita, M. (2009). KClone: A proposed approach to fast precise code clone detection. Third International Workshop on Detection of Software Clones (IWSC).
Jia, Y., Harman, M. (2009). Higher Order Mutation Testing. INFORMATION AND SOFTWARE TECHNOLOGY. ( Vol. 51 pp.1379-1393). ELSEVIER SCIENCE BV.
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). A CUDA SIMT Interpreter for Genetic Programming. Publisher URL
Langdon, W. B. (2009). A Fast High Quality Pseudo Random Number Generator for nVidia CUDA. CIGPU workshop at GECCO. ( pp.2511-2513). Montreal ACM. Publisher URL
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., Harman, M., Jia, Y. (2009). Multi Objective Higher Order Mutation Testing with Genetic Programming. 2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009. ( pp.21-29). IEEE COMPUTER SOC.
Langdon, W. B., Harman, M., Jia, Y. (2009). Multi objective higher order mutation testing with GP. Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009. ( pp.1945-1945).
Langdon, W. B., Harrison, A. P. (2009). Evolving DNA motifs to predict GeneChip probe performance. Algorithms for Molecular Biology 4(1), 6-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. Publisher URL
Lathia, N., Hailes, S., Capra, L. (2009). Evaluating Collaborative Filtering Over Time. ACM SIGIR Workshop on the Furture of IR Evaluation.
Lathia, N., Hailes, S., Capra, L. (2009). Temporal Collaborative Filtering With Adaptive Neighbourhoods. PROCEEDINGS 32ND ANNUAL INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL. ( pp.796-797). ASSOC COMPUTING MACHINERY.
Mashhadi, A. J., Ben Mokhtar, S., Capra, L. (2009). Habit: Leveraging Human Mobility and Social Network for Efficient Content Dissemination in Delay Tolerant Networks. 2009 IEEE INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS & WORKSHOPS. ( pp.214-219). IEEE.
McCusker, J. P., Phillips, J. A., Gonzalez-Beltran, A. N., Finkelstein, A., Krauthammer, M. (2009). Semantic web data warehousing for caGrid. BMC Bioinformatics 10(Suppl 10:S2) doi:10.1186/1471-2105-10-S10-S2. Author URL
McMinn, P., Binkley, D., Harman, M. (2009). Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing. ACM T SOFTW ENG METH 18(3), 11 doi:10.1145/1525880.1525884.
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). Automatically Compute Information Flow Quantity via Probabilistic Semantics. Journal of Information Systems Security 5, 47-85, 4
Mu, C., Clark, D. (2009). Quantitative Analysis of Secure Information Flow via Probabilistic Semantics. ARES. ( pp.49-57). IEEE Computer Society. Publisher URL
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. Oporto, Portugal
Nguyen, C. D., Perini, A., Tonella, P., Miles, S., Harman, M., Luck, M. (2009). Evolutionary testing of autonomous software agents. AAMAS (1). ( pp.521-528). IFAAMAS. Publisher URL
Papakos, P., Rosenblum, D. S., Mukhija, A., Capra, L. (2009). VOLARE: Adaptive Web Service Discovery Middleware for Mobile Systems. Proceedings of the Second International DisCoTec Workshop on Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services (CAMPUS 2009). ( Vol. 19 pp.35-40). Berlin, Germany European Association of Software Science and Technology. Publisher URL
Quercia, D., Capra, L. (2009). FriendSensing: Recommending Friends Using Mobile Phones. 3rd ACM Conference on Recommender Systems.
Quercia, D., Capra, L. (2009). FriendSensing: Recommending friends using mobile phones. RecSys. ( pp.273-276). ACM. Publisher URL
Raiciu, C., Huici, F., Handley, M., Rosenblum, D. S. (2009). ROAR: Increasing the Flexibility and Performance of Distributed Search. 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. SIGCOMM. ( pp.291-302). ACM. Publisher URL
Rochwerger, B., Breitgand, D., Levy, E., Galis, A., Nagin, K., Llorente, L., Montero, R., Wolfsthal, Y., Elmroth, E., Caceres, J., Ben-Yehuda, M., Emmerich, W., Galan, F. (2009). The Reservoir model and architecture for open federated cloud computing. IBM Journal of Research and Development 53, Paper 4-Paper 4, 4 Publisher URL
Rosenblum, D. S. (2009). Software System Scalability: Concepts and Techniques. ISEC 2009 - PROCEEDINGS OF THE 2ND INDIA SOFTWARE ENGINEERING CONFERENCE. ( pp.1-1). ASSOC COMPUTING MACHINERY.
Yang, P. -. F., Chen, T. -. W., Fung, A. W. P., Rosenblum, D. S., Yajnik, S., Wang, C. -. Y., Lin, C. -. M., Huang, Y., Teodorescu, R. (2009). Method and apparatus for reliable and efficient content-based routing and query and response in a publish-subscribe network. Patent 1656474
Yoo, S. (2009). Extending the Boundaries in Regression Testing: Complexity, Latency, and Expertise. King’s College London.
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. ISSTA 2009: INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS. ( pp.201-211). ASSOC COMPUTING MACHINERY.
Yoo, S., Harman, M., Tonella, P., Susi, A. (2009). Clustering Test Cases to Achieve Effective & Scalable Prioritisation Incorporating Expert Knowledge. Proceedings of International Symposium on Software Testing and Analysis (ISSTA 2009). ( pp.201-211). ACM Press.
Yoo, S., Harman, M., Ur, S. (2009). Measuring and Improving Latency to Avoid Test Suite Wear Out. ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS. ( pp.101-110). IEEE COMPUTER SOC.
Zhao, R., Li, Z. (2009). Boundary Value Testing Using Integrated Circuit Fault Detection Rule. TAIC-PART ’09: Proceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques. ( pp.3-12). Washington, DC, USA IEEE Computer Society.

2008

Alshahwan, N., Harman, M. (2008). Automated session data repair for web application regression testing. Proceedings of the 1st International Conference on Software Testing, Verification and Validation, ICST 2008. ( pp.298-307).
Bahsoon, R., Emmerich, W. (2008). An economics-driven approach for valuing scalability in distributed architectures. Proceedings of the Seventh Working IEEE/IFIP Conference on Software Architecture, WICSA 2008, February 18-22, 2008, Vancouver, BC, Canada. ( pp.9-18). Los Alamitos, US IEEE Computer Society Press. Publisher URL
Bahsoon, R., Emmerich, W. (2008). An Example on Realizing Economics-Driven Software Mining. Proc. of the 20th Int. Conference on Software Engineering and Knowledge Engineering, San Francisco, USA. ( pp.375-381). Knowledge Systems Institute.
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). Evaluating Key Statements Analysis. EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. ( pp.121-130). IEEE COMPUTER SOC.
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K., Wegener, J. (2008). Dependence Anti Patterns. 2008 23RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, PROCEEDINGS. ( pp.109-118). IEEE.
Binkley, D., Harman, M., Krinke, J. (2008). Empirical study of optimization techniques for massive slicing. ACM T PROGR LANG SYS 30(1), 3 doi:10.1145/1290520.1290523.
Black, S. (2008). Deriving an approximation algorithm for automatic computation of ripple effect measures. INFORM SOFTWARE TECH 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 Author URL
Bunyakiati, P., Finkelstein, A., Skene, J., Chapman, C. (2008). Using JULE to Generate a Compliance Test Suite for the UML Standard. ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. ( pp.827-830). ASSOC COMPUTING MACHINERY.
Bunyakiati, P., Finkelstein, A., Skene, J., Chapman, C. (2008). Using JULE to generate a compliance test suite for the UML standard. Proceedings of the 30th international conference on Software engineering. ( pp.827-830).
Capra, L., Bahsoon, R., Emmerich, W., Fayad, M. E. (2008). The international workshop on software architectures and mobility (sam 2008). New York, NY, USA ACM. Author URL
Capra, L., Bahsoon, R., Emmerich, W., Fayad, M. E. (2008). The International Workshop on Software Architectures and Mobility (SAM 2008). ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. ( pp.1033-1034). ASSOC COMPUTING MACHINERY.
Cheng, B. H. C., de Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Bencomo, N., Brun, Y., Cukic, B., Serugendo, G. D., Dustdar, S., Finkelstein, A., Gacek, C., Geihs, K., Grassi, V., Karsai, G., Kienle, H. M., Kramer, J., Litoiu, M., Malek, S., Mirandola, R., Muller, H. A., Park, S., Shaw, M., Tichy, M., Tivoli, M., Weyns, D., Whittle, J. (2008). Software Engineering for Self-Adaptive Systems: A Research Roadmap. Schloss Dagstuhl, Germany
Clark, D., Hunt, S. (2008). Non-Interference for Deterministic Interactive Programs. Formal Aspects in Security and Trust. ( Vol. 5491 pp.50-66). Springer. Publisher URL
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-48 doi:10.1109/MC.2008.85.
Dell'Amico, M., Capra, L. (2008). SOFIA: Social filtering for robust recommendations. Trust Management II: Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway. ( Vol. 263 pp.135-150). New York, US Springer. Publisher URL
Del Prete, L., Capra, L. (2008). MoSCA: Seamless execution of mobile composite services. 7th ACM Workshop on Adaptive and Reflective Middleware. ACM.
Del Prete, L., Capra, L. (2008). MoSCA: service composition in mobile environments. Proceedings of the ACM/IFIP/USENIX Middleware '08 Conference Companion. ( pp.87-89).
Del Prete, L., Capra, L. (2008). Reliable Discovery and Selection of Composite Services in Mobile Environments. Proc. of 12th IEEE International Enterprise Computing Conference. IEEE. Author URL
Di Lucca, G. A., Gold, N., Visaggio, G. (2008). Guest Editor's Introduction: 10th Conference on Software Maintenance and Reengineering. Journal of Systems and Software. ( Vol. 81 pp.461-462).
Di Penta, M., Antoniol, G., Harman, M. (2008). Special Issue on Search-Based Software Maintenance. J SOFTW MAINT EVOL-R 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. Proc. of the 16th International Requirements Engineering Conference. ( pp.247-252). IEEE Computer Society Press.
Egyed, A., Letier, E., Finkelstein, A. (2008). Generating and evaluating choices for fixing inconsistencies in UML design models. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008). ( pp.99-108). Author URL
Elbaum, S., Rosenblum, D. S. (2008). Guest editors' introduction: International symposium on software testing and analysis. IEEE Transactions on Software Engineering (TSE) 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), 48- doi:10.1145/13487689.13487692.
Finkelstein, A., Harman, M., Mansouri, S. A., Ren, J., Zhang, Y. (2008). "Fairness Analysis" in Requirements Assignments. Proceedings of the 16th IEEE International Requirements Engineering Conference (RE '08). ( pp.115-124). IEEE.
Finkelstein, A., Harman, M., Mansouri, S. A., Ren, J., Zhang, Y. Y. (2008). "Fairness Analysis" in Requirements Assignments. PROCEEDINGS OF THE 16TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE. ( pp.115-124). IEEE COMPUTER SOC.
Foster, H., Mukhija, A., Rosenblum, D. S., Uchitel, S. (2008). A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes. Proc. 6th Int’l Conf. on Service Oriented Computing (ICSOC 2008). ( pp.558-564). Springer.
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 ( Vol. 131 pp.231-241). Springer. Publisher URL
Ghosheh, E., Black, S., Qaddour, J. (2008). Design metrics for web application maintainability measurement. AICCSA. ( pp.778-784). IEEE. Publisher URL
Gutjahr, W. J., Harman, M. (2008). Search-based software engineering. COMPUT OPER RES 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) Author URL
Harbird, R., Finkelstein, A., Hailes, S., McKinney, E., Jeyarajah-Dent, R. (2008). PRAIS - PRivacy impact Analysis for Information Sharing. Healthcare Computing Conference (HC2008). BCS. Author URL
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., Hu, L., Baresel, A., Binkley, D., Hierons, R., Korel, B., McMinn, P., Roper, M. (2008). Testability transformation - Program transformation to improve testability. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ( Vol. 4949 LNCS pp.320-344).
Harman, M., Li, Z., McMinn, P. (2008). Editorial: Testing practice and research. SOFTW TEST VERIF REL 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-511 doi:10.1042/BST0360511.
Hierons, R. M., Bowen, J. P., Harman, M. (Eds.) (2008). Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers. Formal Methods and Testing. ( Vol. 4949 ). Springer.
Jansen, S., Brinkkemper, S., Finkelstein, A. (2008). Component Assembly Mechanisms and Relationship Intimacy in a Software Supply Network. Groningen, Netherlands Author URL
Jennings, B., Finkelstein, A. (2008). Digital Identity and Reputation in the Context of a Bounded Social Ecosystem. Business Process Management Workshops. ( Vol. 17 pp.687-697). Springer. Author URL
Jennings, B., Finkelstein, A. (2008). Flexible Workflows. In Service Chain Management: technology innovation for service business ( pp.171-185). Springer. Author URL
Jennings, B., Finkelstein, A. (2008). Flexible Workflows: Reputation-based Message Routing. Author URL
Jennings, B., Finkelstein, A. (2008). Service Chain Management: technology innovation for service business, Flexible Workflows. ( pp.171-185-). Springer. Author URL
Jiang, T., Gold, N., Harman, M., Li, Z. (2008). Locating dependence structures using search-based slicing. INFORM SOFTWARE TECH 50(12), 1189-1209 doi:10.1016/j.infsof.2007.11.001.
Jiang, T., Harman, M., Hassoun, Y. (2008). Analysis of Procedure Splitability. FIFTEENTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. ( pp.247-256). IEEE COMPUTER SOC.
Jia, Y., Harman, M. (2008). Constructing Subtle Faults Using Higher Order Mutation Testing. EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. ( pp.249-258). IEEE COMPUTER SOC.
Jia, Y., Harman, M. (2008). MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language. TACI PART 2008:TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS. ( pp.94-98). IEEE COMPUTER SOC.
Krinke, J. (2008). Advanced slicing of sequential and concurrent programs. Saarbrücken, Germany VDM Verlag Dr. Müller.
Krinke, J. (2008). Is Cloned Code more stable than Non-Cloned Code? EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. ( pp.57-66). IEEE COMPUTER SOC.
Krinke, J. (2008). Mining execution relations for crosscutting concerns. IET SOFTW 2(2), 65-78 doi:10.1049/iet-sen:20070005.
Lakhotia, K., Harman, M., McMinn, P. (2008). Handling dynamic data structures in search based testing. GECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation 2008. ( pp.1759-1766).
Langdon, W. B. (2008). A Field Guide to Genetic Programing(Summary for Wyvern). Publisher URL
Langdon, W. B. (2008). A Map of Human Gene Expression. Publisher URL
Langdon, W. B. (2008). Gene breakdown. Wyvern Publisher URL
Langdon, W. B. (2008). Genetic Programming for Drug Discovery. Publisher URL
Langdon, W. B. (2008). Row Quantile Normalisation of Microarrays. Publisher URL
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). Evolving Regular Expressions for GeneChip Probe Performance Prediction. Publisher URL
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 ( Vol. 115 pp.927-1028). Springer-Verlag. Publisher URL
Langdon, W. B., Upton, G. J. G., Harrison, A. P. (2008). Probes containing runs of guanines 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). Model Transformation Specification and Verification. QSIC. ( pp.45-54). IEEE Computer Society. Publisher URL
Lano, K., Clark, D. (2008). Semantics and Refinement of Behavior State Machines. ICEIS (3-1). ( pp.42-49). Publisher URL
Lathia, N., Hailes, S., Capra, L. (2008). kNN CF: A Temporal Social Network. Proc. of 2nd ACM International Conference on Recommender Systems. ACM Press.
Lathia, N., Hailes, S., Capra, L. (2008). The Effect of Correlation Coefficients on Communities of Recommenders. Proc. of 23rd Annual ACM Symposium on Applied Computing - Trust, Recommendations, Evidence and other Collaboration Know-how (TRECK) Track. ( pp.2000-2005). New York, NY, USA ACM.
Lathia, N., Hailes, S., Capra, L. (2008). Trust-based collaborative filtering. IFIP International Federation for Information Processing. ( pp.119-134). Springer.
Maule, A., Emmerich, W., Rosenblum, D. S. (2008). Impact Analysis of Database Schema Changes. 2008 30TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: (ICSE), VOLS 1 AND 2. ( pp.451-460). IEEE.
Maule, A., Emmerich, W., Rosenblum, D. S. (2008). Impact Analysis of Database Schema Changes. Proc. of the 30th Int. Conference on Software Engineering, Leipzig, Germany. ( pp.451-460). New York, NY, USA ACM Press.
McNamara, L., Mascolo, C., Capra, L. (2008). Media Sharing based on Colocation Prediction in Urban Transport. Proc. of 14th ACM International Conference on Mobile Computing and Networking. ( pp.58-69). ACM Press.
Mens, K., Kellens, A., Krinke, J. (2008). Pitfalls in Aspect Mining. FIFTEENTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. ( pp.113-122). IEEE COMPUTER SOC.
Osterweil, L. J., Ghezzi, C., Kramer, J., Wolf, A. L., Ryder, B., Soffa, M. L., Estublier, J., Rombach, D., Ciolkowski, M., Emmerich, W., Aoyama, M., Clarke, L. A., Rosenblum, D. S. (2008). Determining the impact of software engineering research on practice. COMPUTER 41(3), 39-+
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. Publisher URL
Quercia, D., Capra, L., Zanardi, V. (2008). Selecting trustworthy content using tags. SECRYPT 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY. ( pp.501-508). INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION.
Quercia, D., Capra, L., Zanardi, V. (2008). Selecting Trustworthy Content Using Tags (Invited Paper). Proc. of International Conference on Security and Cryptography, Special Session on Trust in Pervasive Systems and Networks. Springer.
Quercia, D., Hailes, S., Capra, L. (2008). MobiRate: Making mobile raters stick to their word. Proc. of 10th International Conference on Ubiquitous Computing. ( pp.212-221). ACM Press.
Raimondi, F., Skene, J., Emmerich, W. (2008). Efficient Online Monitoring of Web-Service SLAs. Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, November 09-14, 2008 Atlanta, Georgia. ( pp.170-180). New York, US ACM Press. Publisher URL
Rosenblum, D. S., Wolf, A. L. (2008). ACM SIGSOFT impact paper award: reflections and prospects. Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ( pp.284-284). New York ACM Press. Publisher URL
Sama, M., Raimondi, F., Rosenblum, D., Emmerich, W. (2008). Algorithms for Efficient Symbolic Detection of Faults in Context-Aware Applications. Proc. 1st International Workshop on Automated Engineering of Autonomous and Run-Time Evolving Systems (ARAMIS 2008). ( pp.1-8). IEEE Computer Society Press.
Sama, M., Rosenblum, D. S., Wang, Z., Elbaum, S. (2008). Model-Based Fault Detection in Context-Aware Adaptive Applications. SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering. ( pp.261-271). New York, US ACM Press. Publisher URL
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. Proceedings of the 1st international workshop on Software architectures and mobility. ( pp.47-49). New York, US ACM Press. Publisher URL
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-98, 2 doi:10.2390/biecoll-jib-2008-98. Publisher URL
Spiro, N., Gold, N., Rink, J. (2008). Plus ça change: analyzing performances of Chopin’s Mazurka Op. 24 No. 2. 10th International Conference on Music Perception and Cognition (ICMPC10). ( pp.418-427). Sapporo, Japan
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-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. Proceedings 22nd International Conference on Advanced Information Networking and Applications, AINA 2008, Gino-wan, Okinawa, Japan 25–28 March 2008. ( pp.1062-1069). Los Alamitos, US IEEE Computer Society Press. Publisher URL
Yoo, S., Harman, M. (2008). Test data augmentation: generating new test data from existing test data.
Zanardi, V., Capra, L. (2008). Social Ranking: Finding Relevant Content in Web 2.0. Proc. of International Workshop on Recommender Systems, co-located with 18th European Conference on Artificial Intelligence.
Zanardi, V., Capra, L. (2008). Social Ranking: Uncovering Relevant Content Using Tag-based Recommender Systems. Proc. of 2nd ACM International Conference on Recommender Systems. ( pp.51-58). ACM Press.
Zhang, Y., Finkelstein, A., Harman, M. (2008). Search based requirements optimisation: Existing work and challenges. Proceedings of the 14th International Working Conference, Requirements Engineering: Foundation for Software Quality (RefsQ '08). ( Vol. 5025 pp.88-94). Springer.
Zhang, Y., Finkelstein, A., Harman, M. (2008). Search based requirements optimisation: Existing work and challenges. REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY. ( Vol. 5025 pp.88-94). SPRINGER-VERLAG BERLIN.
Zirpins, C., Emmerich, W. (2008). An e-service SOA model for virtual service enterprises. Proc. PRO-VE '08, 9th IFIP Working Conference on Virtual Enterprises, Poznan, Poland. Springer.
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

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.
Bellon, S., Koschke, R., Antoniol, G., Krinke, J., Merlo, E. (2007). Comparison and evaluation of clone detection tools. IEEE T SOFTWARE ENG 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 T SOFTW ENG METH 16(2), 8 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. Agile Processes in Software Engineering and Extreme Programming, Proceedings. ( Vol. 4536 pp.101-104). SPRINGER-VERLAG BERLIN.
Bunyakiati, P., Finkelstein, A., Rosenblum, D. (2007). The certification of software tools with respect to software standards. IEEE Conference on Information Reuse and Integration (IRI 2007). ( pp.724-729). IEEE. Author URL
Capra, L. (2007). MaLM: Machine learning middleware to tackle ontology heterogeneity. Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops: Proceedings. ( pp.449-454). Los Alamitos, US IEEE Computer Society. Publisher URL
Chapman, C., Musolesi, M., Emmerich, W., Mascolo, C. (2007). Predictive Resource Scheduling in Computational Grids. Proc. of the $21^st$ Int. Parallel and Distributed Processing Symposium, Long Beach, CA. ( pp.1-10). IEEE Computer Society Press. Publisher URL
Chapman, C., Musolesi, M., Emmerich, W., Mascolo, C. (2007). Predictive Resource Scheduling in Computational Grids. Proc. of the 21st Int. Parallel and Distributed Processing Symposium, Long Beach, CA. ( pp.1-10). IEEE Computer Society Press.
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-123 doi:10.1016/j.jlap.2007.02.006.
Clark, D., Hunt, S. (2007). Non-Interference For Interactive Programs. Publisher URL [Unpublished]
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, 3
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. THEOR COMPUT SCI 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. J LOGIC ALGEBR PROGR 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. Madeira Author URL
Di Penta, M., Antoniol, G., Harman, M., Qureshi, F. (2007). The effect of communication overhead on software maintenance project staffing: A search-based approach. IEEE International Conference on Software Maintenance, ICSM. ( pp.315-324).
Di Penta, M., Harman, M., Antoniol, G., Qureshi, F. (2007). The effect of communication overhead on software maintenance project staffing: a search-based approach. 2007 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE. ( pp.64-73). IEEE.
Duboc, L., Rosenblum, D., Wicks, T. (2007). A framework for characterization and analysis of software system scalability. Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering. ( pp.375-384). New York, US ACM Press. Publisher URL
Dunn, S., Gold, N., Hughes, L. (2007). CHIMERA: A Service Oriented Computing Approach for Archaeological Research. Computer Applications and Quantitative Methods in Archaeology. Berlin
Emmerich, W., Aoyama, M., Sventek, J. (2007). The impact of research on middleware technology. ACM SIGSOFT Software Engineering Notes 32(1), 21-46 doi:10.1145/1226816.1226829.
Emmerich, W., Rothermel, G. (Eds.) (2007). . Proc. of the 29th Int. Conference on Software Engineering, Minneapolis, USA, May 20-26, 2007. IEEE Computer Society Press.
Finkelstein, A. (2007). Modelling-in-the-Large. RE. IEEE. Publisher URL
Foster, H., Emmerich, W., Kramer, J., Magee, J., Rosenblum, D., Uchitel, S. (2007). Model checking service compositions under resource constraints. Proc. of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. ( pp.225-234). ACM Press.
Gallagher, K., Hall, T., Black, S. (2007). Reducing Regression Test Size by Exclusion. ICSM. ( pp.154-163). IEEE. Publisher URL
Guo, Q., Hierons, R. A., Harman, M., Derderian, K. (2007). Heuristics for fault diagnosis when testing from finite state machines. SOFTW TEST VERIF REL 17(1), 41-57 doi:10.1002/stvr.352.
Hammer, C., Nodes, F., Krinke, J. (2007). Intransitive noninterference in dependence graphs. Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ( pp.119-128).
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. (2007). Automated test data generation using search based software engineering. Proceedings - International Conference on Software Engineering.
Harman, M. (2007). Search based software engineering for program comprehension. ICPC 2007: 15TH IEEE INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION, PROCEEDINGS. ( pp.3-13). IEEE COMPUTER SOC.
Harman, M. (2007). The current state and future of search based software engineering. FOSE 2007: FUTURE OF SOFTWARE ENGINEERING. ( pp.342-357). IEEE COMPUTER SOC.
Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., Wegener, J. (2007). The impact of input domain reduction on search-based test data generation. 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007. ( pp.155-164).
Harman, M., Lakhotia, K., McMinn, P. (2007). A Multi-Objective Approach To Search-Based Test Data Generation. GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. ( pp.1098-1105). ASSOC COMPUTING MACHINERY.
Harman, M., McMinn, P. (2007). A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation. 2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07. ( pp.73-83).
Harman, M., Tratt, L. (2007). Pareto Optimal Search Based Refactoring at the Design Level. GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. ( pp.1106-1113). ASSOC COMPUTING MACHINERY.
Hetherington, J., Bogle, I. D. L., Saffrey, P., Margoninski, O., Li, L., Varela Rey, M., Yamaji, S., Baigent, S., Ashmore, J., Page, K., Seymour, R. M., Finkelstein, A., Warner, A. (2007). Addressing the challenges of multiscale model management in systems biology. Computers and Chemical Engineering. ( Vol. 31 pp.962-979). Glasgow, Scotland Pergamon-Elsevier Science Ltd. Author URL
Jansen, S., Brinkkemper, S., Finkelstein, A. (2007). Providing transparency in the business of software: A modeling technique for software supply networks. Spain Author URL
Jansen, S., Finkelstein, A., Brinkkemper, S. (2007). Analyzing the Business of Software: A Modelling Technique for Software Supply Networks. Trondheim, Norway Author URL
Krinke, J. (2007). A study of consistent and inconsistent changes to code clones. 14TH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. ( pp.170-178). IEEE COMPUTER SOC.
Krinke, J. (2007). Changes to Code Clones in Evolving Software. Softwaretechnik-Trends. ( Vol. 27 ).
Krinke, J. (2007). Information flow and taint analysis with dependence graphs. Proceedings International Workshop on Code Based Software Security Assessments (CoBaSSA). ( pp.6-9).
Krinke, J. (2007). Statement-level cohesion metrics and their visualization. SEVENTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. ( pp.37-46). IEEE COMPUTER SOC.
Langdon, W. B. (2007). A SIMD interpreter for Genetic Programming on GPU Graphics Cards. Publisher URL
Langdon, W. B. (2007). PRNG Random Numbers on GPU. Publisher URL
Langdon, W. B. (2007). The Cg Tutorial, Fernando and Kilgard, Addison-Wesley nVidia ISBN 0-321-19496-9. Computer Graphics Forum 26, 853-853, 4 Publisher URL
Langdon, W. B., Poli, R. (2007). Evolving Problems to Learn About Particle Swarm Optimizers 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-35 doi:10.5381/jot.2007.6.9.a2.
Lathia, N., Hailes, S., Capra, L. (2007). Private Distributed Collaborative Filtering Using Estimated Concordance Measures. Proc. of 1st ACM International Conference on Recommender Systems. ( pp.1-8). New York, NY, USA ACM.
Li, Z., Harman, M., Hierons, R. (2007). Meta-heuristic Search Algorithms for Regression Test Case Prioritization. IEEE Transactions on Software Engineering 33, 225-237-225-237, 4
Li, Z., Harman, M., Hierons, R. M. (2007). Search algorithms for regression test case prioritization. IEEE T SOFTWARE ENG 33(4), 225-237
Mattmann, C., Perrone, V., Kelly, S., Crichton, D., Finkelstein, A., Medvidovic, N. (2007). A reference framework for requirements and architecture in biomedical grid systems. IRI 2007: Proceedings of the 2007 IEEE International Conference on Information Reuse and Integration. ( pp.418-422). Las Vegas, NV IEEE. Author URL
McNamara, L., Mascolo, C., Capra, L. (2007). Content source selection in Bluetooth networks. 2007 FOURTH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS SYSTEMS: NETWORKING & SERVICES. ( pp.122-129). IEEE.
Mukhija, A., Dingwall-Smith, A., Rosenblum, D. S. (2007). QoS-aware service composition in Dino. 5th IEEE European Conference on Web Services (ECOWS 2007). ( pp.3-12). Washington, DC, USA IEEE CS Press.
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. SOFTW TEST VERIF REL 17(2), 61-94 doi:10.1002/stvr.344.
Perrone, V., Finkelstein, A. (2007). Analyzing requirements for a large scale system for cancer research. 20th IEEE International Symposium on Computer Based Medical Systems (CBMS 2007). ( pp.103-108). Washington, DC, USA IEEE Computer Society.
Poli, R., Langdon, W. B., McPhee, N. F., Koza, J. R. (2007). Genetic Programming An Introductory Tutorial and a Survey of Techniques and Applications. Publisher URL
Quercia, D., Hailes, S., Capra, L. (2007). TRULLO - local trust bootstrapping for ubiquitous devices. 2007 FOURTH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS SYSTEMS: NETWORKING & SERVICES. ( pp.211-219). IEEE.
Quercia, D., Hailes, S. M., Capra, L. (2007). Lightweight distributed trust propagation. Seventh IEEE International Conference on Data Mining. ( pp.282-291). IEEE. Author URL
Rodrigues, G. N., Rosenblum, D. S., Wolf, J. (2007). Reliability Analysis of Concurrent Systems using LTSA. ICSE 2007 Companion. 29th International Conference on Software Engineering. ( pp.63-64). Minneapolis, USA IEEE Computer Society. Author URL Publisher URL
Saffrey, P., Margoninski, O., Hetherington, J., Varela-Rey, M., Yamaji, S., Finkelstein, A., Bogle, D., Warner, A. (2007). End-to-end information management for systems biology. Transactions on Computational Systems Biology VII 4780, 77-91 doi:10.1007/978-3-540-76639-1_5. Author URL
Skene, J., Skene, A., Crampton, J., Emmerich, W. (2007). The Monitorability of Service-Level Agreements for Application-Service Provision. Proceedings of the WOSP '07: Sixth International Workshop on Software and Performance: February 5-8, 2007, Buenos Aires, Argentina. ( pp.3-14). New York, US ACM Press. Publisher URL
Spanoudakis, G., Kloukinas, C., Androutsopoulos, K. (2007). Towards Security Monitoring Patterns. APPLIED COMPUTING 2007, VOL 1 AND 2. ( pp.1518-1525). ASSOC COMPUTING MACHINERY.
Spiro, N., Gold, N., Rink, J. (2007). In Search of Motive: Identification of Repeated Patterns in Performance and Their Structural Context. Inaugural International Conference on Music Communication Science (ICoMCS). ( pp.152-154). Sydney, Australia
Spiro, N., Gold, N., Rink, J. (2007). Performance motives: analysis and comparison of performance timing repetitions using pattern matching and Formal Concept Analysis. International Symposium on Performance Science. ( pp.175-180). Porto
Sun, Z., Finkelstein, A. C. F., Ashmore, J. (2007). Using ontology with semantic web services to support modeling in systems biology. Lecture Notes in Computer Science. ( Vol. 4832/2007 pp.41-51). Berlin / Heidelberg Springer.
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. Proceedings of the 29th International Conference on Software Engineering, ICSE 2007, 20-26 May 2007, Minneapolis, Minnesota. ( pp.406-415). Los Alamitos, US IEEE Computer Society Press. Author URL Publisher URL
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 (4652 ed. 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. Author URL
Yoo, S., Harman, M. (2007). Pareto efficient multi-objective test case selection. 2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07. ( pp.140-150).
Yoo, S., Harman, M. (2007). Pareto efficient multi-objective test case selection. Proceedings of International Symposium on Software Testing and Analysis (ISSTA 2007). ( pp.140-150). ACM Press.
Zhang, Y. Y., Harman, M., Mansouri, S. A. (2007). The Multi-Objective Next Release Problem. GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. ( pp.1129-1136). ASSOC COMPUTING MACHINERY.

2006

Antonio, G., Krinke, J., Tonella, P. (2006). Special issue on Source code analysis and manipulation. SCI COMPUT PROGRAM 62(3), 205-208 doi:10.1016/j.scico.2006.04.009.
Baker, P., Harman, M., Steinhofel, K., Skaliotis, A. (2006). Search based approaches to component selection and prioritization for the next release problem. ICSM 2006: 22nd IEEE International Conference on Software Maintenance, Proceedings. ( pp.176-185). IEEE COMPUTER SOC.
Berman, L., Gallagher, K., Danicic, S., Gold, N. (2006). The sound of software: Using sonification to aid comprehension. IEEE International Conference on Program Comprehension. ( Vol. 2006 pp.225-226).
Binkley, D., Ceccato, M., Harman, M., Ricca, F., Tonella, P. (2006). Tool-supported refactoring of existing object-oriented code into aspects. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. ( Vol. 32 pp.698-717). IEEE COMPUTER SOC.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Korel, B. (2006). A formalisation of the relationship between forms of program slicing. SCIENCE OF COMPUTER PROGRAMMING. ( Vol. 62 pp.228-252). ELSEVIER SCIENCE BV.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Korel, B. (2006). Theoretical foundations of dynamic program slicing. THEORETICAL COMPUTER SCIENCE. ( Vol. 360 pp.23-41). ELSEVIER SCIENCE BV.
Binkley, D., Danicic, S., Harman, M., Howroyd, J., Ouarbya, L. (2006). A formal relationship between program slicing and partial evaluation. Formal Asp. Comput.. ( Vol. 18 pp.103-119).
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. (2006). An empirical study of executable concept slice size. 13TH WORKING CONFERENCE ON REVERSE ENGINEERING PROCEEDINGS. ( pp.103-112). IEEE COMPUTER SOC.
Binkley, D., Harman, M., Krinke, J. (2006). Characterising, explaining, and exploiting the approximate nature of static analysis through animation. SIXTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. ( pp.43-52). IEEE COMPUTER SOC.
Binkley, D., Harman, M., Krinke, J. (Eds.) (2006). Beyond Program Slicing, 06.11. - 11.11.2005. Beyond Program Slicing. ( Vol. 05451 ). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany.
Binkley, D. W., Danicic, S., Harman, M., Howroyd, J., Ouarbya, L. (2006). A formal relationship between program slicing and partial evaluation. FORM ASP COMPUT 18(2), 103-119 doi:10.1007/s00165-0077-6.
Black, S. (2006). Is ripple effect intuitive? A pilot study. ISSE 2, 88-98, 2 doi:10.1007/s11334-006-0004-x.
BLACK, S. (2006). The Role of Ripple Effect in Software Evolution. In Madhavji, N. H. (Ed.). Software evolution and feedback ( pp.249-268). Wiley.
Capra, L., Musolesi, M. (2006). Autonomic trust prediction for pervasive systems. Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA’06). ( Vol. 2 pp.481-488). Los Alamitos, US IEEE Computer Society Press. Author URL
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. Proceedings of the UK e-Science All Hands Meeting 2006: Nottingham, UK 18th - 21st September. ( pp.377-380). Edinburgh, UK National e-Science Centre. Publisher URL
Clarke, L. A., Rosenblum, D. S. (2006). A historical perspective on runtime assertion checking in software development. SIGSOFT Software Engineering Notes 31(3), 25-37 doi:10.1145/1127878.1127900. Author URL
Dean, T., Harman, M., Koschke, R., Van De Vanter, M. (2006). Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop. J SYST 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. COMPUT J 49(3), 331-344 doi:10.1093/comjnl/bxl003.
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.
Derrick, J., Harman, M., Hierons, R. M. (2006). Guest editorial. FORM ASP COMPUT 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., Sullivan, L. A., Calleja, M., Tucker, M. G., Tyer, R. P., Couch, P. A., Kleese van Dam, K., Allan, R. J., Todorov, I. T., Chapman, C., Emmerich, W., Emmerich, W., Marmier, A., Parker, S. C., Blanchard, M. O., Catlow, C. R. A., Du, Z., de Leeuw, N., Lewis, G. J., Alexandrov, V., Alfredsson, M., Brodholt, J. P., Murray-Rust, P. (2006). Computational Grids for Mid-Sized Collaborative Projects: The eMinerals Experience. Second IEEE International Conference on e-Science and Grid Computing, 2006, e-Science’06. ( pp.95-95). Piscataway, US IEEE Computer Society Press. Publisher URL
Duboc, L., Rosenblum, D. S., Wicks, T. (2006). A Framework for Modelling and Analysis of Software Systems Scalability. ( pp.949-952). Shanghai, China New York Association for Computing Machinery. Author URL
Du, Z., Alexandrov, V. N., Alfredsson, M., Artacho, E., Austen, K. F., Bennett, N. D., Blanchard, M., Brodholt, J. P., Bruin, R. P., CRA, C., Chapman, C., Cook, D. J., Cooper, T. G., Dove, M. T., Emmerich, W., Hasan, S. M., Kerisit, S., de Leeuw, N. H., Lewis, G. J., Marmier, A., Parker, S. C., Price, G. D., Smith, W., Todorov, I. T., Tyer, R. P., Kleese van Dam, K., Walker, A. M., TOH, W., Wright, K. (2006). A virtual research organization enabled by eMinerals minigrid: an integrated study of the transport and immobilisation of arsenic species in the environment. Proceedings of the UK e-Science All Hands Meeting 2006 Nottingham, UK 18th–21st September. ( pp.481-488). Edinburgh, UK National e-Science Centre. Publisher URL
Finkelstein, A., Lewis-Bowen, J., Piccinelli, G., W.Emmerich, (2006). Using Event Models in Grid Design. In Cunha, J., Rana, O. (Eds.). Grid Computing: Software Environments and Tools ( pp.19-44). Springer. Author URL
Gallagher, K., Binkley, D., Harman, M. (2006). Stop-list slicing. Sixth IEEE International Workshop on Source Code Analysis and Manipulation, Proceedings. ( pp.11-20). IEEE COMPUTER SOC.
Ghosheh, E., Qaddour, J., Kuofie, M., Black, S. (2006). A Comparative Analysis of Maintainability Approaches for Web Applications. AICCSA. ( pp.1155-1158). IEEE. Publisher URL
Gold, N., Harman, M., Li, Z. (2006). Allowing overlapping boundaries in source code using a search based approach to concept binding. ICSM 2006: 22nd IEEE International Conference on Software Maintenance, Proceedings. ( pp.310-319). IEEE COMPUTER SOC.
Gold, N., Harman, M., Li, Z., Mahdavi, K. (2006). Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding. ICSM. ( pp.310-319). IEEE Computer Society. Publisher URL
Gold, N., Harman, M., Li, Z., Mahdavi, K. (2006). A Search Based Approach to Overlapping Concept Boundaries. 22nd International Conference on Software Maintenance (ICSM 06). ( pp.310-319). Philadelphia, Pennsylvania, USA
Guo, Q., Hierons, R. M., Harman, M., Derderian, K. (2006). Improving test quality using robust unique input/output circuit sequences (UIOCs). INFORM SOFTWARE TECH 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. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ( pp.58-67).
Hammer, C., Krinke, J., Snelting, G. (2006). Information flow control for Java based on path conditions in dependence graphs. Proceedings of the IEEE International Symposium on Secure Software Engineering. ( pp.87-96).
Harman, M. (2006). Search Based Software Engineering. COMPUTATIONAL SCIENCE - ICCS 2006, PT 4, PROCEEDINGS. ( Vol. 3994 pp.740-747). SPRINGER-VERLAG BERLIN.
Harman, M. (2006). Search-based software engineering for maintenance and reengineering. 10th European Conference on Software Maintenance and Reengineering, Proceedings. ( pp.309-309). IEEE COMPUTER SOC.
Harman, M., Black, S., Tonella, P. (2006). Astrenet Aspect Analysis workshop 2006. 13th Working Conference on Reverse Engineering Proceedings. ( pp.323-323). IEEE COMPUTER SOC.
Harman, M., Black, S., Tonella, P. (2006). Workshop Introduction Astrenet Aspect Analysis. WCRE. ( pp.323-323). IEEE Computer Society. Publisher URL
Harman, M., Korel, B., Linos, P., Mockus, A., Shepperd, M. (2006). EMSE special issue from ICSM and Metrics. EMPIR SOFTW ENG 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. INFORM SOFTWARE TECH 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. GECCO 2006: Genetic and Evolutionary Computation Conference, Vol 1 and 2. ( pp.1951-1952). ASSOC COMPUTING MACHINERY.
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. 13TH WORKING CONFERENCE ON REVERSE ENGINEERING PROCEEDINGS. ( pp.334-342). IEEE COMPUTER SOC.
Langdon, W. B. (2006). Predicting Ten Thousand Bits from Ten Thousand Inputs. Publisher URL
Langdon, W. B. (2006). The Halting Probability in von Neumann Architectures. Publisher URL
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. Publisher URL
Lano, K., Androutsopoulos, K., Clark, D. (2006). Concurrency and Real time specifications in UML. Proceedings of MARTES workshop 2006 at MoDELS 2006 : International Workshop on Modeling and Analysis of Real-Time and Embedded Systems. Research report (Universitetet i Oslo. Institutt for informatikk.
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 search-based test data generation. Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006. ( Vol. 2006 pp.13-23).
Mcnamara, L., Mascolo, C., Capra, L. (2006). Trust and Mobility aware Service Provision for Pervasive Computing. Workshop on Requirements and Solutions for Pervasive Software Infrastructures. Author URL
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. Nottingham, ENGLAND
Perrone, V., Finkelstein, A., Goldin, L., Kramer, J., Parkinson, H., Reddington, F. (2006). Software Engineering meets Cancer Research: Enabling Interoperability of Data and Services. Author URL
Poli, R., Langdon, W. B., Dignum, S. (2006). On the Limiting Distribution of Program Sizes in Tree-based Genetic Programming. Publisher URL
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. Publisher URL
Poli, R., Wright, A. H., McPhee, N. F., Langdon, W. B. (2006). Emergent Behaviour, Population-based Search and Low-pass Filtering. Publisher URL
Popa, L., Raiciu, C., Stoica, I., Rosenblum, D. S. (2006). Reducing Congestion Effects by Multipath Routing in Wireless Networks. ICNP '06: Proceedings of the 2006 14th IEEE International Conference on Network Protocols, 2006. ( pp.96-105). Santa Barbara, USA IEEE. Author URL
Quercia, D., Hailes, S., Capra, L. (2006). B-trust: Bayesian trust framework for pervasive computing. 4th International Conference on Trust Management (iTrust). ( pp.298-312). Lecture Notes in Computer Science. Author URL
Quercia, D., Hailes, S., Capra, L. (2006). TATA: Towards anonymous trusted authentication. 4th International Conference on Trust Management (iTrust). ( pp.313-323). Lecture Notes in Computer Science. Author URL
Quercia, D., Lad, M., Hailes, S., Capra, L., Bhatti, S. (2006). STRUDEL: Supporting Trust in the Dynamic Establishment of peering coaLitions. The 21st Annual ACM Symposium on Applied Computing (SAC 2006). ( pp.1870-1874). ACM.
Quercia, D., Lad, M., Hailes, S., Capra, L., Bhatti, S. (2006). Survivable wireless networking - autonomic bandwidth sharing in mesh networks. BT TECHNOL J 24(3), 99-107 doi:10.1007/s10550-006-0081-2.
Quercia, D., Lad, M., Hailes, S. M. V., Capra, L., Bhatti, S. (2006). STRUDEL: Supporting Trust in the Dynamic Establishment of peering coaLitions. 21st Annual ACM Symposium on Applied Computing. ( pp.1870-1874). New York, NY, USA ACM. Author URL
Raiciu, C., Handley, M., Rosenblum, D. (2006). Revisiting Content-Based Publish/Subscribe. 26th IEEE International Conference on Distributed Computing Systems Workshops. ( pp.19-19). Washington, DC, USA IEEE Computer Society. Author URL
Raiciu, C., Handley, M., Rosenblum, D. S. (2006). Exploit Hijacking: Side Effects of Smart Defenses. Proceedings of the 2006 SIGCOMM Workshop on Large-Scale Attack Defense: Applications, Technologies, Architectures, and Protocols for Computer Communication. ( pp.123-130). New York, US ACM Press. Publisher URL
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. Author URL
Rosenblum, D. S. (2006). Method for sending and receiving a Boolean function over a network. Author URL Patent 7117270
Snelting, G., Robschink, T., Krinke, J. (2006). Efficient path conditions in dependence graphs for software safety analysis. ACM T SOFTW ENG METH 15(4), 410-457
Visaggio, G., Di Lucca, G. A., Gold, N. (2006). Message from the Chairs. Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR.
Zachariadis, S., Mascolo, C., Emmerich, W. (2006). The SATIN component system - A metamodel for engineering adaptable mobile systems. IEEE Transactions on Software Engineering (TSE) 32(11), 910-927 doi:10.1109/TSE.2006.115. Author URL

2005

Alves, C., Franch, X., Carvallo, J., Finkelstein, A. (2005). Using goals and quality models to support the matching analysis during COTS selection. Springer Verlag. Author URL
Antoniol, G., Di Penta, M., Harman, M. (2005). Search-based techniques applied to optimization of project planning for a massive maintenance project. ICSM 2005: PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE. ( pp.240-249). IEEE COMPUTER SOC.
Avellis, G., Finkelstein, A. (2005). Innovative use of mobile learning for occupational stress: Evaluation of Non Functional Requirements and architectures. Univ Tokushima, Tokushima, JAPAN
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., Reddington, F., Wilkinson, J. M. (2005). Challenges of ultra large scale integration of biomedical computing systems. Dublin, IRELAND
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? Univ Paris1 Pantheon Sorbonne, Paris, FRANCE Author URL
Binkley, D., Ceccato, M., Harman, M., Ricca, F., Tonella, P. (2005). Automated refactoring of object oriented code into aspects. ICSM 2005: PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE. ( pp.27-36). IEEE COMPUTER SOC.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Korel, B. (2005). Minimal slicing and the relationships between forms of slicing. FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. ( pp.45-54). IEEE COMPUTER SOC.
Binkley, D., Harman, M. (2005). Forward slices are smaller than backward slices. FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. ( pp.15-24). IEEE COMPUTER SOC.
Binkley, D., Harman, M. (2005). Locating dependence clusters and dependence pollution. ICSM 2005: PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE. ( pp.177-186). IEEE COMPUTER SOC.
Binkley, D., Harman, M., Krinke, J. (2005). 05451 Abstracts Collection -- Beyond Program Slicing. Beyond Program Slicing. ( Vol. 05451 ). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. Publisher URL
Black, S., Bouillon, P. (2005). And Now For Something Completely Different.... Beyond Program Slicing. ( Vol. 05451 ). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. Publisher URL
Black, S., Counsell, S., Hall, T., Wernick, P. (2005). Using Program Slicing to Identify Faults in Software. Beyond Program Slicing. ( Vol. 05451 ). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. Publisher URL
Bouillon, P., Krinke, J., Lukosch, S. (2005). Eine Plattform für die Softwaretechnik-Fernlehre. Software Engineering im Unterricht der Hochschulen, SEUH 9. ( pp.81-92). dpunkt-Verlag.
Bouillon, P., Krinke, J., Lukosch, S. (2005). Software engineering projects in distant teaching. 18TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION & TRAINING, PROCEEDINGS. ( pp.147-154). IEEE COMPUTER SOC.
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 (3798 ed. pp.181-195). Springer.
Calleja, M., Bruin, R., Tucker, M. G., Dover, M. T., Tyer, R., Blanshard, L., Dam, K. K. V., Allen, R. J., Chapman, C., Emmerich, W., Wilson, P., Brodholt, J., Thandavan, A., Alexandrov, V. N. (2005). Collaborative grid infrastructure for molecular simulations: The eMinerals minigrid as a prototype integrated compute and data grid. Molecular Simulation 31, 303-313, 5 doi:10.1080/08927020500067195. Publisher URL
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. Workshop of the 1st International Conference on Security and Privacy for Emerging Areas in Communication Networks, 2005. ( pp.142-152). Los Alamitos, US IEEE Computer Society Press. Author URL Publisher URL
Capra, L., Zachariadis, S., Mascolo, C. (2005). Q-CAD: QoS and context aware discovery framework for mobile systems. ( pp.453-456). IEEE Computer Society Press. Author URL
Chapman, C., Goonatilake, C., Emmerich, W., Farrellee, M., Tannenbaum, T., Livny, M., Calleja, M., Dove, M. (2005). Condor Birdbath - web service interface to Condor. Proc. of the 2005 UK e-Science All Hands Meeting. EPSRC. Publisher URL
Chapman, C., Wakelin, J., Artacho, E., Dove, M. T., Calleja, M., Bruin, R., Emmerich, W. (2005). Workflow issues in atomistic simulations. Molecular Simulation 31, 323-328, 5 Publisher URL
Chen, J. C., Gold, N. E., Mehandjiev, N., Layzell, P. J. (2005). Managing supply chains of software as a service through agent negotiations. CEC 2005: Seventh IEEE International Conference on E-Commerce Technology, Proceedings. ( pp.378-381). IEEE COMPUTER SOC.
Chio, C. D., Poli, R., Langdon, W. B. (2005). Evolution of Force-Generating Equations for PSO using GP. AI*IA Workshop on Evolutionary Computation, Evoluzionistico GSICE05. University of Milan Bicocca, Italy Publisher URL
Chio, C. D., Poli, R., Langdon, W. B. (2005). Evolution of Forces for Particle Swarm Optimisation using Genetic Programming. CEC-2005.
Clark, D., Hunt, S., Malacaria, P. (2005). Quantified Interference for a While Language. Electronic Notes in Theoretical Computer Science 112, 149-166, C 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. ICSE 05: 27th International Conference on Software Engineering, Proceedings. ( pp.69-77). St Louis, MO ASSOC COMPUTING MACHINERY. Author URL
Courbis, C., Finkelstein, A. (2005). Weaving aspects into web service orchestrations. In 3rd IEEE International Conference on Web Services (ICWS 2005) Orlando, Florida ( ). IEEE Computer Society Press. Author URL
Danicic, S., Daoudi, M., Fox, C., Harman, M., Hierons, R. M., Howroyd, J. R., Ourabya, L., Ward, M. (2005). ConSUS: a light-weight program conditioner. JOURNAL OF SYSTEMS AND SOFTWARE. ( Vol. 77 pp.241-262). ELSEVIER SCIENCE INC.
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. COMPUT J 48(6), 737-748 doi:10.1093/comjnl/bxh121.
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. Author URL
Derderian, K., Harman, M., Hierons, R. M., Guo, G. (2005). Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. GECCO 2005: Genetic and Evolutionary Computation Conference, Vols 1 and 2. ( pp.1081-1082). ASSOC COMPUTING MACHINERY.
Dove, M. T., White, T. O., Bruin, R. P., Tucker, M. G., Calleja, M., Artacho, E., Murray-Rust, P., Tyer, R. P., Todorov, I., Allan, R. J., Kleese van Dam, K., Smith, W., Chapman, C., Emmerich, W., Marmier, A., Parker, S. C., Lewis, G. J., Hasan, S. M., Thandavan, A., Alexandrov, V., Blanchard, M., Wright, K., Catlow, C. R. A., Du, Z., de Leeuw, N. H., Alfredsson, M., Price, G. D., Brodholt, J. (2005). eScience usability: the eMinerals experience. Proceedings of the UK e-Science All Hands Meeting 2005: Nottingham, UK: 19th-22nd September 2005. ( pp.30-37). Swindon, UK The Engineering and Physical Sciences Research Council (EPSRC). Publisher URL
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 (3437 ed. pp.214-229). Springer Verlag. Author URL
Emmerich, W., Butchart, B., Chen, L., Wassermann, B., Price, S. L. (2005). Grid Service Orchestration using the Business Process Execution Language (BPEL). UCL-CS Research Note RN/05/07. Author URL
Fatiregun, D., Harman, M., Hierons, R. M. (2005). Search-based amorphous slicing. WCRE: 12TH WORKING CONFERENCE ON REVERSE ENGINEERING 2005, PROCEEDINGS. ( pp.3-12). IEEE COMPUTER SOC.
Finkelstein, A. (2005). Business Data Validation: lessons from practice.
Finkelstein, A., Stevens, R. (2005). Requirements Traceability. Author URL
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 T SOFTWARE ENG 31(3), 203-212
Gold, N., Systä, T., Tjortjis, C., Di Penta, M. (2005). Message from the program chairs. Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR.
Goonatilake, C., Chapman, C., Emmerich, W., Farrellee, M., Tannenbaum, T., Livny, M., Calleja, M., Dove, M. (2005). . Proc. of the 2005 UK e-Science All Hands Meeting. EPSRC.
Guo, Q., Hierons, R. M., Harman, M., Derderian, K. (2005). Constructing multiple unique input/output sequences using metaheuristic optimisation techniques. IEE P-SOFTW 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. Beyond Program Slicing. ( Vol. 05451 ). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. Publisher URL
Harman, M., Korel, B., Linos, P. K. (2005). Special issue on software maintenance and evolution. IEEE T SOFTWARE ENG 31(10), 801-803
Harman, M., Swift, S., Mahdavi, K. (2005). An empirical study of the robustness of two module clustering fitness functions. GECCO 2005: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOLS 1 AND 2. ( pp.1029-1036). ASSOC COMPUTING MACHINERY.
Hierons, R. M., Harman, M., Fox, C. J. (2005). Branch-coverage testability transformation for unstructured programs. COMPUT J 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. 16th IEEE International Symposium on Software Reliability Engineering, Proceedings. ( pp.245-254). IEEE.
Korel, B., Tahat, L. H., Harman, M. (2005). Test prioritization using system models. ICSM 2005: PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE. ( pp.559-568). IEEE COMPUTER SOC.
Krinke, J. (2005). Program slicing. In Chang, S. H. (Ed.). Handbook of software engineering and knowledge engineering ( Vol. 3: Recent Advances pp.307-332). World Scientific Publishing.
Krinke, J., Breu, S. (2005). Aspect mining based on control-flow. 7. Workshop Software Reengineering (WSR 2005). ( Vol. 25 pp.39-40).
Krinke, J., Roos, M. (2005). Erfahrungen mit dem Open-Access-Journal “eleed (e-learning and education)”. Knowledge eXtended. ( pp.123-134).
Langdon, W. B. (2005). ’Pure theatre’ at Lakeside: Review of "Look Back in Anger". Wyvern Extra Publisher URL
Langdon, W. B. (2005). Pfeiffer - A Distributed Open-ended Evolutionary System. AISB’05: Proceedings of the Socially Inspired Computing Joint Symposium: Memetic Theory in Artificial Systems and Societies, Emerging Artificial Societies, Engineering with Social Metaphors. ( pp.7-13). London, UK The Society for the Study of Artificial Intelligence and the Simulation of Behaviour. Publisher URL
Langdon, W. B. (2005). The Distribution of Amorphous Computer Outputs. The Grand Challenge in Non-Classical Computation: International Workshop.. Author URL
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. Author URL
Langdon, W. B., Banzhaf, W. (2005). Repeated Sequences in Linear Genetic Programming Genomes. Complex Systems 15(4), 285-306 USA Author URL Publisher URL
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. Publisher URL
Langdon, W. B., Poli, R. (2005). On Turing complete T7 and MISC F-4 program fitness landscapes. Publisher URL
Langdon, W. B., Poli, R., Stephens, C. R. (2005). Kernel methods for PSOs. Publisher URL
Lano, K., Androutsopolous, 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.
Milewski, M., Roberts, G. (2005). The Model Weaving Description Language (MWDL) - towards a formal Aspect Oriented Language for MDA model transformations. First Workshop on Models and Aspects, ECOOP 2005. Author URL
Poli, R., Langdon, W. B. (2005). An elementary formulation of Riemann’s Zeta function. Publisher URL
Poli, R., Langdon, W. B. (2005). Backward-chaining Genetic Programming. Department of Computing and Electronic Systems, University of Essex. Publisher URL
Roberts, G., Winder, R. (2005). Developing Java Software, 3rd Edition. (3)(1). John Wiley & Sons Ltd..
Rodrigues, G. N., Rosenblum, D. S., Uchitel, S. (2005). Reliability prediction in model-driven development. In Briand, L., Williams, C. (Eds.). Lecture Notes in Computer Science ( pp.339-354). Berlin / Heidelberg, Germany Springer-Verlag. Author URL
Rodrigues, G. N., Rosenblum, D. S., Uchitel, S. (2005). Reliability Support in Model-Driven Development. Proc. ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML 2005). ( Vol. 3713 pp.339-354). Montego Bay, Jamaica Springer.
Rodrigues, G. N., Rosenblum, D. S., Uchitel, S. (2005). Using scenarios to predict the reliability of concurrent component-based software systems. Springer-Verlag. Author URL
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. Author URL
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 (3442 ed. pp.111-126). Springer.
Rosenblum, D. S. (2005). Method for storing boolean functions to enable evaluation, modification, reuse, and delivery over a network. Author URL Patent 6,910,033
Rosenblum, D. S. (2005). Fundamental Research Issues in Software Testing. Proceedings of a European Commission Workshop on Fundamental Research in Software Engineering. Brussels, Belgium
Rosner, P., Black, S. (2005). Measuring Ripple Effect for the Object Oriented Paradigm. IASTED Conf. on Software Engineering. ( pp.37-42). IASTED/ACTA Press. Publisher URL
Skene, J., Emmerich, W. (2005). Engineering Runtime Requirements-Monitoring Systems using MDATechnologies. In IFIP Symposium on Trustworthy Global Computing (3705 ed. pp.319-333). Springer. Author URL
Zeller, A., Krinke, J. (2005). Essential open source toolset - programming with Eclipse, JUnit, CVS, Bugzilla, Ant, Tcl/Tk and more. Wiley.

2004

Adamopoulos, K., Harman, M., Hierons, R. M. (2004). How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution. GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS. ( Vol. 3103 pp.1338-1349). SPRINGER-VERLAG BERLIN.
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. 10TH INTERNATIONAL SYMPOSIUM ON SOFTWARE METRICS, PROCEEDINGS. ( pp.172-183). IEEE COMPUTER SOC.
Antoniol, G., Di Penta, M., Harman, M. (2004). Search-based techniques for optimizing software project resource allocation. GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS. ( Vol. 3103 pp.1425-1426). SPRINGER-VERLAG BERLIN.
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. Author URL
Bahsoon, R., Emmerich, W. (2004). . Proc. of the 6th Int. Workshop on Economics Driven Software Engineering Research, Edinburgh, Scotland. ( pp.66-70). IEE. Author URL
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. Author URL
Baresel, A., Harman, M., Binkley, D., Korel, B. (2004). Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach. ISSTA 2004 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis. ( pp.108-118).
Binkley, D., Burd, L., Harman, M., Tonella, P. (2004). Source Code Analysis and Manipulation - Introduction. SOFTWARE QUAL J. ( Vol. 12 pp.293-295). KLUWER ACADEMIC PUBL.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Ouarbya, L. (2004). Formalizing executable dynamic and forward slicing. FOURTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. ( pp.43-52). IEEE COMPUTER SOC.
Binkley, D., Harman, M. (2004). Analysis and visualization of predicate dependence on formal parameters and global variables. IEEE T SOFTWARE ENG 30(11), 715-735
Binkley, D., Harman, M. (2004). A survey of empirical results on program slicing. ADV COMPUT 62, 105-178
Bouillon, P., Krinke, J. (2004). A platform for teaching distributed software engineering. Cooperative Support for Distributed Software Engineering Processes. ( pp.139-144).
Bouillon, P., Krinke, J. (2004). Using Eclipse in distant teaching of software engineering. ETX. ( pp.22-26). ACM. Publisher URL
Breu, S., Krinke, J. (2004). Aspect mining using event traces. 19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS. ( pp.310-315). IEEE COMPUTER SOC.
Calleja, M., Blanshard, L., Bruin, R., Chapman, C., Thandavan, A., Tyer, R., Wilson, P., Alexandrof, V., Brodholt, J., Dove, M. T., Emmerich, W., Kleese van Dam, K. (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. Author URL
Calleja, M., Blanshard, L., Bruin, R., Chapman, C., Thandavan, A., Tyer, R., Wilson, P., Alexandrov, V., Allen, R. J., Brodholt, J., Dove, M. T., Emmerich, W., van Dam, K. K. (2004). Grid tool integration within the eMinerals Project. Proceedings of the UK e-Science all hands meeting 2004: Nottingham, UK, 31st August-3rd September. ( pp.812-817). Swindon, UK Engineering and Physical Science Research Council. Publisher URL
Capra, L. (2004). Engineering human trust in mobile system collaborations. Proceedings of the 12th International Symposium on the Foundations of Software Engineering (SIGSOFT 2004/FSE-12), Newport Beach, CA, USA. ( Vol. 29 pp.107-116). New York, US ACM Press. Author URL Publisher URL
Capra, L. (2004). Towards a human trust model for mobile ad-hoc networks. Proc. of 2nd UK-UbiNet Workshop. Cambridge University, Cambridge, UK Author URL
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. Proceedings of the UK e-Science All Hands Meeting 2004, Nottingham, UK, 31st August – 3rd September. ( pp.870-877). Swindon, UK The Engineering and Physical Science Research Council (EPSRC). Author URL Publisher URL
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. Author URL
Clark, D., Hunt, S., Malacaria, P. (2004). Non-Interference For Weak Observers. Publisher URL [Unpublished]
Clark, D., Hunt, S., Malacaria, P. (2004). Quantified Interference: Information Theory and Information Flow. [Unpublished]
Clark, J., Harman, M., Hierons, R. (2004). Software testing in the United Kingdom. SOFTW TEST VERIF REL 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. Lancaster, UK Author URL
Danicic, S., De Lucia, A., Harman, M. (2004). Building executable union slices using conditioned slicing. IWPC 2004: 12TH IEEE INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS. ( pp.89-97). IEEE COMPUTER SOC.
Deb, K., Poli, R., Banzhaf, W., Beyer, H. -. G., Burke, E. K., Darwen, P. J., Dasgupta, D., Floreano, D., Foster, J. A., Harman, M., Holland, O., Lanzi, P. L., Spector, L., Tettamanzi, A., Thierens, D., Tyrrell, A. M. (Eds.) (2004). Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I. GECCO (1). ( Vol. 3102 ). Springer.
Deb, K., Poli, R., Banzhaf, W., Beyer, H. -. G., Burke, E. K., Darwen, P. J., Dasgupta, D., Floreano, D., Foster, J. A., Harman, M., Holland, O., Lanzi, P. L., Spector, L., Tettamanzi, A., Thierens, D., Tyrrell, A. M. (Eds.) (2004). Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II. GECCO (2). ( Vol. 3103 ). Springer.
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. Author URL
Derderian, K., Hierons, R. M., Harman, M., Guo, Q. (2004). Input sequence generation for testing of Communicating Finite State Machines (CFSMs). GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS. ( Vol. 3103 pp.1429-1430). SPRINGER-VERLAG BERLIN.
Dove, M. T., Calleja, M., Bruin, R., Wakelin, J., Keegan, M., Ballard, S., Lewis, G., Hasan, S. M., Alexandrov, V., Tyer, R., Todorov, I., Wilson, P., Alfredsson, M., Price, G. D., Chapman, C., Emmerich, W., Wells, S., Marmier, A., Parker, S., Du, Z. (2004). Collaborative tools in support of the eMinerals Virtual Organization. Proceedings of the UK e-Science All Hands Meeting 2004, Nottingham, UK, 31st August – 3rd September. ( pp.127-134). Swindon, UK The Engineering and Physical Science Research Council (EPSRC). Publisher URL
Emmerich, W., Wolf, A. L. (Eds.) (2004). Component Deployment. Component Deployment - Proc. of the 2nd Int. Working Conference, Edinburgh, Scotland, 20-21 May, 2004.. ( Vol. 3083 ). Edinburgh, Scotland Heidelberg:Springer Verlag. Author URL
Estublier, J., Rosenblum, D. S. (Eds.) (2004). . Proceedings of the 26th International Conference on Software Engineering.. IEEE Computer Society..
Fatiregun, D., Harman, M., Hierons, R. M. (2004). Evolving transformation sequences using genetic algorithms. FOURTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. ( pp.65-74). IEEE COMPUTER SOC.
Fatiregun, D., Harman, M., Hierons, R. M. (2004). Evolving Transformation Sequences using Genetic Algorithms. SCAM. ( pp.66-75). IEEE Computer Society. Publisher URL
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. Author URL
Finkelstein, A., Estublier, J., Rosenblum, D. S. (Eds.) (2004). 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. ICSE. IEEE Computer Society.
Finkelstein, A., Gryce, C., Lewis-Bowen, J. (2004). Relating Requirements and Architectures: A Study of Data-Grids. Journal of Grid Computing. ( Vol. 2 pp.207-222). Author URL
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-+
Fox, C., Danicic, S., Harman, M., Hierons, R. M. (2004). CONSIT: a fully automated conditioned program slicer. SOFTWARE PRACT EXPER 34(1), 15-46 doi:10.1002/spe.556.
Gold, N., Bennett, K. (2004). Program comprehension for web services. Program Comprehension, Workshop Proceedings. ( Vol. 12 pp.151-160).
Gold, N., Mohan, A., Knight, C., 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. FORMAL APPROACHES TO SOFTWARE TESTING. ( Vol. 2931 pp.164-177). SPRINGER-VERLAG BERLIN.
Harman, M., Binkley, D., Singh, R., Hierons, R. M. (2004). Amorphous procedure extraction. FOURTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. ( pp.85-94). IEEE COMPUTER SOC.
Harman, M., Clark, J. (2004). Metrics are fitness functions too. 10TH INTERNATIONAL SYMPOSIUM ON SOFTWARE METRICS, PROCEEDINGS. ( pp.58-69). IEEE COMPUTER SOC.
Harman, M., Hu, L., Hierons, R., Wegener, J., Sthamer, H. S., Baresel, A., Roper, M. (2004). Testability transformation. IEEE T SOFTWARE ENG 30(1), 3-16
Harman, M., Hu, L., Munro, M., Zhang, X., Binkley, D., Danicic, S., Daoudi, M., Ouarbya, L. (2004). Syntax-Directed Amorphous Slicing. Automated Software Engineering. ( Vol. 11 pp.27-61).
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. ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS. ( pp.728-729). IEEE COMPUTER SOC.
Heaven, W., Finkelstein, A. (2004). UML profile to support requirements engineering with KAOS. IEE Proceedings - Software 151(1), 10-27 Author URL
Hierons, R. M., Harman, M. (2004). Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. THEOR COMPUT SCI 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. 11TH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. ( pp.152-160). IEEE COMPUTER SOC.
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. Author URL
Krinke, J. (2004). Advanced slicing of sequential and concurrent programs. Proceedings of the 20th IEEE International Conference on Software Maintenance. ( pp.464-468). IEEE Computer Society.
Krinke, J. (2004). Advanced slicing of sequential and concurrent programs. In Wagner, D. (Ed.). Ausgezeichnete Informatikdissertationen 2003 ( pp.101-110). Bonn, Germany Köllen Verlag.
Krinke, J. (2004). Context-sensitivity matters, but context does not. FOURTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. ( pp.29-35). IEEE COMPUTER SOC.
Krinke, J. (2004). Slicing, chopping, and path conditions with barriers. SOFTWARE QUALITY JOURNAL 12(4), 339-360
Krinke, J. (2004). Textual vs. graphical visualization of fine-grained dependences. 6. Workshop Software-Reengineering.
Krinke, J. (2004). Visualization of program dependence and slices. 20TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. ( pp.168-177). IEEE COMPUTER SOC.
Krinke, J., Breu, S. (2004). Control-flow-graph-based aspect mining. Workshop on Aspect Reverse Engineering.
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). 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. Author URL
Langdon, W. B. (2004). Lindenmayer Systems Fractals Evolved by Pfeiffer 10 September – 9 November 2003. Publisher URL
Langdon, W. B., Banzhaf, W. (2004). Repeated Sequences in Linear GP Genomes. Late Breaking Papers at the 2004 Genetic and Evolutionary Computation Conference. Seattle, Washington, USA AAAI, 445 Burgess Drive, Menlo Park, CA 94025. Author URL
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. Author URL
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. INTEGRATED FORMAL METHODS, PROCEEDINGS. ( Vol. 2999 pp.187-206). SPRINGER-VERLAG BERLIN.
Mascolo, C., Capra, L., Emmerich, W. (2004). Principles of Mobile Computing Middleware. In Mahmoud, Q. (Ed.). Middleware for Communications ( pp.261-280). John Wiley.
Mohan, A., Gold, N. (2004). Programming style changes in evolving source code. Program Comprehension, Workshop Proceedings. ( Vol. 12 pp.236-240).
Mohan, A., Gold, N., Layzell, P. (2004). An approach to understanding program comprehensibility using spatial complexity, concept assignment and typographical style. IEEE International Conference on Software Maintenance, ICSM. ( pp.530-530).
Mohan, A., Gold, N., Layzell, P. (2004). An initial approach to assessing program comprehensibility using spatial complexity, number of concepts and typographical style. Proceedings - Working Conference on Reverse Engineering, WCRE. ( pp.246-255).
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.
Rodrigues, G. N., Rosenblum, D., Emmerich, W. (2004). A Model Driven Approach for Software Systems Reliability. Proceedings, 26th International Conference on Software Engineering, ICSE 2004, May 23–28, 2004, Edinburgh International Conference Centre Edinburgh, Scotland, United Kingdom. ( pp.30-32). Los Alamitos, US IEEE Computer Society Press. Publisher URL
Rodrigues, G., Roberts, G., Emmerich, W. (2004). Reliability support for the model driven architecture. In de Lemos, R., Gacek, C., Romanovsky, A. (Eds.). Architecting Dependable Systems II ( pp.79-98). Springer Verlag.
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. Author URL
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. Author URL
Skene, J., Lamanna, D. D., Emmerich, W. J. (2004). Precise Service Level Agreements. Proceedings of the 26th International Conference on Software Engineering, Edinburgh, UK. ( pp.179-188). Los Alamitos, US IEEE Computer Society Press. Author URL Publisher URL
Society, I. E. E. E. C. (2004). Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP 2003). Institute of Electrical & Electronics Engineers(IEEE).
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. Author URL
Wright, A., Poli, R., Stephens, C., Langdon, W. B., Pulavarty, S. (2004). An estimation of distribution algorithm based on maximum entropy. GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS. ( Vol. 3103 pp.343-354). Author URL
Wright, R., Rey, M. V., Margoninski, O., Saffrey, P., Hetherington, J., Li, L., Seymour, R., Warner, A., Finkelstein, A. (2004). A New Framework for Integration of Models in Biology (abstract). The Journal of Physiology 561P(PC31) Author URL
Wright, R., Varela Rey, M., Margoninski, O., Saffrey, P., Hetherington, J., Li, L., Seymour, R., Warner, A., Finkelstein, A. (2004). A new framework for the integration of models in biology. The Physiological Society: Communications. ( Vol. 561P pp.PC31-).
Yoshioka, N., Honiden, S., Finkelstein, A. (2004). Security patterns: A method for constructing secure and efficient inter-company coordination systems. Monterey, CA
Zachariadis, S., Mascolo, C., Emmerich, W. (2004). SATIN: A component model for mobile self organisation. In Meersman, R., Tari, Z. (Eds.). On the Move to Meaningful Internet Systems 2004: Proceedings of CoopIS, DOA and ODBASE, Agia Napa, Cyprus ( pp.1303-1321). Springer Verlag.
Zeller, A., Krinke, J. (2004). Open-Source-Programmierwerkzeuge - Versionskontrolle, Konstruktion, Testen, Fehlersuche (2. Aufl.). dpunkt.verlag.
Zirpins, C., Piccinelli, G., Lamersdorf, W., Finkelstein, A. (2004). Object orientation and web services. OBJECT-ORIENTED TECHNOLOGY. ( Vol. 3344 pp.1-9). Oslo, NORWAY SPRINGER-VERLAG BERLIN.

2003

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. Int J Softw Eng Know 13(5), 473-493 Author URL
Bahsoon, R., Emmerich, W. (2003). ArchOptions: A Real Options-Based Model for Predicting the Stability of Software Architectures. The ICSE 2003 Workshop on Economics-Driven Software Engineering Research. Portland, Oregon Author URL
Bahsoon, R., Emmerich, W. (2003). Evaluating Software Architectures: Development Stability and Evolution. Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications, Tunis, Tunisia. ( pp.47-56). Los Alamitos, US IEEE Computer Society Press. Publisher URL
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. Author URL
Bahsoon, R., Emmerich, W. (2003). Evaluating software architectures for stability: a real options approach. 25th International Conference on Software Engineering, Doctoral Symposium. Portland, Oregon, USA Author URL
Bennett, K. H., Gold, N. E., Layzell, P. J., Zhu, F., Brereton, O. P., Budgen, D., Keane, J., Kotsiopoulos, I., Turner, M., Xu, J., Almilaji, O., Chen, J. C., Owrak, A. (2003). A broker architecture for integrating data using a web services environment. SERVICE-ORIENTED COMPUTING - ICSOC 2003. ( Vol. 2910 pp.409-422). SPRINGER-VERLAG BERLIN.
Binkley, D., Harman, M. (2003). A large-scale empirical study of forward and backward static slice size and context sensitivity. INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. ( pp.44-53). IEEE COMPUTER SOC.
Binkley, D., Harman, M. (2003). An empirical study of predicate dependence levels and trends. 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS. ( pp.330-339). IEEE COMPUTER SOC.
Binkley, D., Harman, M. (2003). Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. SCAM. ( pp.203-203). IEEE Computer Society. Publisher URL
Binkley, D., Harman, M. (2003). Results from a large-scale study of performance optimization techniques for source code analyses based on graph reachability algorithms. THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS. ( pp.203-212). IEEE COMPUTER SOC.
Breu, S., Krinke, J. (2003). Aspect Mining Using Dynamic Analysis. Softwaretechnik-Trends. ( Vol. 23 ).
Bush, D., Finkelstein, A. (2003). Requirements Stability assessment using scenarios. Author URL
Butchart, B., Chapman, C., Emmerich, W. (2003). OGSA first impressions: a case study re-engineering a scientific applicationwith the open grid services architecture. UK E-Science All Hands Meeting, Nottingham. Nottingham, UK Author URL
Butchart, B., Chapman, C., Emmerich, W. (2003). OGSA First Impressions: A Case Study using the Open Grid Service Architecture. Proceedings of the UK E-Science All Hands Meeting, Nottingham. ( pp.810-816). EPSRC. Publisher URL
Butchart, B., Chapman, C., Emmerich, W. (2003). OGSA First Impressions: A Case Study using the Open Grid Service Architecture. Proceedings of the UK E-Science All Hands Meeting, Nottingham. ( pp.810-816). EPSRC.
Cantú-Paz, E., Foster, J. A., Deb, K., Davis, L., Roy, R., O'Reilly, U. -. M., Beyer, H. -. G., Standish, R. K., Kendall, G., Wilson, S. W., Harman, M., Wegener, J., Dasgupta, D., Potter, M. A., Schultz, A. C., Dowsland, K. A., Jonoska, N., Miller, J. F. (Eds.) (2003). Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I. GECCO. ( Vol. 2723 ). Springer.
Cantú-Paz, E., Foster, J. A., Deb, K., Davis, L., Roy, R., O'Reilly, U. -. M., Beyer, H. -. G., Standish, R. K., Kendall, G., Wilson, S. W., Harman, M., Wegener, J., Dasgupta, D., Potter, M. A., Schultz, A. C., Dowsland, K. A., Jonoska, N., Miller, J. F. (Eds.) (2003). Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II. GECCO. ( Vol. 2724 ). Springer.
Capra, L., Emmerich, W., Mascolo, C. (2003). CARISMA: Context-aware reflective mlddleware system for mobile applications. IEEE Transactions on Software Engineering (TSE) 29(10), 929-945 doi:10.1109/TSE.2003.1237173. Author URL
Clark, D., Hunt, S., Malacaria, P. (2003). Quantified Interference for a While Language. Publisher URL
Clarke, J., Dolado, J. J., Harman, M., Hierons, R., Jones, B., Lumkin, M., Rees, K., Mitchell, B., Mancoridis, S., Roper, M., Shepperd, M. (2003). Reformulating software engineering as a search problem. IEE Proceedings: Software. ( Vol. 150 pp.161-175).
De Lucia, A., Harman, M., Hierons, R., Krinke, J. (2003). Unions of slices are not slices. SEVENTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS. ( pp.363-367). IEEE COMPUTER SOC.
Dijk, S. V., Thierens, D., Gaag, L. C. V. D. (2003). Editor of: Building a GA from Design Principles for Learning Bayesian Networks. GECCO. ( Vol. 2723 pp.886-897). Springer. Publisher URL
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 T SOFTWARE ENG 29(7), 665-670
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. Objects, Components, Architectures, Services and Applications for a Networked World. ( Vol. 2591 pp.166-183). 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. Author URL
Emmerich, W. (2003). Konstruktion von verteilten Objekten. Heidelberg, Germany dpunkt Verlag GmbH.
Fatiregun, D., Harman, M., Hierons, R. (2003). Search based transformations. GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT II, PROCEEDINGS. ( Vol. 2724 pp.2511-2512). SPRINGER-VERLAG BERLIN.
Finkelstein, A., Lamerdorf, W., Leyman, F., Piccinelli, G., Weerawarana, S. (2003). Object orientation and web services. Object-Oriented Technology. ( Vol. 3013 pp.179-189). Darmstadt, Germany Springer-Verlag Berlin.
Gallagher, K., Harman, M., Danicic, S. (2003). Guaranteed inconsistency avoidance during software evolution. J SOFTW MAINT EVOL-R 15(6), 393-416 doi:10.1002/smr.289.
Gold, N., Mohan, A. (2003). A Framework for Understanding Conceptual Changes in Evolving Source Code. IEEE International Conference on Software Maintenance, ICSM. ( pp.431-439).
Harman, M., Binkley, D., Danicic, S. (2003). Amorphous program slicing. J SYST 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. ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B. ( Vol. 2651 pp.388-407). SPRINGER-VERLAG BERLIN.
Hughes, A., Emmerich, W. (2003). Using programmable network management techniques to establish experimental networking testbeds. BT Technology Journal 21(2), 195-203 doi:10.1023/A:1024437723284. Author URL
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 (2804 ed. 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. Author URL
Krinke, J. (2003). Advanced slicing of sequential and concurrent programs. Publisher URL
Krinke, J. (2003). Barrier slicing and chopping. THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS. ( pp.81-87). IEEE COMPUTER SOC.
Krinke, J. (2003). Context-Sensitive Slicing of Concurrent Programs. Proceedings of the Joint European Software Engineering Conference (ESEC) and SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11). ( pp.178-187).
Lamanna, D. D., Skene, J., Emmerich, W. (2003). SLAng: A Language for Service Level Agreements. Proc. of the 9th IEEE Workshop on Future Trends in Distributed Computing Systems. ( pp.100-106). IEEE Computer Society Press.
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. Author URL
Langdon, W. B. (2003). Comparison of DNAchip and Computer Vision Data. Author URL
Langdon, W. B. (2003). Convergence of Program Fitness Landscapes. GECCO. ( Vol. 2724 pp.1702-1714). Springer. Publisher URL
Langdon, W. B. (2003). Equations for Human Bioavailability and P450.
Langdon, W. B. (2003). How many Good Programs are there? How Long are they? Foundations of Genetic Algorithms, 7. ( pp.183-202). San Francisco, US Morgan Kaufmann. Publisher URL
Langdon, W. B. (2003). Predicting Cancer. UCL. Author URL
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., Buxton, B. F. (2003). The Application of Genetic Programming for Drug Discovery in the Pharmaceutical Industry. EPSRC RAIS Secondment with GlaxoSmithKline. Author URL Publisher URL
Lano, K., Clark, D., Androutsopoulos, K. (2003). RSDS, a Subset of UML with Precise Semantics. L’OBJET 9, 53-73-53-73, 4
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.
Laurence, M. R., Danicic, S., Harman, M., Hierons, R., Howroyd, J. (2003). Equivalence of conservative, free, linear program schemas is decidable. THEOR COMPUT SCI 290(1), 831-862
Mahdavi, K., Harman, M., Hierons, R. (2003). Finding building blocks for software clustering. GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT II, PROCEEDINGS. ( Vol. 2724 pp.2513-2514). SPRINGER-VERLAG BERLIN.
Mahdavi, K., Harman, M., Hierons, R. M. (2003). A multiple hill climbing approach to software module clustering. INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. ( pp.315-324). IEEE COMPUTER SOC.
Mascolo, C., Emmerich, W., Finkelstein, A. (2003). Guest Editorial: XML and Software Engineering. Automated Software Engineering 10(1), 5-6
Nentwich, C., Emmerich, W., Finkelstein, A. (2003). Consistency management with repair actions. Proc. of the 25th Int. Conference on Software Engineering. ( pp.455-464). IEEE Computer Society Press.
Nentwich, C., Emmerich, W., Finkelstein, A. C. W. (2003). Consistency management with repair actions. Consistency Management with Repair Actions. ( pp.455-464). Washington, D.C., USA IEEE Computer Society. Author URL
Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E. (2003). Flexible consistency checking. ACM Transactions on Software Engineering Methodology (TOSEM) 12(1), 28-63 doi:10.1145/839268.839271. Author URL
Nuseibeh, B., Kramer, J., Finkelstein, A. (2003). ViewPoints: Meaningful relationships are difficult! Portland, OR
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. Author URL
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 (2910 ed. pp.241-255). Springer Verlag.
Piccinelli, G., Finkelstein, A., Costa, T. (2003). Flexible B2B processes: the answer is in the nodes. Information Software & Technology 45(15), 1061-1063
Piccinelli, G., Finkelstein, A., Williams, S. L. (2003). Service-oriented workflow: The DySCo framework. Belek Antalya, Turkey
Quick, T., Nehaniv, C. L., Dautenhahn, K., Roberts, G. (2003). Evolving embodied genetic regulatory network-driven control systems. Advances in Artificial Life: 7th European Conference, ECAL 2003 Dortmund, Germany, September 14-17, 2003: Proceedings. ( Vol. 2801 pp.266-277). Berlin/Heidelberg, Germany Springer-Verlag. Publisher URL
Rodrigues, G. N., Roberts, G., Emmerich, W., Skene, J. (2003). Reliability Support for the Model Driven Architecture. Proceedings of the Workshop on Software Architecture for Dependable Systems (ICSE/WADS' 2003). ( pp.7-12). ACM Press.
Skene, J., Emmerich, W. (2003). A model-driven approach to non-functional analysis of software architectures. Proceedings, 18th IEEE International Conference on Automated Software Engineering, Montreal, Quebec, Canada October 6 to 10, 2003. ( pp.236-239). Los Alamitos, California IEEE Computer Society Press. Publisher URL
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. Author URL
Skene, J., Emmerich, W. (2003). Model Driven Performance Analysis of Enterprise Information Systems. Electronic Notes in Theoretical Computer Science 82(6), 1-11 doi:10.1016/S1571-0661(04)81033-8.
Störzer, M., Krinke, J. (2003). Interference analysis for AspectJ. Foundations of Aspect-Oriented Languages. ( pp.35-44).
Störzer, M., Krinke, J., Breu, S. (2003). Trace analysis for aspect application. Workshop on Analysis of Aspect-Oriented Software.
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. Author URL
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.). Proceedings of 5th Int. Workshop on Mobile Agents for Telecommunication Applications (MATA03) (2881 ed. pp.170-179). Springer Verlag.
Zachariadis, S., Mascolo, C., Emmerich, W. (2003). Self-organizing Mobile Systems: Use of Logical Mobility Primitives in Mobile Computing. UCL-CS.
Zhang, X. Y., Xie, X. R., Munro, M., Harman, M., Hu, L. (2003). Formal verification of communication protocol using type theory. 2003 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOL 1 AND 2, PROCEEDINGS. ( pp.1585-1593). BEIJING UNIV POSTS TELECOMMUNICAT PRESS.

2002

Ackemann, T., Gold, R., Mascolo, C., Emmerich, W. (2002). Incentives in peer-to-peer and grid networking. UCL-CS. Author URL
Alves, C., Finkelstein, A. (2002). Challenges in COTS decision-making: a goal-driven requirements engineering perspective. Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering SEKE 2002. New York, NY, USA ACM Press. Author URL
Alves, C., Finkelstein, A. (2002). Negotiating Requirements for COTS-Based Systems. Proceedings of the Eighth International Workshop on Requirements Engineering: Foundation for Software Quality, in conjunction with RE'02. Essen, Germany, September.
Avellis, G., Finkelstein, A. (2002). How to Annotate Educational Multimedia with Non-Functional Requirements. Educational Technology and Society 5(2), 119-124 Author URL
Banzhaf, W., Langdon, W. B. (2002). Some considerations on the reason for bloat. Genetic Programming and Evolvable Machines 3, 81-91, 1 doi:10.1023/A:1014548204452. Publisher URL
Bennett, K., Munro, M., Xu, J., Gold, N., Layzell, P., Mehandjiev, N., Budgen, D., Brereton, P. (2002). Prototype Implementations of an Architectural Model for Service-Based Flexible Software. 35th Annual Hawaii International Conference on System Sciences (HICSS’02). Publisher URL
Bowen, J. P., Bogdanov, K., Clark, J. A., Harman, M., Hierons, R. M., Krause, P. (2002). FORTEST: Formal methods and testing. 26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS. ( pp.91-101). IEEE COMPUTER SOC.
Capra, L. (2002). Mobile computing middleware for context-aware applications. ( pp.723-724). New York, NY, USA ACM Press. Author URL
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). A micro-economic approach to conflict resolution in mobile computing. Proceedings of the 10th ACM SIGSOFT Foundations of Software Engineering Conference. ( Vol. 27 pp.31-40). New York, US ACM Press. Publisher URL
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 the Leakage of Confidential Data.
Daoudi, M., Ouarbya, L., Harman, M., Fox, C., Ward, M. P. (2002). ConSUS: A scalable approach to conditioned slicing. NINTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. ( pp.109-118). IEEE COMPUTER SOC.
Dingwall-Smith, A., Finkelstein, A. (2002). From Requirements to Monitors by Way of Aspects. Workshop on Early Aspects at the 1st International Conference on Aspect-Oriented Software Development (AOSD). Enschede, Netherlands AOSD. Author URL
Dui, D., Emmerich, W., Nentwich, C., Thal, B. (2002). Consistency Checking of Financial Derivative Transactions. Proceedings of the NetObjectDays. Erfurt, Germany. ( pp.172-189).
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. Author URL
Emmerich, W. (2002). OMG/CORBA: an object-oriented middleware. In Marciniak, J. (Ed.). Encyclopedia of Software Engineering ( pp.902-907). John Wiley & Sons. Author URL
Emmerich, W. J. (2002). Distributed Component Technologies and their Software Engineering Implications. Proceedings of the 24th International Conference on Software Engineering, Orlando, Florida. ( pp.537-546). New York, US ACM Press. Author URL Publisher URL
Emmerich, W., Kaveh, N. (2002). Component Technologies: Java Beans, COM, CORBA,RMI, EJB and the CORBA Component Model. 24th International Conference on Software Engineering. Orlando, Florida, USA Author URL
Emmerich, W., Kaveh, N. (2002). Component Technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model. Proceedings of the 24th International Conference on Software Engineering (ICSE), Orlando, Florida. May 19-25. ( pp.691-692).
Finkelstein, A. C. W., Savigni, A., Kappel, G., Retschitzegger, W., Kimmerstorfer, E., Schwinger, W., Hofer, T., Proll, B., Feichtner, C. (2002). Ubiquitous Web application development - A framework for understanding. Orlando, Florida
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. UML 2002, Model Engineering, Concepts and Tools. Workshop on Consistency Problems in UML-based Software Development.. ( Vol. Research Report 2002:06 ). Dresden, Germany Blekinge Institute of Technology. Author URL
Harman, M., Fox, C., Hierons, R., Hu, L., Danicic, S., Wegener, J. (2002). VADA: A transformation-based system for variable dependence analysis. SCAM 2002: SECOND IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS MANIPULATION, PROCEEDINGS. ( pp.55-64). IEEE COMPUTER SOC.
Harman, M., Gold, N., Hierons, R., Binkley, D. (2002). Code extraction algorithms which unify slicing and concept assignment. NINTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. ( pp.11-20). IEEE COMPUTER SOC.
Harman, M., Hierons, R. M., Proctor, M. (2002). A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. GECCO. ( pp.1351-1358). Morgan Kaufmann. Publisher URL
Harman, M., Hu, L., Hierons, R., Fox, C., Danicic, S., Wegener, J., Sthamer, H., Baresel, A. (2002). Evolutionary testing supported by slicing and transformation. INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. ( pp.285-285). IEEE COMPUTER SOC.
Harman, M., Hu, L., Hierons, R. M., Baresel, A., Sthamer, H. (2002). Improving Evolutionary Testing By Flag Removal. GECCO. ( pp.1359-1366). Morgan Kaufmann. Publisher URL
Harman, M., Hu, L., Hierons, R., Munro, M., Zhang, X. Y., Dolado, J. J., Otero, M. C., Wegener, J. (2002). A post-placement side-effect removal algorithm. INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. ( pp.2-11). IEEE COMPUTER SOC.
Harman, M., Hu, L., Munro, M., Zhang, X. Y., Danicic, S., Daoudi, M., Ouarbya, L. (2002). An interprocedural amorphous slicer for WSL. SCAM 2002: SECOND IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS MANIPULATION, PROCEEDINGS. ( pp.105-114). IEEE COMPUTER SOC.
Harman, M., Munro, M., Hu, L., Zhang, X. Y. (2002). Source code analysis and manipulation. INFORM SOFTWARE TECH 44(13), 717-720
Hierons, R., Harman, M., Fox, C., Ouarbya, L., Daoudi, M. (2002). Conditioned slicing supports partition testing. SOFTW TEST VERIF REL 12(1), 23-28 doi:10.1002/stvr.232.
Hill, F., Csillaghy, A., Bentley, R. D., Aboudarham, J., Antonucci, E., Finkelstein, A., Ciminiera, L., Gurman, J. B., Scholl, I., Pike, D., Zharkova, V. (2002). EGSO in need for a global schema. Waikoloa, HI
Krinke, J. (2002). Evaluating context-sensitive slicing and chopping. INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. ( pp.22-31). IEEE COMPUTER SOC.
Krinke, J., Störzer, M., Zeller, A. (2002). Web-basierte Programmierpraktika mit Praktomat. Softwaretechnik-Trends. ( Vol. 22 ).
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). Application of genetic programming in drug lead discovery. Publisher URL
Langdon, W. B. (2002). Characteristics of the Genetic Programming Search Space. Publisher URL
Langdon, W. B. (2002). Convergence Rates for the Distribution of Program Outputs. GECCO-2002: Proceedings of the Genetic and Evolutionary Computation Conference: July 9-13, 2002. ( pp.812-819). San Francisco, US Morgan Kaufmann. Author URL Publisher URL
Langdon, W. B. (2002). Evolutionary Computation II Session at BNAIC 2002. Newsletter BNVKI 19(6), 145-146
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. Dagstuhl.
Langdon, W. B. (2002). Was Occam Wrong? Blunting Occam's Razor. BNVKI Newsletter 19(3), 56-57
Langdon, W. B., Buxton, B. F., Barrett, S. J. (2002). Combining Machine Learning techniques to Predict Compounds’ Cytochrome P450 High Throughput Screening Inhibition. Publisher URL
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. IFM. ( pp.49-68-49-68).
Lano, K., Clark, D., Androutsopoulos, K. (2002). From Implicit Specifications to Explicit Designs in Reactive System Development. IFM. ( Vol. 2335 pp.49-68). Springer. Publisher URL
Lano, K., Clark, D., Androutsopoulos, K. (2002). Safety and Security Analysis of Object-Oriented Models. SAFECOMP. ( pp.82-93-82-93).
Lano, K., Clark, D., Androutsopoulos, K. (2002). Safety and Security Analysis of Object-Oriented Models. SAFECOMP. ( Vol. 2434 pp.82-93). Springer. Publisher URL
Lawson, K., Finkelstein, A. (2002). Integration of Product and Technology Development Process with R&D Portfolio Management using Efficient Frontier Analysis. 2002 IEEE International Engineering Management Conference: Managing Technology for the New Economy: St John’s College, Cambridge, UK: 18-20 August 2002. ( pp.143-147). Piscataway, US IEEE Computer Society Press. Author URL Publisher URL
Mahdavi, K., Harman, M. (2002). Book Review: Automatic Re-Engineering of Software Using Genetic Programming. Genetic Programming and Evolvable Machines. ( Vol. 3 pp.219-221).
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.). Advanced Lectures on Networking ( pp.20-58). Springer Verlag.
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. Automated Software Engineering 9(2), 151-165
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. Author URL
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. Author URL
Nentwich, C., Emmerich, W., Finkelstein, A. (2002). Edit, compile, debug: from hacking to distributed engineering. Enschede, The Netherlands Author URL
Ouarbya, L., Danicic, S., Daoudi, M., Harman, M., Fox, C. (2002). A denotational interprocedural program slicer. NINTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. ( pp.181-189). IEEE COMPUTER SOC.
Ouarbya, L., Danicic, S., Daoudi, M., Harman, M., Fox, C. (2002). A Denotational Interprocedural Program Slicer. WCRE. ( pp.181-181). IEEE Computer Society. Publisher URL
Piccinelli, G., Emmerich, W., Zirpins, C., Schuette, K. (2002). Web Services Interfaces for Inter-Organizational Business Process: An Infrasctructure for Automated Reconciliation. Proceedings of the 6th Int.Enterprise Distributed Object Computing, (EDOC2002) IEEE Computer Society. Los Almitos, California. ( pp.285-292).
Piccinelli, G., Emmerich, W., Zirpins, C., Schuett, K. (2002). Web service interfaces for inter-organisational business processes an infrastructure for automated reconciliation. In Proceedings of the 6th IEEE International Conference on Enterprise Distributed Object Computing, Lausanne ( pp.285-292). IEEE Computer Society Press. Author URL
Piccinelli, G., Emmerich, W., Zirpins, C., Schuett, K. (2002). Web service interfaces for inter-organizational business process: An infrastructure for automated reconcilliation. Proceedings of the 6th IEEE International Conference on Enterprise Distributed Object Computing. Lausanne. ( pp.285-292). IEEE Computer Society.
Piccinelli, G., Finkelstein, A., Stammers, E. (2002). Automated engineering of e-business processes the RosettaNet case study. Orlando, FL
Sivagurunathan, Y., Harman, M., Sivagurunathan, B. (2002). Slice-based dynamic memory modelling - A case study. 26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS. ( pp.351-356). IEEE COMPUTER SOC.
Tjortjis, C., Gold, N., Layzell, P., Bennett, K. (2002). From system comprehension to program comprehension. Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. ( pp.427-432).
Zachariadis, S., Capra, L., Mascolo, C., Emmerich, W. (2002). XMIDDLE: Information sharing middleware for a mobile environment. Proceedings of the 24th International Conference on Software Engineering. Orlando, Florida. May 19-25.
Zachariadis, S., Capra, L., Mascolo, C., Emmerich, W. (2002). XMIDDLE: information sharing middleware for a mobile environment. ( pp.712-712). New York, NY, USA ACM Press. Author URL
Zachariadis, S., Mascolo, C., Emmerich, W. (2002). Exploiting Logical Mobility in Mobile Computing Middleware. Proceedings of the 22nd Internationa Conference on Distributed Computing Systems - WORKSHOPS (ICDCS 2002 Workshops).
Zachariadis, S., Mascolo, C., Emmerich, W. (2002). Exploiting logical mobility in mobile computing middleware. In Proceedings of the Distributed Computing Systems Workshops, 22nd International Conference on Distributed Computing Systems (ICDCS '02) ( pp.385-386). IEEE Computer Society Press. Author URL
Zanolin, L., Mascolo, C., Emmerich, W. (2002). Model checking programmable router configurations. UCL CS. Author URL
Zhang, X., Munro, M., Harman, M., Hu, L. (2002). Weakest Precondition for General Recursive Programs Formalized in Coq. TPHOLs. ( Vol. 2410 pp.332-348). Springer. Publisher URL
Zhang, X. Y., Munro, M., Harman, M., Hu, L. (2002). Mechanized operational semantics of WSL. SCAM 2002: SECOND IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS MANIPULATION, PROCEEDINGS. ( pp.73-82). IEEE COMPUTER SOC.

2001

Bennett, K., Gold, N. (2001). Achieving ultra rapid evolution using Service-based Software. International Workshop on Principles of Software Evolution (IWPSE). ( pp.91-93).
Bennett, K., Munro, M., Budgen, D., Brereton, P., Gold, N., Layzell, P. (2001). An architectural model for service-based software with ultra rapid evolution. IEEE International Conference on Software Maintenance, ICSM. ( pp.292-300).
Bennett, K., Xu, J., Munro, M., Hong, Z., Layzell, P., Gold, N., Budgen, D., Brereton, P. (2001). An architectural model for service-based flexible software. Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. ( pp.137-142).
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. Author URL
Black, S. (2001). Computing ripple effect for software maintenance. Journal of Software Maintenance 13, 263-279, 4 doi:10.1002/smr.233.
Bush, D., Finkelstein, A. (2001). Reuse of safety case claims - An initial investigation. London Communications Symposium 2001. ( pp.131-134). COMMUN ENGN DOCTORATE CTR, LONDON, ENGLAND U C L PRESS LTD.
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). Exploiting reflection and metadata to build mobile computing middleware. Workshop on Mobile Computing Middleware, Heidelberg, Germany. Heidelberg, Germany Author URL
Capra, L., Emmerich, W., Mascolo, C. (2001). Exploiting reflection in mobile computing middleware. Proc. Workshop on Mobile Computing Middleware 2001, Co-located with Middlelware 2001, Heidelberg, Germany.
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-164
Capra, L., Emmerich, W., Mascolo, C. (2001). Middleware for mobile computing: awareness vs. transparency. Proc. of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Schloss Elmau, Germany. ( pp.142-143).
Capra, L., Emmerich, W., Mascolo, C. (2001). Middleware for mobile computing: awareness vs. transparency (position summary). ( pp.142-142). IEEE Computer Society Press. Author URL
Capra, L., Emmerich, W., Mascolo, C. (2001). Position summary. Middleware for mobile computing: Awareness vs. transparency. EIGHTH WORKSHOP ON HOT TOPICS IN OPERATING SYSTEMS, PROCEEDINGS. ( pp.164-164). IEEE COMPUTER SOC.
Capra, L., Emmerich, W., Mascolo, C. (2001). Reflective Middleware Solutions for Context-Aware Applications. Proc. of REFLECTION 2001, The 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, Kyoto, Japan. ( pp.126-133). Berlin Springer-Verlag.
Capra, L., Emmerich, W., Mascolo, C. (2001). Reflective middleware solutions for context-aware applications. ( pp.126-133). Springer Verlag. Author URL
Capra, L., Mascolo, C., Zachariadis, S., Emmerich, W. (2001). Towards a mobile computing middleware: a synergy of reflection and mobile code techniques. Proc. of the 8th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'2001) Bologna, Italy. ( pp.148-154). IEEE Computer Society Press.
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. Author URL
Clark, D., Hunt, S., Malacaria, P. (2001). Quantitative Analysis of the Leakage of Confidential Data. Electronic Notes in Theoretical Computer Science 59, 3
de Meer, H., Emmerich, W., Mascolo, C., Pezzi, N., Rio, M., Zanolin, L. (2001). Middleware and management support for programmable QoS-network. Proceedings of the 3rd International Working Conference on Active Networks, Philadelphia, PA.
Dykiert, M., Gold, N. E. (2001). Support for Learning Synthesiser Programming. Proceedings of 8th Sound and Music Computing Conference 2011. Padova, Italy Padova University Press. Author URL Publisher URL
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. Author URL
Emmerich, W. (2001). OMG/CORBA: An object-oriented middleware. In Encyclopedia of Software Engineering ( ). John Wiley & Sons.
Emmerich, W., Ellmer, E., Fieglein, H. (2001). TIGRA - an architectural style for enterprise application integration. Proc. of the 23rd International Conference on Software Engineering, Toronto, Canada. ( pp.567-576). ACM Press.
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. Author URL
Emmerich, W., Kaveh, N. (2001). Component technologies: Java Beans, COM, CORBA, RMI, EJB,and the CORBA component model. Proc.of the Joint 7th European Software Engineering Conference and 9th ACM SIGSOF International Symposium on Foundations of Software Engineering, Vienna, Austria. ( pp.311-312). ACM Press.
Farbey, B., Finkelstein, A. (2001). Evaluation in software engineering: ROI, but more than ROI.
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. Author URL
Fox, C., Harman, M., Hierons, R., Danicic, S. (2001). Backward conditioning: a new program specialisation technique and its application to program comprehension. 9TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS. ( pp.89-97). IEEE COMPUTER SOC.
Gold, N. (2001). Hypothesis-based concept assignment to support software maintenance. IEEE International Conference on Software Maintenance, ICSM. ( pp.545-548).
Gold, N., Bennett, K. (2001). A Flexible Method for Segmentation in Concept Assignment. 9th IEEE International Workshop on Program Comprehension (IWPC) 2001. ( pp.135-144). Publisher URL
Harman, M., Hierons, R., Danicic, S. (2001). The relationship between program dependence and mutation analysis. MUTATION TESTING FOR THE NEW CENTURY. ( Vol. 24 pp.5-13). KLUWER ACADEMIC PUBLISHERS.
Harman, M., Hierons, R., Danicic, S., Howroyd, J., Laurence, M., Fox, C. (2001). Node coarsening calculi for program slicing. EIGHTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. ( pp.25-34). IEEE COMPUTER SOC.
Harman, M., Hierons, R., Fox, C., Danicic, S., Howroyd, J. (2001). Pre/post conditioned slicing. IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. ( pp.138-147). IEEE COMPUTER SOC.
Harman, M., Hu, L., Munro, M., Zhang, X. Y. (2001). GUSTT: An amorphous slicing system which combines slicing and transformation. EIGHTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. ( pp.271-280). IEEE COMPUTER SOC.
Harman, M., Hu, L., Munro, M., Zhang, X. Y. (2001). Side-effect removal transformation. 9TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS. ( pp.310-319). IEEE COMPUTER SOC.
Harman, M., Jones, B. (2001). SEMINAL - Software engineering using metaheuristic INnovative ALgorithms. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. ( pp.762-763). IEEE COMPUTER SOC.
Harman, M., Jones, B. F. (2001). Search-based software engineering. INFORM SOFTWARE TECH 43(14), 833-839
Harman, M., Jones, B. F. (2001). Software engineering using metaheuristic innovative algorithms: workshop report. INFORM SOFTWARE TECH 43(14), 905-907
Harman, M., Jones, B. F. (2001). The SEMINAL workshop. ACM SIGSOFT Software Engineering Notes 26(6), 62-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 (TSE) 27(3), 248-263 doi:10.1109/32.910860. Author URL
Kaveh, N., Emmerich, W. (2001). Deadlock detection in distributed object systems. Joint Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vienna, Austria. ( Vol. 26 pp.44-51). New York, US ACM Press. Author URL Publisher URL
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. Author URL
Krinke, J. (2001). Identifizierung von ähnlichem Code mit Programmabhängigkeitsgraphen. 3. Workshop Software-Reengineering.
Krinke, J. (2001). Identifying similar code with program dependence graphs. EIGHTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. ( pp.301-309). IEEE COMPUTER SOC.
Langdon, W. B. (2001). Dynamics of Evolutionary Algorithms. Publisher URL
Langdon, W. B. (2001). Evolutionary Data Fusion. Publisher URL
Langdon, W. B. (2001). Maximum Product of Non-Negative Numbers. Publisher URL
Langdon, W. B. (2001). Prediction.
Langdon, W. B. (Ed.) (2001). Long random linear programs do not generalize. Genetic Programming and Evolvable Machines 2(2), 95-100
Langdon, W. B., Nordin, P. (2001). Evolving hand-eye coordination for a humanoid robot with machine code genetic programming. Genetic Programming 4th European Conference, EuroGP 2001 Lake Como, Italy, April 18–20, 2001: Proceedings. ( Vol. 2038 pp.313-324). Berlin/Heidelberg, Germany Springer-Verlag. Publisher URL
Mascolo, C., Capra, L., Emmerich, W. (2001). An XML-based Middleware for Peer-to-Peer computing. Proceedings, First International Conference on Peer-to-Peer Computing, 27-29 August 2001, Linkoping, Sweden. ( pp.69-74). Los Alamitos, US IEEE Computer Society Press. Publisher URL
Mascolo, C., Emmerich, W., de Meer, H. (2001). An XML-based programmable network platform. Proc. of the ICSE Workshop on Software Engineering and Mobility, Toronto, Canada. ( pp.775-776). ACM Press.
Mascolo, C., Emmerich, W., de Meer, H. (2001). XMILE: an XML-based approach for programmable networks. AISB Symposium on Software Mobility and Adaptive Behaviour. York, UK Author URL
Mascolo, C., Emmerich, W., de Meer, H. (2001). XMILE:An XML-based approach for programmable networks. Proc. AISB Symposium on Software Mobility and Adaptive Behaviour, York, UK. ( pp.57-64).
Mascolo, C., Emmerich, W., Finkelstein, A. (2001). First ICSE 2001 workshop on XML technologies and software engineering. ACM SIGSOFT Software Engineering Notes 26, 59-61, 6 doi:10.1145/505532.505547.
Mascolo, C., Emmerich, W., Finkelstein, A. (2001). XML technologies and software engineering. Proc. of the 23rd International Conference on Software Engineering (ICSE2001), Toronto, Canada. ( pp.775-776). Washington, DC,USA IEEE Computer Society. Author URL
Nentwich, C., Emmerich, W., Finkelstein, A. (2001). Better living with xlinkit. Proc. of the 2nd International Workshop on Living with Inconsistency at ICSE 2001, Toronto, Canada.
Nentwich, C., Emmerich, W., Finkelstein, A. (2001). Static consistency checking for distributed specifications. Proc. of the 16th Automated Software Engineering Conference, Coronado Island, CA. ( pp.115-124). IEEE Computer Society Press. Author URL
Ortega-Arjona, J. L., Roberts, G. (2001). Architectural Development Pattern. Proceedings of the 4th European Conference on Pattern Languages of Programms, 1999. Konstanz, Germany UVK Verlagsgesellschaft. Publisher URL
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. Proc. of the 5th International Enterprise Distributed Object Computing Conference (EDOC 2001). ( pp.169-173). IEEE Computer Society Press. Author URL
Rio, M., Pezzi, N., Zanolin, L., DeMeer, H., Emmerich, W., Mascolo, C. (2001). Promile: a management architecture for programmable modular routers. OPENSIG 2001 Workshop on Next Generation Network Programming. London, UK Author URL
Rio, M., Pezzi, N., Zanolin, L., de Meer, H., Emmerich, W., Mascolo, C. (2001). Promile: A management architecture for programmable modular routers. Proc. OPENSIG 2001 Workshop on Next Generation Network Programming, London.
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, 78-81, 1 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. 8TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION (IWPC 2000), PROCEEDINGS. ( pp.161-170). IEEE COMPUTER SOC.
Black, S., Clark, F. (2000). Measuring the Ripple Effect of Pascal Programs. IWSM. ( Vol. 2006 pp.161-171). Springer. Publisher URL
Clark, D., Hankin, C., Hunt, S. (2000). Safety of Strictness Analysis via Term Graph Rewriting. SAS. ( Vol. 1824 pp.95-114). Springer. Publisher URL
Danicic, S., Fox, C., Harman, M., Hierons, R. (2000). ConSIT: A conditioned program slicer. INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS. ( pp.216-226). IEEE COMPUTER SOC.
Danicic, S., Harman, M. (2000). Espresso: A slicer generator. Proceedings of the ACM Symposium on Applied Computing. ( Vol. 2 pp.831-839).
Emmerich, W. (2000). Engineering distributed objects. Chichester, UK John Wiley & Sons.
Emmerich, W. (2000). Software engineering and middleware: a roadmap. In Finkelstein, A. (Ed.). The Future of Software Engineering ( pp.117-129). ACM Press.
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. Author URL
Emmerich, W., Kaveh, N. (2000). Model checking distributed objects. 4th International Software Architecture Workshop. Limerick, Ireland Author URL
Emmerich, W., Kaveh, N. (2000). Model checking distributed objects. Proc. of the 4th International Software Architecture Workshop, Limerick, Ireland. ACM Press.
Farbey, B., Finkelstein, A. (2000). Software acquisition: a business strategy analysis. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, PROCEEDINGS. ( pp.76-83). IEEE COMPUTER SOC.
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. Author URL
Feldt, R., Neill, M. O., Ryan, C., Nordin, P., Langdon, W. B. (2000). GP-Beagle: A Benchmarking Problem Repository for the Genetic Programming Community. Late Breaking Papers at the 2000 Genetic and Evolutionary Computation Conference. ( pp.90-97). Las Vegas, Nevada, USA Publisher URL
Finkelstein, A. (2000). A Foolish Consistency: Technical Challenges in Consistency Management. Author URL
Finkelstein, A. (2000). The Future of Software Engineering 2000: 22nd International Conference on Software Engineering. New York, US ACM Press. Author URL
Finkelstein, A. (2000). Head-to-head: looking back at Y2K. COMPUT CONTROL ENG J 11(4), 156-157
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 Author URL
Finkelstein, A. (2000). Looking back to Y2K. COMPUT CONTROL ENG J 11(5), 254-254
Finkelstein, A. (2000). Software engineering (Encylopedia entry). In Encyclopedia of Information Sciences ( ). Marcel Dekker. Author URL
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). Author URL
Finkelstein, A., Kramer, J. (2000). Software engineering: a roadmap. In The future of software engineering 2000: 22nd international conference on software engineering ( pp.3-24). New York, NY, USA ACM Press. Author URL
Finkelstein, A., Smolko, D. (2000). Software agent architecture for consistency management in distributed documents. Proc. ISAS 2000, 6th International Conference on Information Systems Analysis and Synthesis, Orlando, USA. ( Vol. IX pp.715-719). International Institute of Informatics and Systemics.
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. ICSM. ( pp.216-216).
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. Formal Aspects of Computing. ( Vol. 12 pp.423-442).
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). Conference Report. Robotica 18(1), 87-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, 1/2 doi:10.1023/A:1010028616099. Publisher URL
Langdon, W. B. (2000). Natural language text classification and filtering with trigrams and evolutionary nearest neighbour classifiers. Publisher URL
Langdon, W. B. (2000). Problems with ROC Convex Hulls. Publisher URL
Langdon, W. B. (2000). Trends in Evolutionary Data Mining.
Lano, K., Androutsopoulos, K., Clark, D. (2000). Structuring and Design of Reactive Systems Using RSDS and B. FASE. ( pp.97-111-97-111).
Lano, K., Androutsopoulos, K., Clark, D. (2000). Structuring and design of reactive systems using RSDS and B. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING. ( Vol. 1783 pp.97-111). SPRINGER-VERLAG BERLIN.
Lano, K., Androutsopoulos, K., Kan, P. (2000). Structuring reactive systems in B AMN. ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS. ( pp.25-33). IEEE COMPUTER SOC.
Lano, K., Clark, D., Androutsopoulos, K., Kan, P. (2000). Invariant-based synthesis of fault-tolerant systems. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS. ( Vol. 1926 pp.46-57). SPRINGER-VERLAG BERLIN.
Lano, K., Clark, D., Androutsopoulos, K., Kan, P. (2000). Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT. ( pp.46-57-46-57).
Mascolo, C., Emmerich, W., Finkelstein, A. (2000). Implementing incremental code migration with XML. Proc. of the 22nd International Conference on Software Engineering, Limerick, Ireland. ( pp.397-406). New York, NY, USA ACM Press. Author URL
Mascolo, C., Emmerich, W., Finkelstein, A. (2000). XMILE: an incremental code mobility system based on XML technologies. Zurich, Switzerland Author URL
Nentwich, C., Emmerich, W., Finkelstein, A., Zisman, A. (2000). BOX: Browsing objects in XML. Software Practice and Experience 30(15), 1661-1676
Ortega-Arjona, J. L., Roberts, G. (2000). The communicating sequential elements pattern. Proc. of the 7th Pattern Languages of Programs Conference (PLoP 2000), Monticello, Illinois.
Takahashi, K., Emmerich, W., Finkelstein, A., Guerra, S. (2000). System development using application services over the Net (tutorial session). In Proceedings of the 22rd International Conference on Software Engineering, Limerick, Ireland ( pp.830-830). IEEE Computer Society Press. Author URL
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. Author URL
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. Proc. of the 10th International Workshop on Software Specification and Design, San Diego. IEEE Computer Society Press. Author URL

1999

Arlow, J., Emmerich, W., Quinn, J. (1999). Literate modelling - capturing business knowledge with the UML. The Unified Modeling Language: «UML»’98: Beyond the Notation: First International Workshop, Mulhouse, France, June 3-4, 1998: Selected Papers. ( Vol. 1618 pp.189-199). Berlin/Heidelberg, Germany Springer-Verlag. Publisher URL
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. J. Braz. Comp. Soc.. ( Vol. 6 pp.13-37).
Chong, F. S., Langdon, W. B. (1999). Java based Distributed Genetic Programming on the Internet. Publisher URL
Emmerich, W., Finkelstein, A., Fuggetta, A., Montangero, C., Derniame, J. (1999). Software process - Standards, assessments rand improvement. Author URL
Emmerich, W., Finkelstein, A., Montangero, C., Antonelli, S., Armitage, S., Stevens, R. (1999). Managing standards compliance. IEEE Transactions on Software Engineering (TSE). ( Vol. 25 pp.836-851). Author URL
Emmerich, W., Gruhn, V. (1999). Engineering distributed objects (EDO 99) workshop summary. Proceedings of the 21st International Conference on Software Engineering 1999, Los Angeles, California, United States, May 16-22, 1999. ( pp.705-706). New York, US ACM Press. Publisher URL
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. Author URL
Emmerich, W., Roodyn, N. (1999). Distributed objects. Proceedings of the 21st International Conference on Software Engineering, Los Angeles. ( pp.665-666). Los Alamitos, US IEEE Computer Society Press. Publisher URL
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. Author URL
Emmerich, W., Schwarz, W., Finkelstein, A. (1999). Markup Meets Middleware. Proc. of the 7th International Workshop on Future Trends in Distributed Systems, Capetown, South Africa. ( pp.261-266). IEEE Computer Society Press. Author URL
Farbey, B., Finkelstein, A. (1999). Exploiting software supply chain business architecture: a research agenda. LA Airport Marriott Hotel, Los Angeles, CA, USA Author URL
Finkelstein, A., Zisman, A. (1999). XML for software engineers. Limerick, Ireland IEEE Computer Society Press.
Harman, M., Fox, C., Hierons, R., Binkley, D., Danicic, S. (1999). Program simplification as a means of approximating undecidable propositions. SEVENTH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS. ( pp.208-217). IEEE COMPUTER SOC.
Haynes, T., Langdon, W. B., Reilly, U. -. M. O., Poli, R., Rosca, J. (Eds.) (1999). Foundations of Genetic Programming. ( pp.52-52). Orlando, Florida, USA Publisher URL
Hierons, R., Harman, M., Danicic, S. (1999). Using program slicing to assist in the detection of equivalent mutants. Software Testing Verification and Reliability. ( Vol. 9 pp.233-262).
Krinke, J., Robschink, T. (1999). Kombination von Slicing und Constraint-Solving für Software-Reengineering. Workshop Software Reengineering.
Krinke, J., Robschink, T., Snelting, G. (1999). Software-sicherheitsprüfung mit VALSOFT. Informatik - Forschung und Entwicklung 14(2), 62-73
Krinke, J., Robschink, T., Snelting, G. (1999). Software-Sicherheitsprüfung mit VALSOFT. Inform., Forsch. Entwickl.. ( Vol. 14 pp.62-73).
Langdon, W. B. (1999). Evolutionary Computation 1 Session at BNAIC’99. Newsletter BVNKI 16, 168-169, 6 Publisher URL
Langdon, W. B. (1999). GECCO’99 Student Workshop. Newsletter BVNKI 16, 144-143, 5 Publisher URL
Langdon, W. B. (1999). Genetic Programming Approach to Benelearn 99: I. The Benelearn 1999 Competition. ( pp.3.5-3.5). Sociaal-Wetenschappelijke Informatica, Universiteit van Amsterdam Publisher URL
Langdon, W. B. (1999). Linear Increase in Tree Height Leads to Sub-Quadratic Bloat. Foundations of Genetic Programming. ( pp.55-56). Orlando, Florida, USA Publisher URL
Langdon, W. B. (1999). Scaling of Program 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.
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. Publisher URL
Lano, K., Androutsopoulos, K. (1999). Reactive System Refinement of Distributed Systems in B. IFM. ( pp.415-434). Springer. Publisher URL
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 (IJSEKE) 9(6), 691-724 Author URL
Ortega-Arjona, J. L., Roberts, G. (1999). Searching Basic Notions for Software Architecture Design. Object-Oriented Technology ECOOP’99 Workshop Reader: ECOOP’99 Workshops, Panels, and Posters Lisbon, Portugal, June 14–18, 1999: Proceedings. ( Vol. 1743 pp.67-68). Berlin/Heidelberg, Germany Springer-Verlag. Publisher URL
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. Publisher URL
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. Computing anticipatory systems: CASYS '99 - third international conference, Liège, Belgium, 9-14 August 1999. ( Vol. 517 pp.649-660). Woodbury, US American Institute of Physics. Publisher URL
Robschink, T., Krinke, J. (1999). Heuristische Graphzerlegung. Sicherheit und Zuverlässigkeit Software-basierter Systeme.
Roodyn, N., Emmerich, W. (1999). An architectural style for multiple real-time data feeds. Proceedings of the 21st International Conference on Software Engineering 1999, Los Angeles, California, United States, May 16-22, 1999. ( pp.564-572). New York, US ACM Press. Publisher URL
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. Author URL
Sharp, H., Finkelstein, A., Galal, G. (1999). Stakeholder Identification in the Requirements Engineering Process. In Proceedings of 10th International Workshop on Database & Expert Systems Applications (DEXA) ( pp.387-391). IEEE Computer Society Press. Author URL
Spanoudakis, G., Finkelstein, A., Till, D. (1999). Overlaps in Requirements Engineering. Automated Software Engineering (6), 171-198 Author URL
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. Publisher URL
Spector, L., Langdon, W. B., Reilly, U. -. M. O., Angeline, P. J. (Eds.) (1999). Advances in Genetic Programming 3. Cambridge, MA, USA MIT Press. Publisher URL
Thanitsukkarn, T., Finkelstein, A. (1999). Multiperspective Analysis of the Sisyphus-I Room Allocation Task Modelled in a CG Meta-Representation Language.

1998

Armitage, S., Stevens, R., Finkelstein, A. (1998). Implementing a compliance manager. Requirements Engineering 3(2), 98-106 Author URL
Brooke, C., Ramage, M., Bennett, K., Gold, N. (1998). Change Effects And Legacy Information Systems: A Framework To Aid Our Understanding. IFIP WG8.2 and WG8.6 Working Conference on Information Systems: Current Issues and Future Changes. ( pp.489-508).
Brooke, C., Ramage, M., Gold, N. (1998). From Legacy System To Business Asset: A Model To Support Organisational And Technological Change. Fifth Annual International Conference on Advances In Management.
Ellmer, E., Emmerich, W. (1998). Business objects: the next step in component technology? Proc. of the CAiSE Workshop on Component Based Infomation systems, Pisa, Italy. ( pp.21-26).
Ellmer, E., Emmerich, W. (1998). Business objects:the next step in component technology? University of Waikato, New Zealand. Author URL
Ellmer, E., Emmerich, W., Finkelstein, A. (1998). Process technology implications of procurement processes: Some initial observations. LNCS 1487. ( pp.105-110). Berlin Springer-Verlag. Author URL
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. Author URL
Emmerich, W. (1998). Recent developments in OMG/CORBA. Tutorial summary. Proc. of the 20th International Conference of Software Engineering, Kyoto, Japan. ( Vol. 2 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. Author URL
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., 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 Author URL
Finkelstein, A. (1998). Interoperable Systems: an introduction. In Information Systems Interoperability ( ). Research Studies Press. Author URL
Harman, M., Danicic, S. (1998). A new algorithm for slicing unstructured programs. J SOFTW MAINT-RES PR 10(6), 415-441
Harman, M., Gallagher, K. B. (1998). Program slicing. INFORM SOFTWARE TECH 40(11-12), 577-581
Harman, M., Sivagurunathan, Y., Danicic, S. (1998). Analysis of dynamic memory access using amorphous slicing. INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. ( pp.336-345). IEEE COMPUTER SOC.
Krinke, J. (1998). Static slicing of threaded programs. ACM SIGPLAN NOTICES. ( Vol. 33 pp.35-42). ASSOC COMPUTING MACHINERY.
Krinke, J., Snelting, G. (1998). Validation of measurement software as an application of slicing and constraint solving. INFORM SOFTWARE TECH 40(11-12), 661-675
Langdon, W. B. (1998). Conference on Genetic Programming (GP-97). Robotica 16(1), 117-118 doi:10.1017/S0263574798210204.
Langdon, W. B. (1998). Genetic Programming and Data Structures: Genetic Programming + Data Structures = Automatic Programming! (1). Boston Kluwer. Publisher URL
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-701 doi:10.1017/S026357479821085X.
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.
Langdon, W. B., Poli, R. (1998). Why Ants are Hard. Publisher URL
Ortega-Arjona, J. L., Roberts, G. (1998). Architectural Patterns for Parallel Programming. Proc. of the Third European Conference on Pattern Languages of Programming and Computing, EuroPLoP'98, Kloster Irsee, Germany.
Ortega-Arjona, J. L., Roberts, G. (1998). The concept of software structure and its relations with software architecture and software patterns. Proc. of the Object-Oriented Software Architecture Workshop, OOSA'98, at the 12th European Conference of Object-Oriented Programming, ECOOP'98, Brussels, Belgium.
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). 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. Publisher URL
Spanoudakis, G., Finkelstein, A. (1998). A semi-automatic process of identifying overlaps and inconsistencies between requirements specifications. Paris, France
Thanitsukkarn, T., Finkelstein, A. (1998). A Conceptual Graph Approach to Support Multiperspective Development Environments. 11th Knowledge Acquisition Workshop (KAW 98). Banff, Canada KAW. Author URL
Vose, M. D., Wright, A. H. (1998). The Simple Genetic Algorithm and the Walsh Transform: Part I, Theory. Evolutionary Computation 6(3), 253-273 doi:10.1162/evco.1998.6.3.253.

1997

Arlow, J., Bandinelli, S., Emmerich, W., Lavazza, L. (1997). A fine-grained process modelling 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. Author URL
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). 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. Author URL
Emmerich, W. (1997). An introduction to OMG/CORBA (tutorial). Proceedings of the 19th International Conference on Software Engineering 1997, Boston, Massachusetts, United States, May 17 - 23, 1997. ( pp.641-642). New York, US ACM Press. Publisher URL
Emmerich, W. (1997). CORBA and ODBMSs in Viewpoint Development Architectures. Proc. of the 4th International Conference on Object-Oriented Information Systems. ( pp.347-360). Berlin Springer-Verlag.
Emmerich, W. (1997). CORBA and ODBMSs in viewpoint development environment architectures. 4th International Conference on Object-Oriented Information Systems. Brisbane, Australia Author URL
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 Author URL
Emmerich, W., Finkelstein, A., Montangero, C. (1997). 'The World and the Machine': a critical perspective on process technology. Nancy, France Author URL
Emmerich, W., Finkelstein, A., Montangero, C., Stevens, R. (1997). Standards compliant software development. Boston, USA Author URL
Feather, M., Fickas, S., Finkelstein, A., Lamsweerde, A. V. (1997). Requirements and Specification Exemplars. Automated Software Engineering 4(4), 419-438 Author URL
Gotel, O., Finkelstein, A. (1997). Extended requirements traceability: Results of an industrial case study. ( pp.169-178). IEEE Computer Society Press. Author URL
Harman, M., Danicic, S. (1997). Amorphous program slicing. FIFTH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION - IWPC '97, PROCEEDINGS. ( pp.70-79). I E E E, COMPUTER SOC PRESS.
Kadam, S., Roberts, G., Buxton, B. (1997). Design Patterns for Parallelizing Vision-Related Applications on Network of Workstations. Proc. 11th Annual International Symposium on High Performance Computing Systems (HPC'97). ( pp.569-583). Winnipeg University of Manitoba.
Langdon, W. B. (1997). Fitness Causes Bloat in Variable Size Representations.
Langdon, W. B. (1997). Fitness Causes Bloat: Mutation. Publisher URL
Langdon, W. B. (1997). Fitness Causes Bloat: Simulated Annealing, Hill Climbing and Populations. Publisher URL
Langdon, W. B. (1997). GP97 Conference Report. EvoNews 1, 4-5, 5 Publisher URL
Langdon, W. B., Clack, C. (1997). Software – The Next Generation: Grow Your Own Programs.
Langdon, W. B., Poli, R. (1997). Fitness Causes Bloat: Mutation. ET’97 Theory and Application of Evolutionary Computation. ( pp.59-77). University College London, UK
Langdon, W. B., Poli, R. (1997). Fitness Causes Bloat.
Langdon, W. B., Poli, R. (1997). Genetic Programming Bloat with Dynamic Fitness.
Langdon, W. B., Poli, R. (1997). Genetic Programming in Europe. Publisher URL
Langdon, W. B., Poli, R. (1997). Price’s Theorem and the MAX Problem.
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. Publisher URL
Poli, R., Langdon, W. B. (1997). A New Schema Theory for Genetic Programming with One-Point Crossover and Point Mutation.
Poli, R., Langdon, W. B. (1997). An Experimental Analysis of Schema Creation, Propagation and Disruption in Genetic Programming.
Poli, R., Langdon, W. B. (1997). A Review of Theoretical and Experimental Results on Schemata in Genetic Programming. ET’97 Theory and Application of Evolutionary Computation. ( pp.29-43). University College London, UK Publisher URL
Poli, R., Langdon, W. B. (1997). A Review of Theoretical and Experimental Results on Schemata in Genetic Programming.
Poli, R., Langdon, W. B. (1997). Genetic Programming with One-Point Crossover and Point Mutation.
Sivagurunathan, Y., Harman, M., Danicic, S. (1997). Slicing, I/O and the Implicit State. AADEBUG. ( pp.59-68).
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
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, 6
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. Author URL
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. Author URL
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. Author URL
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-Centered Environments Deserve Process-Centered Tools? In Software Process Technology, Proceedings of the 5th European Workshop. ( pp.75-81). Springer Verlag. Author URL
Emmerich, W., Spanoudakis, G. (1996). Next-generation viewpoint-based environments. Norweigan University of Science and Technology (NTNU). Author URL
Emmerich, W., Spanoudakis, G., Finkelstein, A. (1996). Next-Generation Viewpoint-based Environments. Proc. 7th Workshop on The Next Generation of CASE Technology (NGCT '96). NGCT. Author URL
Finkelstein, A. (1996). Improving public understanding. IEEE Software 13(6), 20-21 Author URL
Finkelstein, A. (1996). Relating viewpoints: a preface to Viewpoints 96. ISAW '96: Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops. ( pp.157-157). New York, US ACM Press. Publisher URL
Finkelstein, A. (1996). Requirements engineering research: Coordination and infrastructure. Requirements Engineering. ( Vol. 1 pp.63-69). Author URL
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. Author URL
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. Author URL
Finkelstein, A., Sommerville, I. (1996). The viewpoints FAQ. Software Engineering Journal 11(1), 2-4
Finkelstein, A., Spanoudakis, G., Till, D. (1996). Managing Interference. Author URL
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. Author URL
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), 66-182 Author URL
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. Author URL
Harman, M., Danicic, S., Simpson, D. (1996). Slicing programs in the presence of errors. Formal Aspects of Computing. ( Vol. 8 pp.490-497).
Langdon, W. (1996). Scheduling Planned Maintenance of the South Wales Region of the National Grid.
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. Publisher URL
Langdon, W. B. (1996). Data Structures and Genetic Programming. Publisher URL
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. Publisher URL
Langdon, W. B. (1996). Data Structures and Genetic Programming.
Langdon, W. B. (1996). Evolution of Genetic Programming Populations. Publisher URL
Langdon, W. B. (1996). Genetic Programming and Databases. Publisher URL
Langdon, W. B. (1996). Scheduling Maintenance of Electrical Power Transmission Networks Using Genetic Programming. Publisher URL
Langdon, W. B. (1996). Using Data Structures within Genetic Programming. Publisher URL
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. Author URL
Nuseibeh, B., Finkelstein, A., Kramer, J. (1996). Method engineering for multi-perspective software development. Inform Software Tech 38(4), 267-274
Poon, W. L., Finkelstein, A. (1996). Consistency Management for Multiple Perspective Software Development. Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops. ( pp.192-196). New York, US ACM Press. Author URL Publisher URL
Spanoudakis, G., Finkelstein, A. (1996). Reconciliation: Managing Interference in Software Development. ECAI '96 Workshop on Modelling Conflicts in AI. ECAI. Author URL

1995

Clark, D., Kennaway, R. (1995). Some Properties of Non-Orthogonal Term Graph Rewriting. 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 and Information Technology 14(5), 267-288 Author URL
Danicic, S., Harman, M., Sivagurunathan, Y. (1995). A parallel algorithm for static program slicing. INFORM PROCESS LETT 56(6), 307-313
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 (3 ed. pp.95-122). Transaction Publishers.
Gotel, O., Finkelstein, A. (1995). Contribution structures (Requirements artifacts). ( pp.100-107). IEEE Computer Society Press. Author URL
HARMAN, M., DANICIC, S., JONES, B., SIVAGURUNATHAN, B., SIVAGURUNATHAN, Y. (1995). Project project: Tools for program analysis and comprehension. PROCEEDINGS OF THE 4TH SOFTWARE QUALITY CONFERENCE, VOLS 1 AND 2. ( pp.133-156). UNIVERSITY ABERTAY DUNDEE.
Langdon, W. B. (1995). Data Structures and Genetic Programming. Publisher URL
Langdon, W. B. (1995). Directed Crossover within Genetic Programming. Publisher URL
Langdon, W. B. (1995). Evolving Data Structures Using Genetic Programming. Publisher URL
Langdon, W. B. (1995). Pareto, Population Partitioning, Price and Genetic Programming. Publisher URL
Langdon, W. B. (1995). Scheduling Planned Maintenance of the National Grid. In Fogarty, T. C. (Ed.). Evolutionary Computing ( pp.132-153). Springer-Verlag.
Langdon, W. B., Qureshi, A. (1995). Genetic Programming – Computers using “Natural Selection” to generate programs. Publisher URL
Leonhardt, U., Kramer, J., Nuseibeh, B., Finkelstein, A. (1995). Decentralised process enactment in a multi-perspective development environment. 17th International Conference On Software Engineering, Proceedings. ( pp.255-264). SEATTLE, WA ASSOC COMPUTING MACHINERY.
Nuseibeh, B., Kramer, J., Finkelstein, A., Leonhardt, U. (1995). Decentralised Process Modelling.

1994

Abiteboul, S., Adiba, M., Arlow, J., Armenise, P., Bandinelli, S., Baresi, L., Breche, P., Buddrus, F., Collet, C., Collet, P., Corte, P., Coupaye, T. H., Delobel, C., Emmerich, W., Ferran, G., Ferrandina, F., Fuggetta, A., Ghezzi, C., Lautemann, S. E., Lavazza, L., Madec, J., Phoenix, M., Sachweh, S., Schaefer, W., Souza dos Santos, C., Tigg, G., Zicari, R. (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. Author URL
Clark, D., Errington, L., Hankin, C. (1994). Static Analysis of Value-Passing Process Calculi. Theory and Formal Methods. ( pp.307-320). Imperial College Press. Publisher URL
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. Author URL
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 2(3), 209-222
Finkelstein, A. (1994). A course on requirements engineering. Schloss Dagstuhl Germany Author URL
Finkelstein, A. (1994). IS APPLICATION DEVELOPMENT FOCUSED ON REAL PROBLEMS. Hamburg, Germany Elsevier Science Publ B V. Author URL
Finkelstein, A. (1994). Requirements engineering: a review and research agenda. Author URL
Finkelstein, A. (1994). SOFTWARE ENGINEERING-EDUCATION - A PLACE IN THE SUN. Sorrento, Italy
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 MULTIPERSPECTIVE SPECIFICATIONS. IEEE Transactions on Software Engineering 20(8), 569-578
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. Author URL
Gotel, O., Finkelstein, A. (1994). Modelling the contribution structure underlying requirements. Author URL
HARMAN, M., DANICIC, S. (1994). PRACTICAL SUBPROGRAM VERIFICATION - AN APPROACH WHICH USES SLICING, METRICS AND AXIOMATIC VERIFICATION. SOFTWARE QUALITY MANAGEMENT II, VOL 2: BUILDING QUALITY INTO SOFTWARE. ( pp.531-544). COMPUTATIONAL MECHANICS PUBLICATIONS LTD.
HARMAN, M., DANICIC, S. (1994). USING A FUNCTIONAL LANGUAGE TO TEACH ELEMENTS OF FORMAL METHODS. SOFTWARE ENGINEERING IN HIGHER EDUCATION. ( pp.439-446). COMPUTATIONAL MECHANICS PUBLICATIONS LTD.
HARMAN, M., DANICIC, S. (1994). USING AN INTERPRETER TO TEACH INTRODUCTORY PROGRAMMING. SOFTWARE ENGINEERING IN HIGHER EDUCATION. ( pp.283-290). COMPUTATIONAL MECHANICS PUBLICATIONS LTD.
Johnson, W. L., Finkelstein, A. (1994). Introduction. Autom. Softw. Eng.. ( Vol. 1 pp.7-8).
Langdon, W. B. (1994). Genetic Programming.
Langdon, W. B. (1994). Quick Intro to simple-gp.c. Publisher URL
Nuseibeh, B., Finkelstein, A., Kramer, J., Easterbrook, S. (1994). Concurrent software engineering: coordinating distributed viewpoints for managing inconsistency. IEE Colloquium on Issues of Co-Operative Working in Concurrent Engineering. ( pp.10/1-10/2). London, UK Institution of Electrical Engineers. Publisher URL
Nuseibeh, B., Kramer, J., Finkelstein, A. (1994). A FRAMEWORK FOR EXPRESSING THE RELATIONSHIPS BETWEEN MULTIPLE VIEWS IN REQUIREMENTS SPECIFICATION. IEEE Transactions on Software Engineering (TSE) 20(10), 760-773

1993

Avellis, G., Finkelstein, A. (1993). Designing Composite Systems. Italian National Computing Conference (AICA 93), International Section, 22nd--24th September. AICA.
Clark, D., Hankin, C. (1993). A Lattice of Abstract Graphs. PLILP. ( Vol. 714 pp.318-331). Springer. Publisher URL
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. Author URL
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. Author URL
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. Author URL
Finkelstein, A. (1993). A Short Guide to European Computing Curricula. International Perspectives in Software Engineering 2
Finkelstein, A. (1993). EUROPEAN COMPUTING CURRICULA - A GUIDE AND COMPARATIVE-ANALYSIS. The Computer Journal 36(4), 299-319 Author URL
Finkelstein, A., Easterbrook, S., Kramer, J., Nuseibeh, B. (1993). Multi-view Requirements Engineering. DRA Colloquium on Analysis of Requirements for Software Intensive Systems. ( pp.18-26). Defence Research Agency. Author URL
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. Author URL
Finkelstein, A., Gabbay, D. M., Hunter, A., Kramer, J., Nuseibeh, B. (1993). Inconsistency Handling in Multi-Perspective Specifications. ESEC '93, 4th European Software Engineering Conference. ( Vol. 717 pp.84-99). Garmisch-Partenkirchen, Germany Springer.
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
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 Studies of Software Design ( pp.115-126). Springer Verlag. Author URL
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. Author URL
Nuseibeh, B., Finkelstein, A., Kramer, J. (1993). Fine-Grain Process Modelling. In 7th International Workshop on Software Specification and Design (IWSSD-7) ( pp.42-46). IEEE Computer Society Press. Author URL
Nuseibeh, B., Kramer, J., Finkelstein, A. (1993). EXPRESSING THE RELATIONSHIPS BETWEEN MULTIPLE VIEWS IN REQUIREMENTS SPECIFICATION. 15th International Conference On Software Engineering. ( pp.187-196). Baltimore, MD IEEE Computer Society Press.

1992

Castro, J., Finkelstein, A. (1992). Requirements elicitation and formalization. Author URL
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. Author URL
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. Author URL
Finkelstein, A. (1992). An advanced course on software development environments. Swansea Institute of Higher Education (SIHE) Author URL
Finkelstein, A. (1992). A scheme for review, annotation and correction of specifications. Instructional Science 21, 183-198 Author URL
Finkelstein, A. (1992). A software process immaturity model. SIGSOFT Software Engineering Notes 17(5), 22-23 Author URL
Finkelstein, A. (1992). REVIEWING AND CORRECTING SPECIFICATIONS. Instr Sci 21(1-3), 183-198
Finkelstein, A. (1992). Software process modelling: a manifesto. IOPener 1(4), 3-7 Author URL
Finkelstein, A., Kramer, J. (1992). A critical evaluation of software process modelling techniques. In IEE Colloquium on Process Planning and Modelling ( ). London, UK IEE. Author URL
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. Author URL
FINKELSTEIN, A., KRAMER, J., NUSEIBEH, B., FINKELSTEIN, L., GOEDICKE, M. (1992). A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM-DEVELOPMENT - VIEWPOINTS. INT J SOFTW ENG KNOW 2(1), 31-57
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 (IJSEKE) 2(1), 31-57 Author URL
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 II - formal methods. Measurement 10(2), 87-92 Author URL
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 Author URL
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). VIEW POINTS - A VEHICLE FOR METHOD AND TOOL INTEGRATION. Montreal, Canada

1991

Attridge, G., Finkelstein, A., Phillips, G. (1991). Application of Information Systems Modelling to Civil Protection Planning and Operations. Annual Conference of Scientific Advisers. Home Office.
Bustin, P., Langdon, W. B., Elbourn, B. (1991). Sizing Report for the Company Office System at Thames Valley Park, British Gas Exploration and Production. [Unpublished]
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. Author URL
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. Milan, Italy
FINKELSTEIN, A. (1991). A (NEAT) ALPHABET OF REQUIREMENTS ENGINEERING ISSUES. LECT NOTES COMPUT SC 550, 489-491
Finkelstein, A. (1991). Reviewing and correcting specifications. In Computers and Writing IV ( pp.219-237). Computers and Writing Association. Author URL
Finkelstein, A. (1991). Student Problems in Software Engineering Education. London
Finkelstein, A. (1991). Tracing back from requirements. Author URL
Finkelstein, A., Goedicke, M., Kramer, J., Niskier, C. (1991). VIEWPOINT ORIENTED SOFTWARE-DEVELOPMENT - METHODS AND VIEWPOINTS IN REQUIREMENTS ENGINEERING. In Bergstra, J., Feijs, L. (Eds.). Algebraic Methods II: theory, tools and applications (490 ed. pp.29-54). Springer Verlag.
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. Author URL
Finkelstein, A., Kramer, J., Nuseibeh, B. (1991). A viewpoint-based framework for software development environments. IEE Colloquium on Architectures for Distributed Development Support Environments. ( Vol. 1991 pp.10/1-10/2). London, UK Institute of Electrical Engineers. Author URL Publisher URL
Finkelstein, L., Finkelstein, A. (1991). Advances in the Automation of Instrument Systems Design. IMEKO XII. ( pp.1293-1297). International Academic Publishers.
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. 1st National Conference on Software Engineering in Higher Education. ( pp.117-127). SIHE.
Goldsack, S., Finkelstein, A. (1991). REQUIREMENTS ENGINEERING FOR REAL-TIME SYSTEMS. Software Engineering Journal 6(3), 101-115 Author URL
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. Author URL
KRAMER, J., FINKELSTEIN, A. (1991). A CONFIGURABLE FRAMEWORK FOR METHOD AND TOOL INTEGRATION. LECT NOTES COMPUT SC 509, 233-257
Kramer, J., Finkelstein, A. (1991). A CONFIGURABLE FRAMEWORK FOR METHOD AND TOOL INTEGRATION. ( pp.233-257). Springer Verlag. Author URL

1990

Finkelstein, A. (1990). An example of software development modelling. In 'Experience with Software Process Models', 5th Software Process Workshop, 10-13 Oct. 1989 ( pp.151-153). IEEE Computer Society Press. Author URL
Finkelstein, A. (1990). Heterogeneous, composite or multi-paradigm system development. In Encyclopedia of Software Engineering ( ). John Wiley. Author URL
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. 3rd International Workshop Software Engineering and its Applications. ( Vol. 1 pp.337-351). Cigref EC2. Author URL
Finkelstein, A., Maibaum, T., Finkelstein, L. (1990). ENGINEERING-IN-THE-LARGE - SOFTWARE ENGINEERING AND INSTRUMENTATION. Southampton, England
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. Scharding, Austria
HARMAN, M., DANICIC, S., GILCHRIST, R. (1990). PROGRAMMING-LANGUAGES FOR STATISTICAL COMPUTATION. COMPSTAT 1990 : PROCEEDINGS IN COMPUTATIONAL STATISTICS. ( pp.41-46). PHYSICA VERLAG.
Kaplan, S. M., Finkelstein, A., Kaiser, G. E., Ryan, K., Schäfer, W. (1990). Interactively supporting the software process.
Kramer, J., Magee, J., Finkelstein, A. (1990). A CONSTRUCTIVE APPROACH TO THE DESIGN OF DISTRIBUTED SYSTEMS. Paris, France

1989

Finkelstein, A. (1989). "Not Waving but Drowning": Representation Schemes for Modelling Software Development. In 11th International Conference on Software Engineering (ICSE '89), Pittsburgh, Pennsylvania, USA ( pp.402-404). New York, NY, USA ACM Press. Author URL
Finkelstein, A. (1989). A structural framework for the formal representation of cooperation. Author URL
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. IWSSD '89: Proceedings of the 5th international workshop on software specification and design. ( pp.185-195). Washington, D.C., US IEEE Computer Society Press. Author URL Publisher URL
Finkelstein, A., Hagelstein, J. (1989). Formal Frameworks for Understanding Information System Requirements Engineering: a research agenda. IFIP CRIS Review Workshop. North Holland.
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). Requirements engineering: methods, tools and frameworks. Author URL
Finkelstein, A., Fuks, H. (1988). A COOPERATIVE FRAMEWORK FOR PROGRAM-DEVELOPMENT. Inform Software Tech 30(8), 467-476
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. International Software Process Workshop. ( pp.68-72). IEEE Computer Society.
Finkelstein, L., Finkelstein, A. C. W. (1988). FUNDAMENTAL PRINCIPLES OF MEASUREMENT AND INSTRUMENTATION - DESIGN PRINCIPLES. Acta Polytech Sc El (63), 11-23
Fischer, M., Finkelstein, A. (1988). Computer Assisted Ethnography - Arranging a Marriage in Pakistan. American Association of Anthropologists. Phoenix American Association of Anthropologists.
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-108

1987

Finkelstein, A. (1987). Reuse of formatted specifications. Software Engineering Journal 3(5), 186-197 Author URL
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. Author URL
Finkelstein, A., Potts, C. (1987). Formalizing Requirements Systematically. In Informationsbedarfs-ermittlung und - analyse fur den Entwurf von Informationssytemen ( pp.44-58). Springer Verlag. Author URL
Langdon, W. B. (1987). Application software standards. PAGESWAPPER 9, VAX 31-VAX 31, 5
Langdon, W. B. (1987). Installing new Products with an old VMSINSTAL. The Globalpages , 12-12
Langdon, W. B. (1987). ODS-2 Specification Wanted. PAGESWAPPER 8, VAX 47-48, 8
Langdon, W. B. (1987). Problems with Installing VAX-11 RSX version 2.2. The Globalpages , 13-13
Langdon, W. B. (1987). Response to December “Bag of Tricks”. Multi-Tasker , RSX-15-RSX-15

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. Author URL
Finkelstein, A. (1986). Making formal specifications dynamic objects. ( pp.133-136). IEEE Computer Society Press. Author URL
Finkelstein, A., Potts, C. (1986). Formal requirements specification of real-time embedded systems. Author URL
Finkelstein, A., Potts, C. (1986). Structured common sense: the elicitation and formalisation of system requirements. In SE 1986 ( pp.236-250). Peter Peregrinus. Author URL
Langdon, W. B. (1986). Odd Problems with Installing Fortran. The Globalpages , 26-27
Langdon, W. B. (1986). Recovering Corrupted Files-11 Directories. The Globalpages , 24-25
Langdon, W. B. (1986). The Native Mode Restore. The Globalpages , 28-28

1985

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

1983

Finkelstein, A., Finkelstein, L. (1983). REVIEW OF DESIGN METHODOLOGY. Proc. IEE Part A 130(4), 213-222
This page was generated automatically.