(2020). Guest editorial: Special section on Search-based Software Engineering track at GECCO 2018. Information and Software Technology, 118 doi:10.1016/j.infsof.2019.106223
Allamanis, M., Barr, E.T., Ducousso, S., Gao, Z. (2020). Typilus: Neural type hints.
Al-Subaihin, A.A., Sarro, F. (2020). Exploring The Use of Genetic Algorithm Clustering for Mobile App Categorisation.
Amtoft, T., Androutsopoulos, K., Clark, D. (2020). Correctly Slicing Extended Finite State Machines. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 149-197). .
Blot, A., Petke, J. (2020). Comparing Genetic Programming Approaches for Non-functional Genetic Improvement..
Casalnuovo, C., Barr, E.T., Dash, S.K., Devanbu, P., Morgan, E. (2020). A Theory of Dual Channel Constraints.
Chen, J., Zhao, Y., Sej a, A., Schmitt Laser, M., Zhang, J., Sarro, F., ...Medvidovic, N. (2020). FrUITeR: A Framework for Evaluating UI Test Reuse.
Dąbrowski, J., Letier, E., Perini, A., Susi, A. (2020). Mining User Opinions To Support Requirement Engineering: An Empirical Study.
Gavidia-Calderon, C., Sarro, F., Harman, M., Barr, E.T. (2020). Game-theoretic analysis of development practices: Challenges and opportunities. Journal of Systems and Software, 159 doi:10.1016/j.jss.2019.110424
Gold, N.E., Wang, C., Olugbade, T., Berthouze, N., Williams, A. (2020). P(l)aying Attention: Multi-Modal, Multi-Temporal Music Control.
Gold, N., Himonides, E., Purves, R. (2020). Things Ain't What They Used To Be… A creative response to COVID lockdown through musical collaboration.
Gold, N., Krinke, J. (2020). Ethical Mining – A Case Study on MSR Mining Challenges.
Guizzo, G., Sarro, F., Harman, M. (2020). Cost Measures Matter for Mutation Testing Study Validity.
Guizzo, G., Sarro, F., Krinke, J., Vergilio, S.R. (2020). Sentinel: A Hyper-Heuristic for the Generation of Mutant Reduction Strategies. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2020.3002496
Han, D., Ragkhitwetsagul, C., Krinke, J., Paixao, M., Rosa, G. (2020). Does code review really remove coding convention violations?.
Himonides, E., Purves, R., Gold, N. (2020). Building a bridge between software engineering and music with construction blocks: A pilot project.. Media Journal in Music Education, 1
Krauss, O., Langdon, W.B. (2020). Automatically Evolving Lookup Tables for Function Approximation.
Langdon, W.B., Weimer, W., Petke, J., Fredericks, E., Lee, S., Winter, E., ...Wagner, M. (2020). Genetic Improvement @ ICSE 2020.
Lee, S., Binkley, D., Gold, N., Islam, S., Krinke, J., Yoo, S. (2020). Evaluating Lexical Approximation of Program Dependence. Journal of Systems and Software, 110459. doi:10.1016/j.jss.2019.110459
Lim, M., Guizzo, G., Petke, J. (2020). Impact of Test Suite Coverage on Overfitting in Genetic Improvement of Software.
Louis, A., Dash, S.K., Barr, E.T., Ernst, M.D., Sutton, C. (2020). Where should I comment my code? A dataset and model for predicting locations that need comments.
Menendez, H.D., Boreale, M., Gorla, D., Clark, D. (2020). Output Sampling for Output Diversity in Automatic Unit Test Generation. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2020.2987377
Newbold, J., Gold, N., Berthouze, N. (2020). Movement Sonification Expectancy Model: Leveraging Musical Expectancy Theory to Create Movement-Altering Sonifications. Journal on Multimodal User Interfaces, doi:10.1007/s12193-020-00322-2
Paixão, M., Uchôa, A., Bibiano, A.C., Oliveira, D., Garcia, A., Krinke, J., Arvonio, E. (2020). Behind the Intents: An In-depth Empirical Study on Software Refactoring in Modern Code Review.
Partachi, P.-.P., Dash, S.K., Allamanis, M., Barr, E.T. (2020). Flexeme: Untangling Commits Using Lexical Flows.
quattrone, G., nocera, A., Capra, L., quercia, D. (2020). Social Interactions or Business Transactions? What customer reviews disclose about Airbnb marketplace.
Sarro, F. (2020). Assessing the effectiveness of approximate functional sizing approaches for effort estimation. Information and Software Technology, Volume 123 (106308), doi:10.1016/j.infsof.2020.106308
Sarro, F., Hort, M. (2020). Optimising Word Embeddings With Search-Based Approaches.
Sarro, F., Petrozziello, A., He, D.-.Q., Yoo, S. (2020). A New Approach to Distribute MOEA Pareto Front Computation.
Wattanakriengkrai, S., Srisermphoak, N., Sintoplertchaikul, S., Choetkiertikul, M., Ragkhitwetsagul, C., Sunetnanta, T., ...Matsumoto, K. (2020). Automatic Classifying Self-Admitted Technical Debt Using N-Gram IDF.
White, R., Krinke, J., Tan, R. (2020). Establishing Multilevel Test-to-Code Traceability Links.
Zhang, J.M., Harman, M., Ma, L., Liu, Y. (2020). Machine Learning Testing: Survey, Landscapes and Horizons. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2019.2962027
Zhang, J.M., Sun, Z., Harman, M., Papadakis, M., Zhang, L. (2020). Automatic Testing and Improvement of Machine Translation.
2019
Alshahwan, N., Ciancone, A., Harman, M., Jia, Y., Mao, K., Marginean, A., ...Zorin, I. (2019). Some challenges for software testing research (invited talk paper).
Alsubaihin, A., Sarro, F., BLACK, S., Capra, L. (2019). Empirical comparison of text-based mobile apps similarity measurement techniques. Empirical Software Engineering, doi:10.1007/s10664-019-09726-5
Alsubaihin, A., Sarro, F., BLACK, S., Capra, L., Harman, M. (2019). App Store Effects on Software Engineering Practices. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2019.2891715
An, G., Blot, A., Petke, J., Yoo, S. (2019). PyGGI 2.0: Language independent genetic improvement framework.
Arammongkolvichai, V., Koschke, R., Ragkhitwetsagul, C., Choetkiertikul, M., Sunetnanta, T. (2019). Improving Clone Detection Precision Using Machine Learning Techniques.
Assavakamhaenghan, N., Choetkiertikul, M., Tuarob, S., Kula, R.G., Hata, H., Ragkhitwetsagul, C., ...Matsumoto, K. (2019). Software Team Member Configurations: A Study of Team Effectiveness in Moodle.
Bafatakis, N., Boecker, N., Boon, W., Cabello Salazar, M., Krinke, J., Oznacar, G., White, R. (2019). Python Coding Style Compliance on Stack Overflow.
Binkley, D., Gold, N.E., Islam, S., Krinke, J., Yoo, S. (2019). A Comparison of Tree- and Line-Oriented Observational Slicing. Empirical Software Engineering, doi:10.1007/s10664-018-9675-9
Blot, A., Petke, J. (2019). On Adaptive Specialisation in Genetic Improvement.
Brownlee, A.E.I., Petke, J., Alexander, B., Barr, E.T., Wagner, M., White, D.R. (2019). Gin: genetic improvement research made easy.
Bruce, D., Menéndez, H.D., Clark, D. (2019). Dorylus: An Ant Colony Based Tool for Automated Test Case Generation.
Bunkerd, T., Wang, D., Kula, R.G., Ragkhitwetsagul, C., Choetkiertikul, M., Sunetnanta, T., ...Matsumoto, K. (2019). How Do Contributors Impact Code Naturalness? An Exploratory Study of 50 Python Projects.
Clark, D., Hierons, R.M., Patel, K. (2019). Normalised Squeeziness and Failed Error Propagation. Information Processing Letters, 149 6-9. doi:10.1016/j.ipl.2019.04.001
Dąbrowski, J., Letier, E., Perini, A., Sussi, A. (2019). Finding and Analyzing App Reviews Related to Specific Features: A Research Preview.
Gavidia-Calderon, C., Sarro, F., Harman, M., Barr, E.T. (2019). The Assessor's Dilemma: Improving Bug Repair via Empirical Game Theory. IEEE Transactions on Software Engineering, 1. doi:10.1109/tse.2019.2944608
Houben, S., Bengler, B., gavrilov, D., Gallacher, S., nisi, V., nunes, N., ...Rogers, Y. (2019). Roam-IO: Engaging With People Tracking Data through an Interactive Physical Data Installation.
Jahangirova, G., Clark, D., Harman, M., Tonella, P. (2019). An Empirical Validation of Oracle Improvement. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2019.2934409
Jimenez, M., Rwemalika, R., Papadakis, M., Sarro, F., Le Traon, Y., Harman, M. (2019). The importance of accounting for real-world labelling when predicting software vulnerabilities.
Joffe, L., Clark, D. (2019). Directing a Search Towards Execution Properties with a Learned Fitness Function.
Joffe, L., Clark, D. (2019). Constructing Search Spaces for Search-Based Software Testing Using Neural Networks.
Just, R., Krinke, J., Li, N., Rojas, J.M. (2019). Special issue on mutation testing and analysis. SOFTWARE TESTING VERIFICATION & RELIABILITY, 29 (1-2), doi:10.1002/stvr.1697
koh, V., Li, W., Livan, G., Capra, L. (2019). Offline biases in online platforms: a study of diversity and homophily in Airbnb. EPJ Data Science, doi:10.1140/epjds/s13688-019-0189-5
Langdon, W.B. (2019). Genetic programming and evolvable machines at 20. Genetic Programming and Evolvable Machines, doi:10.1007/s10710-019-09344-6
Langdon, W.B. (2019). Genetic improvement of data gives double precision invsqrt.
Langdon, W.B., Banzhaf, W. (2019). Continuous Long-Term Evolution of Genetic Programming.
Langdon, W.B., Lorenz, R. (2019). Evolving AVX512 Parallel C Code Using GP.
Langdon, W., Petke, J. (2019). Genetic Improvement of Data gives Binary Logarithm from sqrt.
Lee, S., Binkley, D., Feldt, R., Gold, N., Yoo, S. (2019). MOAD: Modeling Observation-based Approximate Dependency.
Marginean, A., Bader, J., Chandra, S., Harman, M., Jia, Y., Mao, K., ...Scott, A. (2019). SapFix: Automated End-To-End Repair at Scale.
Menéndez, H.D., Bhattacharya, S., Clark, D., Barr, E.T. (2019). The arms race: Adversarial search defeats entropy used to detect malware. Expert Systems with Applications, 118 246-260. doi:10.1016/j.eswa.2018.10.011
Meyer, A., Barr, E.T., Bird, C., Zimmermann, T. (2019). Today was a Good Day: The Daily Life of Software Developers. IEEE Transactions on Software Engineering, 1. doi:10.1109/tse.2019.2904957
Paixao, M., Krinke, J., Han, D., Ragkhitwetsagul, C., Harman, M. (2019). The Impact of Code Review on Architectural Changes. IEEE Transactions on Software Engineering, 1. doi:10.1109/tse.2019.2912113
Papadakis, M., Kintis, M., Zhang, J., Jia, Y., Traon, Y.L., Harman, M. (2019). Mutation Testing Advances: An Analysis and Survey. Advances in Computers, doi:10.1016/bs.adcom.2018.03.015
Petke, J., Alexander, B., Barr, E.T., Brownlee, A.E.I., Wagner, M., White, D.R. (2019). A survey of genetic improvement search spaces.
Petke, J., Brownlee, A.E.I. (2019). Software Improvement with Gin: a Case Study.
Petke, J., Brun, Y. (2019). Message from the demonstrations track chairs of ICSE 2019.
Purves, R., Himonides, E., Gold, N. (2019). Bridging software engineering and music with Lego.
Ragkhitwetsagul, C., Krinke, J. (2019). Siamese: scalable and incremental code clone search via multiple code representations. Empirical Software Engineering, doi:10.1007/s10664-019-09697-7
Ragkhitwetsagul, C., Krinke, J., Paixao, M., Bianco, G., Oliveto, R. (2019). Toxic Code Snippets on Stack Overflow. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2019.2900307
Sakulniwat, T., Kula, R.G., Ragkhitwetsagul, C., Choetkiertikul, M., Sunetnanta, T., Wang, D., ...Matsumoto, K. (2019). Visualizing the Usage of Pythonic Idioms over Time: A Case Study of the with open Idiom.
Sarro, F. (2019). Search-Based Predictive Modelling for Software Engineering: How Far Have We Gone?.
Sarro, F., Nayebi, M. (2019). WAMA 2019: Welcome from the chairs.
Wang, P., Krinke, J., Zhou, X., Lu, K. (2019). AVPredictor: Comprehensive prediction and detection of atomicity violations. Concurrency and Computation: Practice and Experience, doi:10.1002/cpe.5160
Wu, H., Changhai, N., Petke, J., Jia, Y., Harman, M. (2019). Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial Testing. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2019.2955687
Wu, H., Nie, C., Petke, J., Jia, Y., Harman, M. (2019). A Survey of Constrained Combinatorial Testing. arXiv.org,
Zhang, J.M., Harman, M., Guedj, B., Barr, E.T., Shawe-Taylor, J. (2019). Perturbation Validation: A New Heuristic to Validate Machine Learning Models. Ithaca, NY, USA: ArXiv.
Zhang, J.M., Li, F., Hao, D., Wang, M., Tang, H., Zhang, L., Harman, M. (2019). A Study of Bug Resolution Characteristics in Popular Programming Languages. IEEE Transactions on Software Engineering 2020, doi:10.1109/TSE.2019.2961897
Zhang, J., Zhang, L., Hao, D., Zhang, L., Harman, M. (2019). An Empirical Comparison of Mutant Selection Assessment Metrics.
Zhang, J., Zhang, L., Harman, M., Hao, D., Jia, Y., Zhang, L. (2019). Predictive Mutation Testing. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2018.2809496
2018
(2018). Guest Editorial for the 8 th Symposium on Search Based Software Engineering Special Section. Information and Software Technology, 95 265. doi:10.1016/j.infsof.2017.12.013
(2018). Guest Editorial Special Issue on Search-Based Software Engineering. IEEE Transactions on Evolutionary Computation, 22 (3), 333. doi:10.1109/TEVC.2018.2832282
Abrahão, S., De Marco, L., Ferrucci, F., Gomez, J., Gravino, C., Sarro, F. (2018). Definition and evaluation of a COSMIC measurement procedure for sizing Web applications in a model-driven development environment. Information and Software Technology, doi:10.1016/j.infsof.2018.07.012
Allamanis, M., Barr, E.T., Bird, C., Devanbu, P., Marron, M., Sutton, C. (2018). Mining Semantic Loop Idioms. IEEE Transactions on Software Engineering, 44 (7), 651-668. doi:10.1109/TSE.2018.2832048
Allamanis, M., Barr, E.T., Devanbu, P., Sutton, C. (2018). A survey of machine learning for big code and naturalness. ACM Computing Surveys, 51 (4), doi:10.1145/3212695
Alshahwan, N., Gao, X., Harman, M., Jia, Y., Mao, K., Mols, A., ...Zorin, I. (2018). Deploying Search Based Software Engineering with Sapienz at Facebook.
Basios, M., Li, L., Wu, F., Kanthan, L., Barr, E.T. (2018). Darwinian data structure selection..
Boeing, P., Leon, M., Nesbeth, D.N., Finkelstein, A., Barnes, C. (2018). Towards an Aspect-Oriented Design and Modelling Framework for Synthetic Biology. Processes, 6 (9), doi:10.3390/pr6090167
Bruce, B.R., Petke, J., Harman, M., Barr, E.T. (2018). Approximate Oracles and Synergy in Software Energy Search Spaces. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2018.2827066
Calleja, A., Martín, A., Menéndez, H.D., Tapiador, J., Clark, D. (2018). Picking on the family: Disrupting android malware triage by forcing misclassification. Expert Systems with Applications, 95 113-126. doi:10.1016/j.eswa.2017.11.032
Dash, S.K., Allamanis, M., Barr, E.T. (2018). RefiNym: using names to refine types.
dos Santos, R.P., Werner, C., Finkelstein, A. (2018). Ecosystems Effects on Software-Consuming Organizations: an experience report on two observational studies.
Esteves Paixao, M.H., Krinke, J., Han, D., Harman, M. (2018). CROP: linking code reviews to source code changes.
Ferrucci, F., Salza, P., Sarro, F. (2018). Using Hadoop MapReduce for parallel genetic algorithms: A comparison of the global, grid and island models. Evolutionary Computation, 26 (4), 535-567. doi:10.1162/EVCO_a_00213
Gold, N.E., Gwartz, J. (2018). Loop-Based Graphical Live-Coded Music in the Browser.
Gold, N., Himonides, E. (2018). Can software engineering be taught by making (and) music?: a proposed empirical study.
Harman, M. (2018). Guest Editorial: Search-Based Software Engineering. IET SOFTWARE, 12 (4), 291-292. doi:10.1049/iet-sen.2018.0016
Harman, M. (2018). We Need a Testability Transformation Semantics.
Harman, M., O'Hearn, P. (2018). From start-ups to scale-ups: Opportunities and open problems for static and dynamic program analysis.
Hellendoorn, V.J., Bird, C., Barr, E.T., Allamanis, M. (2018). Deep learning type inference.
Jahangirova, G., Clark, D., Harman, M., Tonella, P. (2018). OASIs: Oracle assessment and improvement tool.
Jimenez, M., Checkam, T.T., Cordy, M., Papadakis, M., Kintis, M., Le Traon, Y., Harman, M. (2018). Are mutants really natural?: A study on how "naturalness" helps mutant selection.
Khazem, K., Barr, E.T., Hosek, P. (2018). Making data-driven porting decisions with Tuscan.
Langdon, W.B., Petke, J. (2018). Evolving better software parameters.
Lee, S., Binkley, D., Gold, N.E., Islam, S., Krinke, J., Yoo, S. (2018). MOBS: Multi-operator Observation-Based Slicing using lexical approximation of program dependence (extended abstract).
Liu, C., Bengler, B., Di Cuia, D., Seaborn, K., Nunes Vilaza, G., Gallacher, S., ...Rogers, Y. (2018). Pinsight: A Novel Way of Creating and Sharing Digital Content through 'Things' in the Wild.
Newbold, J.W., Gold, N., Berthouze, N.L. (2018). Visual cues effect on the impact of sonification on movement.
Nunes Vilaza, G., Liu, C., Bengler, B., Capra, L., Rogers, Y. (2018). Here, this and next: evaluating public engagement with multiple, distributed and interlinked devices.
Petke, J., Le Goues, C., Forrest, S., Langdon, W.B. (2018). Genetic Improvement of Software (Dagstuhl Seminar 18052).
Petke, J., Menzies, T. (2018). Guest Editorial for the Special Section from the 9th International Symposium on Search Based Software Engineering. Information and Software Technology, 104 194. doi:10.1016/j.infsof.2018.10.002
Petke, J., Stolee, K.T., Langdon, W.B., Weimer, W. (2018). Proceedings of the 4th International Genetic Improvement Workshop, , GI@ICSE 2018, Gothenburg, Sweden, June 2, 2018.
Quattrone, G., Greatorex, A., Quercia, D., Capra, L., Musolesi, M. (2018). Analyzing and Predicting the Spatial Penetration of Airbnb in U.S. Cities. EPJ Data Science, doi:10.1140/epjds/s13688-018-0156-6
Quattrone, G., Nicolazzo, S., Nocera, A., Quercia, D., Capra, L. (2018). Is the Sharing Economy About Sharing at All? A Linguistic Analysis of Airbnb Reviews.
Ragkhitwetsagul, C., Krinke, J., Marnette, B. (2018). A Picture Is Worth a Thousand Words: Code Clone Detection Based on Image Similarity.
Ragkhitwetsagul, C., Krinke, J., Oliveto, R. (2018). Awareness and Experience of Developers to Outdated and License-Violating Code on Stack Overflow: An Online Survey.
Sarro, F. (2018). Predictive analytics for software testing: Keynote paper.
Sarro, F., Gao, C., Zeng, J., Lyu, M.R., King, I. (2018). Exploring the effects of ad schemes on the performance cost of mobile phones.
Sarro, F., Harman, M., Jia, Y., Zhang, Y. (2018). Customer Rating Reactions Can Be Predicted Purely Using App Features.
Sarro, F., Petrozziello, A. (2018). Linear Programming as a Baseline for Software Effort Estimation. ACM Transactions on Software Engineering and Methodology, doi:10.1145/3234940
Suzuki, L., Finkelstein, A. (2018). Data as Infrastructure for Smart Cities. London, UK: IET Press.
Venerandi, A., Quattrone, G., Capra, L. (2018). A scalable method to quantify the relationship between urban form and socio-economic indexes. EPJ Data Science, doi:10.1140/epjds/s13688-018-0132-1
White, R., Krinke, J. (2018). TestNMT: Function-to-test neural machine translation.
Wilkie, J., Al Halabi, Z., Karaoglu, A., Liao, J., Ndungu, G., Ragkhitwetsagul, C., ...Krinke, J. (2018). Who's this?: developer identification using IDE event data.
Wu, H., Changhai, N., Petke, J., Jia, Y., Harman, M. (2018). An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing. IEEE Transactions on Software Engineering, 14 (8), doi:10.1109/TSE.2018.2852744
2017
Abdallah, S., Benetos, E., Gold, N.E., Hargreaves, S., Weyde, T., Wolff, D. (2017). The Digital Music Lab: A Big Data Infrastructure for Digital Musicology. ACM Journal on Computing and Cultural Heritage, 10 (1),
Basios, M., Li, L., Wu, F., Kanthan, L., Barr, E. (2017). Optimising Darwinian Data Structures on Google Guava.
Binkley, D., Gold, N.E., Islam, S., Krinke, J., Yoo, S. (2017). Tree-oriented vs. line-oriented Observation-Based Slicing.
Bokhari, M.A., Bruce, B.R., Alexander, B., Wagner, M. (2017). Deep parameter optimisation on android smartphones for energy minimisation-a tale ofwoe and a proof-of-concept.
Busari, S.A., Letier, E. (2017). RADAR: A Lightweight Tool for Requirements and Architecture Decision Analysis.
Chekam, T.T., Papadakis, M., Le Traon, Y., Harman, M. (2017). An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation That Avoids the Unreliable Clean Program Assumption.
Dabrowski, J., Kifetew, F.M., Muñante, D., Letier, E., Siena, A., Susi, A. (2017). Discovering requirements through goal-driven process mining.
Dittus, M., Quattrone, G., Capra, L. (2017). Mass Participation During Emergency Response: Event-centric Crowdsourcing in Humanitarian Mapping.
Dittus, M.S., Capra, L. (2017). Private Peer Feedback as Engagement Driver in Humanitarian Mapping. Proceedings of the ACM on Human-Computer Interaction, doi:10.1145/3134675
Dodier-Lazaro, S., Becker, I., Krinke, J., Sasse, M. (2017). No Good Reason to Remove Features: Expert Users Value Useful Apps over Secure Ones. London: UCL Computer Science.
Dodier-Lazaro, S., Becker, I., Krinke, J., Sasse, M.A. (2017). "No Good Reason to Remove Features" Expert Users Value Useful Apps over Secure Ones.
Felderer, M., Fernández, D.M., Turhan, B., Kalinowski, M., Sarro, F., Winkler, D. (2017). Preface - Product-Focused Software Process Improvement - 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29 - December 1, 2017, Proceedings. Springer.
Finkelstein, A., Harman, M., Jia, Y., Martin, W., Sarro, F., Zhang, Y. (2017). Investigating the relationship between price, rating, and popularity in the Blackberry World App Store. INFORMATION AND SOFTWARE TECHNOLOGY, 87 119-139. doi:10.1016/j.infsof.2017.03.002
Franch, X., Letier, E. (2017). Introduction to the RE'16 best papers special issue.. Requir. Eng., 22 315-316. doi:10.1007/s00766-017-0276-8
Gao, Z., Bird, C., Barr, E.T. (2017). To Type or Not to Type: Quantifying Detectable Bugs in JavaScript.
Gargantini, A., Petke, J., Radavelli, M. (2017). Combinatorial Interaction Testing for Automated Constraint Repair.
Gold, N.E., Binkley, D., Harman, M., Islam, S., Krinke, J., Yoo, S. (2017). Generalized observational slicing for tree-represented modelling languages.
Huang, J., Keung, J.W., Sarro, F., Li, Y.-.F., Yu, Y.T., Chan, W.K., Sun, H. (2017). Cross-validation based K nearest neighbor imputation for software quality datasets: An empirical study. JOURNAL OF SYSTEMS AND SOFTWARE, 132 226-252. doi:10.1016/j.jss.2017.07.012
Jiang, H., Tang, K., Petke, J., Harman, M. (2017). Search Based Software Engineering. IEEE COMPUTATIONAL INTELLIGENCE MAGAZINE, 12 (2), 23-+. doi:10.1109/MCI.2017.2670459
Kintis, M., Papadakis, M., Jia, Y., Malevris, N., Le Traon, Y., Harman, M. (2017). Detecting Trivial Mutant Equivalences via Compiler Optimisations. IEEE Transactions on Software Engineering, 1. doi:10.1109/TSE.2017.2684805
Krinke, J., Li, N., Rojas, J.M. (2017). Message from the Mutation 2017 Chairs.
Langdon, W.B., Lam, B.Y.H., Modat, M., Petke, J., Harman, M. (2017). Genetic improvement of GPU software. Genetic Programming and Evolvable Machines, 18 (1), 5-44. doi:10.1007/s10710-016-9273-9
Langdon, W.B., Lorenz, R. (2017). Improving SSE parallel code with grow and graft genetic programming.
Langdon, W.B., Petke, J. (2017). Software is not fragile.
Langdon, W.B., Veerapen, N., Ochoa, G. (2017). Visualising the search landscape of the triangle program.
Langdon, W.B., Yoo, S., Harman, M. (2017). Inferring automatic test oracles.
Langdon, W.B., Zile, K. (2017). Genetic Improvement of computational biology software.
Mao, K., Harman, M., Jia, Y. (2017). Robotic Testing of Mobile Apps for Truly Black-Box Automation. IEEE SOFTWARE, 34 (2), 11-16.
Mao, K., Harman, M., Jia, Y. (2017). Crowd Intelligence Enhances Automated Mobile Testing.
Menzies, T., Petke, J. (2017). Preface. .
Newbold, J., Gold, N., Bianchi-Berthouze, N.L. (2017). Musical expectancy in squat sonification for people who struggle with physical activity.
Paixao, M., Harman, M., Zhang, Y., Yu, Y. (2017). An Empirical Study of Cohesion and Coupling: Balancing Optimisation and Disruption. IEEE Transactions on Evolutionary Computation, 1. doi:10.1109/TEVC.2017.2691281
Paixao, M., Krinke, J., Han, D., R.a.g.k.h.i.t.w.e.t.s.a.g.u.l., H.a.r.m.a.n. (2017). Are developers aware of the architectural impact of their changes?.
Patrick, M., Jia, Y. (2017). KD-ART: Should we intensify or diversify tests to kill mutants?. INFORMATION AND SOFTWARE TECHNOLOGY, 81 36-51. doi:10.1016/j.infsof.2016.04.009
Petke, J. (2017). Preface to the Special Issue on Genetic Improvement. GENETIC PROGRAMMING AND EVOLVABLE MACHINES, 18 (1), 3-4. doi:10.1007/s10710-016-9280-x
Petke, J. (2017). New operators for non-functional genetic improvement.
Petke, J., Galeotti, J.P. (2017). Message from the workshop chairs SBST 2017.
Petke, J., Haraldsson, S., Harman, M., langdon, W., White, D., Woodward, J. (2017). Genetic Improvement of Software: a Comprehensive Survey. IEEE Transactions on Evolutionary Computation, 1. doi:10.1109/TEVC.2017.2693219
Petke, J., Harman, M., Langdon, W.B., Weimer, W. (2017). Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2017.2702606
Qiu, D., Li, B., Barr, E.T., Su, Z. (2017). Understanding the syntactic rule usage in java. Journal of Systems and Software, 123 160-172. doi:10.1016/j.jss.2016.10.017
Quattrone, G., Dittus, M., Capra, L. (2017). Work Always in Progress: Analysing Maintenance Practices in Spatial Crowd-sourced Datasets.
Ragkhitwetsagul, C., Krinke, J. (2017). Using Compilation/Decompilation to Enhance Clone Detection.
Ragkhitwetsagul, C., Krinke, J., Clark, D. (2017). A comparison of code similarity analysers. Empirical Software Engineering, doi:10.1007/s10664-017-9564-7
Saeidi, M., Venerandi, A., Capra, L., Riedel, S. (2017). Community Question Answering Platforms vs. Twitter for Predicting Characteristics of Urban Neighbourhoods.
Sarro, F., Ferrucci, F., Harman, M., Manna, A., Ren, J. (2017). Adaptive Multi-objective Evolutionary Algorithms for Overtime Planning in Software Projects. IEEE Transactions on Software Engineering, doi:10.1109/TSE.2017.2650914
Sarro, F., Shihab, E., Nagappan, M., Platenius, M.C., Kaimann, D. (2017). Message from the Chairs.
Smith-Clarke, C., Capra, L. (2017). Information Diffusion and Economic Development.
Urbieta, A., González-Beltrán, A., Ben Mokhtar, S., Anwar Hossain, M., Capra, L. (2017). Adaptive and context-aware service composition for IoT-based smart cities. Future Generation Computer Systems, doi:10.1016/j.future.2016.12.038
Wang, P., Krinke, J., Lu, K., Li, G., Dodier-Lazaro, S. (2017). How Double-Fetch Situations turn into Double-Fetch Vulnerabilities: A Study of Double Fetches in the Linux Kernel.
Yoo, S., Xie, X., Kuo, F.-.C., Chen, T.Y., Harman, M. (2017). Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation: Theoretical and Empirical Analysis. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 26 (1), doi:10.1145/3078840
2016
Abdallah, S.A., Gold, N.E., Marsden, A. (2016). Analysing Symbolic Music with Probabilistic Grammars. In Meredith, D. (Ed.), Computational Music Analysis. (pp. 157-189). Cham, Switzerland: Springer.
Abdallah, S., Benetos, E., Gold, N.E., Hargreaves, S., Weyde, T., Wolff, D. (2016). Digital Music Lab: A Framework for Analysing Big Music Data.
Al-Subaihin, A.A., Sarro, F., Black, S., Capra, L., Harman, M., Jia, Y., Zhang, Y. (2016). Clustering Mobile Apps Based on Mined Textual Features.
Aspromallis, C., Gold, N.E. (2016). Form-Aware, Real-Time Adaptive Music Generation for Interactive Experiences.
Barr, E.T., Marron, M., Maurer, E., Moseley, D., Seth, G. (2016). Time-Travel Debugging for JavaScript/Node.js.
Bhoopchand, A., Rocktäschel, T., Barr, E.T., Riedel, S. (2016). Learning Python Code Suggestion with a Sparse Pointer Network. .
Bowes, D., Hall, T., Harman, M., Jia, Y., Sarro, F., Wu, F. (2016). Mutation-Aware Fault Prediction.
Bruce, B.R., Aitken, J.M., Petke, J. (2016). Deep Parameter Optimisation for Face Detection Using the Viola-Jones Algorithm in OpenCV.
Cornu, B., Barr, E.T., Seinturier, L., Monperrus, M. (2016). Casper: Automatic tracking of null dereferences to inception with causality traces. JOURNAL OF SYSTEMS AND SOFTWARE, 122 52-62. doi:10.1016/j.jss.2016.08.062
Dittus, M., Quattrone, G., Capra, L. (2016). Social Contribution Settings and Newcomer Retention in Humanitarian Crowd Mapping.
Dittus, M.S., Capra, L., Quattrone, G. (2016). Analysing Volunteer Engagement in Humanitarian Mapping: Building Contributor Communities at Large Scale.
Dolado, J.J., Rodriguez, D., Harman, M., Langdon, W.B., Sarro, F. (2016). Evaluation of estimation models using the Minimum Interval of Equivalence. Applied Soft Computing Journal, 49 956-967. doi:10.1016/j.asoc.2016.03.026
Feldt, R., Poulding, S., Clark, D., Yoo, S. (2016). Test Set Diameter: Quantifying the Diversity of Sets of Test Cases.
Finkelstein, A. (2016). Software engineering and policy.
Franch, X., Letier, E., Duarte, C.H.C., Ebert, C., Breaux, T., Perini, A., Jin, Z. (2016). Message from the Chairs.
g.a.l.l.a.c.h.e.r., G.o.l.s.t.e.i.j.n., rogers, Y., Capra, L., Eustace, S. (2016). SmallTalk: Using Tangible Interactions to Gather Feedback from Children.
Gargantini, A., Petke, J., Radavelli, M., Vavassori, P. (2016). Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing.
Harman, M. (2016). Search Based Software Engineering and Genetic Improvement.
Harman, M., Al-Subaihin, A., Jia, Y., Martin, W., Sarro, F., Zhang, Y. (2016). Mobile app and app store analysis, testing and optimisation.
Harman, M., McMinn, P. (2016). Preface.
Henard, C., Papadakis, M., Harman, M., Jia, Y., Traon, Y.L. (2016). Comparing white-box and black-box test prioritization.
Hindle, A., Barr, E.T., Gabel, M., Su, Z., Devanbu, P. (2016). On the naturalness of software. Communications of the ACM, 59 (5), 122-131. doi:10.1145/2902362
Houben, S., Golsteijn, C., Gallacher, S., Johnson, R., Bakker, S., Marquardt, N., ...Rogers, Y. (2016). Physikit: Data Engagement Through Physical Ambient Visualizations in the Home.
Jahangirova, G., Clark, D.J., Harman, M., Tonella, P. (2016). Test Oracle Assessment and Improvement.
Just, R., Krinke, J., Henard, C. (2016). Message from the MUTATION 2016 Chairs.
Langdon, W. (2016). The Genetic Improvement Fitness Landscape. .
Langdon, W.B. (2016). Kin selection with twin genetic programming.
Langdon, W.B., Dolado, J., Sarro, F., Harman, M. (2016). Exact Mean Absolute Error of Baseline Predictor, MARP0. Information and Software Technology, 73 16-18. doi:10.1016/j.infsof.2016.01.003
Langdon, W.B., Ochoa, G. (2016). Genetic improvement: A key challenge for evolutionary computation.
Langdon, W.B., Petke, J., Bruce, B.R. (2016). Optimising Quantisation Noise in Energy Measurement.
Langdon, W.B., Vilella, A., Lam, B.Y.H., Petke, J., Harman, M. (2016). Benchmarking genetically improved BarraCUDA on epigenetic methylation NGS datasets and nVidia GPUs.
Langdon, W.B., White, D.R., Harman, M., Jia, Y., Petke, J. (2016). API-Constrained Genetic Improvement.
Langdon, W., Harman, M. (2016). Fitness Landscape of the Triangle Program. .
Li, L. (2016). Exact Analysis for Next Release Problem.
Li, L., Harman, M., Wu, F., Zhang, Y. (2016). The Value of Exact Analysis in Requirements Selection. IEEE Transactions on Software Engineering, PP (99), doi:10.1109/TSE.2016.2615100
Li, L., Harman, M., Wu, F., Zhang, Y. (2016). The Value of Exact Analysis in Requirements Selection. IEEE Transactions on Software Engineering, PP (99), doi:10.1109/TSE.2016.2615100
mao, K., Capra, L., harman, M., jia, Y. (2016). A Survey of the Use of Crowdsourcing in Software Engineering. Journal of Systems and Software,
Mao, K., Harman, M.A.R.K., Jia, Y.U.E. (2016). Sapienz: Multi-objective Automated Testing for Android Applications.
Martin, W., Sarro, F., Harman, M. (2016). Causal impact analysis for app releases in google play.
Martin, W., Sarro, F., Harman, M. (2016). Causal impact analysis for app releases in google play.
Martin, W., Sarro, F., Harman, M., Jia, Y., Zhang, Y. (2016). A survey of app store analysis for software engineering. Transactions on Software Engineering, doi:10.1109/TSE.2016.2630689
McMinn, P., Harman, M., Fraser, G., Kapfhammer, G.M. (2016). Automated Search for Good Coverage Criteria: Moving from Code Coverage to Fault Coverage Through Search-Based Software Engineering.
Nagappan, M., Sarro, F., Shihab, E. (2016). Message from the chairs.
Newbold, J., Bianchi-Berthouze, N., Gold, N.E., Tajadura-Jimenez, A., Williams, A. (2016). Musically Informed Sonification for Chronic Pain Rehabilitation: Facilitating Progress & Avoiding Over-doing.
Ó Cinnéide, M., Hemati Moghadam, I., Harman, M., Counsell, S., Tratt, L. (2016). An experimental search-based approach to cohesion metric evaluation. Empirical Software Engineering, 1-38. doi:10.1007/s10664-016-9427-7
Oni, O., Letier, E. (2016). Optimizing the Incremental Delivery of Software Features Under Uncertainty.
Papadakis, M., Henard, C., Harman, M., Jia, Y., Traon, Y.L. (2016). Threats to the validity of mutation-based test assessment.
Petke, J. (2016). Genetic Improvement for Code Obfuscation.
Petke, J., Gay, G. (2016). Message from the workshop chairs.
Quattrone, G., Dittus, M., Capra, L. (2016). Exploring Maintenance Practices in Crowd-Mapping.
Quattrone, G., Proserpio, D., Quercia, D., Capra, L., Musolesi, M. (2016). Who Benefits from the “Sharing” Economy of Airbnb?.
Ragkhitwetsagul, C. (2016). Measuring Code Similarity in Large-scaled Code Corpora.
Ragkhitwetsagul, C., Krinke, J., Clark, D. (2016). Similarity of Source Code in the Presence of Pervasive Modifications.
Ragkhitwetsagul, C., Krinke, J., Paixao, M., Adham, M., Busari, S., Drake, J.H. (2016). Searching for Configurations in Clone Evalution: A Replication Study.
Rogers, Y., Golsteijn, C., Capra, L., Gallacher, S. (2016). Sens-Us: Designing Innovative Civic Technology for the Public Good..
Salza, P., Ferrucci, F., Sarro, F. (2016). Develop, Deploy and Execute Parallel Genetic Algorithms in the Cloud.
Salza, P., Ferrucci, F., Sarro, F. (2016). elephant56: Design and Implementation of a Parallel Genetic Algorithms Framework on Hadoop MapReduce.
Sarro, F., Kessentini, M., Deb, K. (2016). Preface- Search Based Software Engineering - 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings. Springer.
Sarro, F., Petrozziello, A., Harman, M. (2016). Multi-objective software effort estimation.
Smith-Clarke, C., Capra, L. (2016). Beyond the baseline: Establishing the value in mobile phone based poverty estimates.
Spiro, N., Gold, N.E., Rink, J. (2016). Musical Motives in Performance: A Study of Absolute Timing Patterns. In Smith, J.B.L., Chew, E., Assayag, G. (Eds.), Mathemusical Conversations: Mathematics and Computation in Music Performance and Composition. (pp. 109-128). Singapore: Imperial College Press and World Scientific.
traunmueller, M., Capra, L., marshall, P. (2016). “...when you’re a Stranger": Evaluating Safety Perceptions of (un)familiar Urban Places.
Venerandi, A., Quattrone, G., Capra, L. (2016). City form and well-being: what makes London neighborhoods good places to live?.
Venerandi, A., Quattrone, G., Capra, L. (2016). Guns of Brixton: which London neighborhoods host gang activity?.
Wu, F., Harman, M., Jia, Y., Krinke, J. (2016). HOMI: Searching Higher Order Mutants for Software Improvement.
Wu, F., Nanavati, J., Harman, M., Jia, Y., Krinke, J. (2016). Memory mutation testing. Information and Software Technology, 81 97-111. doi:10.1016/j.infsof.2016.03.002
Wu, F., Nanavati, J., Harman, M., Jia, Y., Krinke, J. (2016). Memory mutation testing. Information and Software Technology, 81 97-111. doi:10.1016/j.infsof.2016.03.002
Yang, Y., Harman, M., Krinke, J., Islam, S., Binkley, D., Zhou, Y., Xu, B. (2016). An Empirical Study on Dependence Clusters for Effort-Aware Fault-Proneness Prediction.
2015
(2015). GECCO Companion ’15: Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference.
(2015). Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015.
Abdallah, S., Alencar-Brayner, A., Benetos, E., Cottrell, S., Dykes, J., Kachkaev, A., ...Tovell, A. (2015). Automatic Transcription and Pitch Analysis of the British Library World and Traditional Music Collections.
Allamanis, M., Barr, E.T., Bird, C., Sutton, C. (2015). Suggesting Accurate Method and Class Names.
Alshahwan, N., Barr, E.T., Clark, D., Danezis, G. (2015). Detecting Malware with Information Complexity. .
Barr, E.T., Harman, M., Jia, Y., Marginean, A., Petke, J. (2015). Automated software transplantation.
Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S. (2015). The Oracle Problem in Software Testing: A Survey. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 41 (5), 507-525. doi:10.1109/TSE.2014.2372785
Bian, Y., Kirbas, S., Harman, M., Jia, Y., Li, Z. (2015). Regression test case prioritisation for Guava.
Binkley, D., Gold, N.E., Harman, M., Islam, S., Krinke, J., Yoo, S. (2015). ORBS and the Limits of Static Slicing.
Boreale, M., Clark, D., Gorla, D. (2015). A semiring-based trace semantics for processes with applications to information leakage analysis. Mathematical Structures in Computer Science, 25 (2), 259-291. doi:10.1017/S0960129513000601
Bruce, B.R. (2015). Energy optimisation via genetic improvement: A SBSE technique for a new era in software development.
Bruce, R.R., Petke, J., Harman, M. (2015). Reducing Energy Consumption Using Genetic Improvement.
Burles, N., Bowles, E., Bruce, B.R., Srivisut, K. (2015). Specialising Guava’s Cache to reduce energy consumption.
Clark, D., Feldt, R., Poulding, S., Yoo, S. (2015). Information Transformation: An Underpinning Theory for Software Engineering.
Corazza, A., Di Martino, S., Ferrucci, F., Gravino, C., Sarro, F. (2015). From Function Points to COSMIC - A Transfer Learning Approach for Effort Estimation.
Cortes-Cornax, M., Matei, A., Dupuy-Chessa, S., Rieu, D., Mandran, N., Letier, E. (2015). Using intentional fragments to bridge the gap between organizational and intentional levels. INFORMATION AND SOFTWARE TECHNOLOGY, 58 1-19. doi:10.1016/j.infsof.2014.09.010
Dehghanniri, H., Letier, E., Borrion, H. (2015). Improving Security Decision under Uncertainty: A Multidisciplinary Approach.
Di Martino, S., Ferrucci, F., Gravino, C., Sarro, F. (2015). Web Effort Estimation: Function Point Analysis vs. COSMIC. Information and Software Technology, 72 90-109. doi:10.1016/j.infsof.2015.12.001
Epitropakis, M.G., Yoo, S., Harman, M., Burke, E.K. (2015). Empirical evaluation of Pareto efficient multi-objective regression test case prioritisation.
Ferrucci, F., Gravino, C., Salza, P., Sarro, F. (2015). Investigating Functional and Code Size Measures for Mobile Applications.
Ferrucci, F., Gravino, C., Salza, P., Sarro, F. (2015). Investigating Functional and Code Size Measures for Mobile Applications: A Replicated Study.
Ferrucci, F., Kechadi, T., Salza, P., Sarro, F. (2015). A Parallel Genetic Algorithms Framework Based on Hadoop MapReduce.
Gallacher, S., Golsteijn, C., Wall, L., Koeman, L., Andberg, S., Capra, L., Rogers, Y. (2015). Getting Quizzical About Physical: Observing Experiences with a Tangible Questionnaire.
Gallacher, S., O' Connor, J., Bird, J., Rogers, Y., Capra, L., Harrison, D., Marshall, P. (2015). Mood Squeezer: Lightening up the Workplace through Playful and Lightweight Interactions.
Genn, H. (2015). Foreward. UCL Journal of Law and Jurisprudence, 4 (1), doi:10.14324/111.2052-1871.026
Golsteijn, C., Gallacher, S., Capra, L., Rogers, Y. (2015). Sens-Us: Imagining a Citizen-led, Dynamic, and Localized Census.
Golsteijn, C., Gallacher, S., Koeman, L., Wall, L., Andberg, S., Rogers, Y., Capra, L. (2015). VoxBox: a Tangible Machine that Gathers Opinions from the Public at Events.
Harman, M., Chicano, F. (2015). Search Based Software Engineering (SBSE). JOURNAL OF SYSTEMS AND SOFTWARE, 103 266. doi:10.1016/j.jss.2015.01.051
Harman, M., Chicano, F. (2015). Search Based Software Engineering (SBSE). Journal of Systems and Software, 103 266-. doi:10.1016/j.jss.2015.01.051
Harman, M., Petke, J. (2015). GI4GI: Improving genetic improvement fitness functions.
Harman, M., Pezze, M. (2015). Introduction to the Special Issue on ISSTA 2013. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 24 (4), doi:10.1145/2809789
Henard, C., Papadakis, M., Harman, M., Le Traon, Y. (2015). Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines.
Jia, Y. (2015). Hyperheuristic Search for SBST.
Jia, Y., Cohen, M.B., Harman, M., Petke, J. (2015). Learning Combinatorial Interaction Test Generation Strategies using Hyperheuristic Search.
Jia, Y., Harman, M., Langdon, W.B., Marginean, A. (2015). Grow and Serve: Growing Django Citation Services Using SBSE.
Jia, Y., Harman, M., Merayo, M. (2015). Introduction to the special issue on Mutation Testing. SOFTWARE TESTING VERIFICATION & RELIABILITY, 25 (5-7), 461-463. doi:10.1002/stvr.1582
Jia, Y., Wu, F., Harman, M., Krinke, J. (2015). Genetic Improvement using higher order mutation.
Krinke, J., Robillard, M. (2015). Message from the program co-chairs.
Langdon, W. (2015). Genetic improvement of programs.
Langdon, W.B. (2015). Performance of genetic programming optimised Bowtie2 on genome comparison and analytic testing (GCAT) benchmarks. BIODATA MINING, 8 doi:10.1186/s13040-014-0034-0
Langdon, W.B. (2015). Genetic Improvement of Software for Multiple Objectives.
Langdon, W.B., Harman, M. (2015). Grow and Graft a better CUDA pknotsRG for RNA pseudoknot free energy calculation.
Langdon, W.B., Harman, M. (2015). Optimising Existing Software with Genetic Programming. IEEE Transactions on Evolutionary Computation, PP (99), 118-135. doi:10.1109/TEVC.2013.2281544
Langdon, W.B., Lam, B.Y.H. (2015). Genetically Improved BarraCUDA. Department of Computer Science, University College London .
Langdon, W.B., Lam, B.Y.H., Petke, J., Harman, M. (2015). Improving CUDA DNA Analysis Software with Genetic Programming.
Langdon, W.B., Petke, J. (2015). Software is Not Fragile.
Mao, K., Yang, Y., Wang, Q., Jia, Y., Harman, M. (2015). Developer Recommendation for Crowdsourced Software Development Tasks.
Marginean, A., Barr, E.T., Harman, M., Jia, Y. (2015). Automated transplantation of call graph and layout features into Kate.
Mashhadi, A., Quattrone, G., Capra, L. (2015). The impact of society on volunteered geographic information: The case of OpenStreetMap. In OpenStreetMap in GIScienceExperiences, Research, and Applications. (pp. 125-141). Springer.
Minku, L., Sarro, F., Mendes, E., Ferrucci, F. (2015). How to Make Best Use of Cross-Company Data for Web Effort Estimation?.
Nanavati, J., Wu, F., Harman, M., Jia, Y., Krinke, J. (2015). Mutation Testing of Memory-Related Operators.
Neumann, G., Harman, M., Poulding, S. (2015). Transformed Vargha-Delaney effect size.
Newbold, J.W., Bianchi-Berthouze, N., Gold, N.E., Williams, A. (2015). Musically Informed Sonification for Self-Directed Chronic Pain Physical Rehabilitation.
Olajubu, O. (2015). A textual domain specific language for requirement modelling..
Papadakis, M., Jia, Y., Harman, M., Le Traon, Y. (2015). Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique.
Patrick, M., Jia, Y. (2015). Kernel Density Adaptive Random Testing.
Patrick, M., Jia, Y. (2015). Exploring the landscape of non-functional program properties using spatial analysis.
Petke, J. (2015). Testing Django configurations using combinatorial interaction testing.
Petke, J. (2015). Bridging Constraint Satisfaction and Boolean Satisfiability. .
Petke, J. (2015). Constraints: the Future of Combinatorial Interaction Testing.
Petke, J., Cohen, M.B., Harman, M., Yoo, S. (2015). Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 41 (9), 901-924. doi:10.1109/TSE.2015.2421279
Saeidi, M., Riedel, S., Capra, L. (2015). Lower dimensional representations of city neighbourhoods.
Smith, E.K., Barr, E.T., Le Goues, C., Brun, Y. (2015). Is the Cure Worse Than the Disease? Overfitting in Automated Program Repair.
Traunmueller, M., Marshall, P., Capra, L. (2015). Crowdsourcing Safety Perceptions of People: Opportunities and Limitations.
Urbieta, A., Gonzalez-Beltran, A., Ben Mokhtar, S., Parra, J., Capra, L., Hossain, M.A., ...Ignacio Vazquez, J. (2015). Hybrid service matchmaking in ambient assisted living environments based on context-aware service modeling. CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 18 (3), 1171-1188. doi:10.1007/s10586-015-0469-1
Urbieta, A., González-Beltrán, A., Ben Mokhtar, S., Parra, J., Capra, L., Hossain, M.A., ...Vázquez, J.I. (2015). Hybrid service matchmaking in ambient assisted living environments based on context-aware service modeling. Cluster Computing, 18 (3), 1171-1188. doi:10.1007/s10586-015-0469-1
Veerapen, N., Ochoa, G., Harman, M., Burke, E.K. (2015). An Integer Linear Programming approach to the single and bi-objective Next Release Problem. INFORMATION AND SOFTWARE TECHNOLOGY, 65 1-13. doi:10.1016/j.infsof.2015.03.008
Venerandi, A., Quattrone, G., Capra, L., Quercia, D., Saez-Trumper, D. (2015). Measuring Urban Deprivation from User Generated Content.
Venerandi, A., Quattrone, g.i.o.v.a.n.n.i., Capra, l.i.c.i.a., Daniele, Q.u.e.r.c.i.a., Diego, S.a.e.z.-.T.r.u.m.p.e.r. (2015). Measuring Urban Deprivation from User Generated Content.
Woodward, J.R., Petke, J., Langdon, W. (2015). How computers are learning to make human software work more efficiently. The Conversation, June 25-2015 10.08am BST.
Wu, F., Weimer, W., Harman, M., Jia, Y., Krinke, J. (2015). Deep Parameter Optimisation.
Zheng, Q., Mockus, A., Zhou, M. (2015). A method to identify and correct problematic software activity data: exploiting capacity constraints and data redundancies..
2014
(2014). GECCO ’14: Proceedings of the 2014 conference on Genetic and evolutionary computation.
(2014). 7th International Workshop on Search-Based Software Testing, SBST 2014, Hyderabad, India, June 2, 2014.
Abdallah, S.A., Gold, N.E. (2014). Exploring probabilistic grammars of symbolic music using PRISM.
Abdallah, S.A., Gold, N.E. (2014). Comparing models of symbolic music using probabilistic grammars and probabilistic programming.
Allamanis, M., Barr, E.T., Bird, C., Sutton, C. (2014). Learning Natural Coding Conventions.
Alshahwan, N., Harman, M. (2014). Coverage and fault detection of the output-uniqueness test selection criteria.
Androutsopoulos, K., Clark, D., Dan, H., Hierons, R.M., Harman, M. (2014). An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing.
Barr, E.T., Brun, Y., Devanbu, P., Harman, M., Sarro, F. (2014). The Plastic Surgery Hypothesis.
Barr, E.T., Marron, M. (2014). Tardis: Affordable Time-Travel Debugging in Managed Runtimes.
Binkley, D., Gold, N., Harman, M., Krinke, J., Islam, S., Yoo, S. (2014). ORBS: Language-Independent Program Slicing.
Boeing, P., Nesbeth, D.N., Finkelstein, A., Barnes, C. (2014). An Aspect Oriented Design and Modelling Framework for Synthetic Biology..
Dan, H., Harman, M., Krinke, J., Li, L., Marginean, A., Wu, F. (2014). Pidgin Crasher : Searching for Minimised Crashing GUI Event Sequences.
Dannenberg, R.B., Gold, N.E., Liang, D., Xia, G. (2014). Active Scores: Representation and Synchronization in Human-Computer Performance of Popular Music. Computer Music Journal, 38 (2), 51-62.
Dannenberg, R.B., Gold, N.E., Liang, D., Xia, G. (2014). Methods and Prospects for Human-Computer Performance of Popular Music. COMPUTER MUSIC JOURNAL, 38 (2), 36-50. doi:10.1162/COMJ_a_00238
Donat-Bouillud, P., Abdallah, S.A., Gold, N.E. (2014). Compression-based Dependencies Among Rhythmic Motifs in a Score.
Ferrucci, F., Gravino, C., Sarro, F. (2014). Conversion from IFPUG FPA to COSMIC: within-vs without-company equations.
Ferrucci, F., Gravino, C., Sarro, F. (2014). Exploiting prior-phase effort data to estimate the effort for the subsequent phases: A further assessment.
Ferrucci, F., Harman, M., Sarro, F. (2014). Search-Based Project Software Management. In Software Project Management in a Changing World. Springer.
Finkelstein, A., Harman, M., Jia, Y., Martin, W., Sarro, F., Zhang, Y. (2014). App Store Analysis: Mining App Stores for Relationships between Customer, Business and Technical Characteristics. Department of Computer Science, UCL .
Gold, N.E., Rossi Rognoni, G. (2014). The MiCLUES system: Dynamic, rich contextual support for museum visits.
Gu, Z., Schleck, D., Barr, E.T., Su, Z. (2014). Capturing and Exploiting IDE Interactions.
Han, J., Gold, N.E. (2014). Lessons Learned in Exploring the Leap Motion™ Sensor for Gesture-based Instrument Design.
Harman, M., Islam, S., Jia, Y., Minku, L.L., Sarro, F., Srivisut, K. (2014). Less is More: Temporal Fault Predictive Performance over Multiple Hadoop Releases.
Harman, M., Islam, S., Jia, Y., Minku, L.L., Sarro, F., Srivisut, K. (2014). Less is more: Temporal fault predictive performance over multiple hadoop releases.
Harman, M., Jia, Y., Langdon, W.B. (2014). Babel Pidgin: SBSE can grow and graft entirely new functionality into a real world system.
Harman, M., Jia, Y., Langdon, W.B. (2014). Babel Pidgin: SBSE Can Grow and Graft Entirely New Functionality into a Real World System.
Harman, M., Jia, Y., Langdon, W.B. (2014). Babel Pidgin: SBSE can grow and graft entirely new functionality into a real world system.
Harman, M., Jia, Y., Langdon, W.B., Petke, J., Moghadam, I.H., Yoo, S., Wu, F. (2014). Genetic Improvement for Adaptive Software Engineering.
Harman, M., Jia, Y., Langdon, W.B., Petke, J., Moghadam, I.H., Yoo, S., Wu, F. (2014). Genetic improvement for adaptive software engineering (keynote).
Harman, M., Jia, Y., Mateo, P.R., Polo, M. (2014). Angels and monsters: An empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation.
Harman, M., Krinke, J., Medina-Bulo, I., Palomo-Lozano, F., Ren, J., Yoo, S. (2014). Exact scalable sensitivity analysis for the next release problem. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 23 (2), doi:10.1145/2537853
Hathaiwichian, P., Siriwittayacharoen, L., Wongwachirawanich, A., Ragkhitwetsagul, C. (2014). Android Application for Event Management and Information Propagation.
Inoue, K., Koschke, R., Krinke, J. (2014). Special issue on software clones (IWSC'12). SCIENCE OF COMPUTER PROGRAMMING, 95 389. doi:10.1016/j.scico.2014.08.004
Islam, S., Krinke, J., Binkley, D., Harman, M. (2014). Coherent clusters in source code. JOURNAL OF SYSTEMS AND SOFTWARE, 88 1-24. doi:10.1016/j.jss.2013.07.040
Islam, S., Krinke, J., Harman, M., Binkley, D. (2014). Coherent clusters in source code. JOURNAL OF SYSTEMS AND SOFTWARE, 88 1-24. doi:10.1016/j.jss.2013.07.040
Jeavons, P., Petke, J. (2014). Local Consistency and SAT-Solvers.. CoRR, abs/1401.4613
Kalumbilo, M., Finkelstein, A. (2014). Linking strategy, governance, and performance in software engineering..
Langdon, W. (2014). Genetic Improvement Programming.
Langdon, W.B. (2014). Improved CUDA 3D Medical Image Registration.
Langdon, W.B. (2014). Computational Intelligence and Testing. Department of Computer Science, University College London .
Langdon, W.B. (2014). News of the GP Bibliography. SIGEvolution newsletter of the ACM Special Interest Group on Genetic and Evolutionary Computation, 6 12-16.
Langdon, W.B. (2014). Mycoplasma Contamination in The 1000 Genomes Project. BioData Mining, doi:10.1186/1756-0381-7-3
Langdon, W.B. (2014). Genetic Improvement of Programs.
Langdon, W.B., Harman, M. (2014). Genetically Improved CUDA kernels for StereoCamera. Department of Computer Science, University College London .
Langdon, W.B., Harman, M. (2014). Improving Source Code with Genetic Programming.
Langdon, W.B., Modat, M., Petke, J., Harman, M. (2014). Improving 3D Medical Image Registration CUDA Software with Genetic Programming.
Langdon, W.B., Modat, M., Petke, J., Harman, M. (2014). Improving 3D medical image registration CUDA software with genetic programming.
Langdon, W., Petke, J., Harman, M., Weimer, W. (2014). Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class.
Lathia, N., Capra, L. (2014). Tube Star: Crowd-Sourced Experiences on Public Transport.
Letier, E., Stefan, D., Barr, E.T. (2014). Uncertainty, Risk, and Information Value in Software Requirements and Architecture.
McMinn, P., Harman, M. (2014). Message from the chairs.
Mendes, E., Kalinowski, M., Martins, D., Ferrucci, F., Sarro, F. (2014). Cross- vs. Within-company cost estimation studies revisited: An extended systematic review.
Neumann, G., Harman, M., Swan, J., Clark, J.A. (2014). The executable experimental template pattern for the systematic comparison of metaheuristics. GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference, 1427-1430. doi:10.1145/2598394.2609850
Petke, J., Harman, M., Langdon, W.B., Weimer, W. (2014). Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class.
Pichardo-Almarza, C.D., Metcalf, L., Finkelstein, A., Diaz-Zuccarini, V. (2014). Using a Systems Pharmacology Approach to Study the Effect of Statins on the EarlyStage of Atherosclerosis in Humans. CPT: Pharmacometrics and Systems Pharmacology,
Porter, C., Letier, E., Sasse, M.A. (2014). Building a National E-Service using Sentire: Experience report on the use of Sentire: A Volere-based requirements framework driven by calibrated personas and simulated user feedback.
Quattrone, G., Mashhadi, A., Capra, L. (2014). Mind the map: The impact of culture and economic affluence on crowd-mapping behaviours. Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW, 934-944. doi:10.1145/2531602.2531713
Quattrone, G., Mashhadi, A., Quercia, D., Smith-Clarke, C., Capra, L. (2014). Modelling growth of urban crowd-sourced information. WSDM'14: PROCEEDINGS OF THE 7TH ACM INTERNATIONAL CONFERENCE ON WEB SEARCH AND DATA MINING, 563-572. doi:10.1145/2556195.2556244
Rahman, F., Khatri, S., Barr, E.T., Devanbu, P. (2014). Comparing Static Bug Finders and Statistical Prediction.
Rossi Rognoni, G., Gold, N.E. (2014). MiCLUES: a new user-driven audio guide for the RCM Museum of Instruments (abstract only).
Smith-Clarke, C., Mashhadi, A., Capra, L. (2014). Poverty on the cheap: Estimating poverty maps using aggregated mobile communication networks. Conference on Human Factors in Computing Systems - Proceedings, 511-520. doi:10.1145/2556288.2557358
Stefan, D., Letier, E. (2014). Supporting Sustainability Decisions in Large Organisations.
Traunmueller, M., Quattrone, G., Capra, L. (2014). Mining Mobile Phone Data to Investigate Urban Crime Theories at Scale.
Vos, T.E.J., Tonella, P., Prasetya, I.S.W.B., Kruse, P.M., Shehory, O., Bagnato, A., Harman, M. (2014). The FITTEST tool suite for testing future internet applications.
Vos, T.E.J., Tonella, P., Prasetya, I.S.W.B., Kruse, P.M., Shehory, O., Bagnato, A., Harman, M. (2014). The FITTEST tool suite for testing future internet applications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8432 LNCS 1-31. doi:10.1007/978-3-319-07785-7-1
Vos, T., Tonella, P., Prasetya, W., Kruse, P.M., Bagnato, A., Harman, M., Shehory, O. (2014). FITTEST: A new continuous and automated testing process for future Internet applications. 2014 SOFTWARE EVOLUTION WEEK - IEEE CONFERENCE ON SOFTWARE MAINTENANCE, REENGINEERING, AND REVERSE ENGINEERING (CSMR-WCRE), 407-+.
Weyde, T., Cottrell, S., Benetos, E., Wolff, D., Tidhar, D., Dykes, J., ...Gold, N.E. (2014). Digital Music Lab - A Framework for Analysing Big Music Data (abstract only).
Weyde, T., Cottrell, S., Dykes, J., Benetos, E., Wolff, D., Tidhar, D., ...Barthet, M. (2014). Big Data for Musicology.
Yao, X., Harman, M., Jia, Y. (2014). A Study of Equivalent and Stubborn Mutation Operators using Human Analysis of Equivalence.
Zhang, Y., Harman, M., Ochoa, G., Ruhe, G., Brinkkemper, S. (2014). An Empirical Study of Meta-and Hyper-Heuristic Search for Multi-Objective Release Planning. Department of Computer Science, UCL .
Zheng, Y., Capra, L., Wolfson, O., Yang, H. (2014). Urban Computing: Concepts, Methodologies, and Applications. ACM Transactions on Intelligent Systems and Technology (TIST), 5 (3), doi:10.1145/2629592
Zheng, Y., Capra, L., Wolfson, O., Yang, H. (2014). Introduction to the special section on Urban computing. ACM Transactions on Intelligent Systems and Technology, 5 (3), doi:10.1145/26426501
Zheng, Y., Capra, L., Wolfson, O., Yang, H. (2014). Introduction to the special section on Urban computing. ACM Transactions on Intelligent Systems and Technology, 5 (3), doi:10.1145/26426501
Zheng, Y., Capra, L., Wolfson, O., Yang, H. (2014). Introduction to the Special Section on Urban Computing. ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 5 (3), doi:10.1145/2642650
Zheng, Y., Capra, L., Wolfson, O., Yang, H. (Eds.), (2014). ACM Transactions on Intelligent Systems and Technology - Special Section on Urban Computing. ACM Transactions on Intelligent Systems and Technology, 5 (3),
2013
(2013). 1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013.
(2013). International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013.
Anand, S., Burke, E.K., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., ...McMinn, P. (2013). An orchestrated survey of methodologies for automated software test case generation. JOURNAL OF SYSTEMS AND SOFTWARE, 86 (8), 1978-2001. doi:10.1016/j.jss.2013.02.061
Anand, S., Burke, E.K., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., ...McMinn, P. (2013). An orchestrated survey of methodologies for automated software test case generation. Journal of Systems and Software, 86 (8), 1978-2001. doi:10.1016/j.jss.2013.02.061
Androutsopoulos, K., Clark, D., Harman, M., Hierons, R.M., Li, Z., Tratt, L. (2013). Amorphous Slicing of Extended Finite State Machines. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 39 (7), 892-909. doi:10.1109/TSE.2012.72
Androutsopoulos, K., Clark, D., Harman, M., Krinke, J., Tratt, L. (2013). State-based model slicing: A survey.. ACM COMPUTING SURVEYS, 45 (4), doi:10.1145/2501654.2501667
Barr, E.T., Bird, C., Marron, M. (2013). Collecting a heap of shapes. 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings, 123-133. doi:10.1145/2483760.2483761
Barr, E.T., Bird, C., Marron, M. (2013). Collecting a heap of shapes.
Barr, E.T., Thanh, V., Vu, L., Su, Z. (2013). Automatic Detection of Floating-Point Exceptions.
Barr, E., Vo, T., le, V., Su, Z. (2013). Automatic Detection of Floating-Point Exceptions.
Binkley, D., Gold, N.E., Krinke, J., Harman, M., Yoo, S. (2013). Observation-Based Slicing. Department of Computer Science, UCL .
Binkley, D., Gold, N., Harman, M., Islam, S., Krinke, J., Li, Z. (2013). Efficient Identification of Linchpin Vertices in Dependence Clusters. ACM Transactions on Programming Languages and Systems, 35 (2), doi:10.1145/2491522.2491524
Bozkurt, M., Harman, M., Hassoun, Y. (2013). Testing and verification in service-oriented architecture: A survey. SOFTWARE TESTING VERIFICATION & RELIABILITY, 23 (4), 261-313. doi:10.1002/stvr.1470
Bozkurt, M., Harman, M., Hassoun, Y. (2013). Testing and verification in service-oriented architecture: A survey. Software Testing Verification and Reliability, 23 (4), 261-313. doi:10.1002/stvr.1470
Brockhoff, D., Knowles, J.D., Langdon, W.B. (2013). Breakout Session on Evolutionary Multiobjective Optimization.
Chan, S., Treleaven, P., Capra, L. (2013). Continuous hyperparameter optimization for large-scale recommender systems. 2013 IEEE INTERNATIONAL CONFERENCE ON BIG DATA,
Corazza, A., Di Martino, S., Ferrucci, F., Gravino, C., Sarro, F., Mendes, E. (2013). Using tabu search to configure support vector regression for effort estimation. Empirical Software Engineering, 18 (3), 506-546. doi:10.1007/s10664-011-9187-3
Dannenberg, R.B., Jin, Z., Gold, N.E., Sandu, O.E., Palliyaguru, P.N., Robertson, A., ...Kleinberger, R. (2013). Human-Computer Music Performance: From Synchronized Accompaniment to Musical Partner.
Duboc, L., Letier, E., Rosenblum, D.S. (2013). Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis.. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 39 (1), 119-140. doi:10.1109/TSE.2012.12
Dussault, J.V., Gold, N.E. (2013). Live coding music: Self-expression through innovation.
Ferrucci, F., Harman, M., Ren, J., Sarro, F. (2013). Not Going to Take This Anymore: Multi-objective Overtime Planning for Software Engineering Projects.
Ferrucci, F., Harman, M., Ren, J., Sarro, F. (2013). Not going to take this anymore: multi-objective overtime planning for software engineering projects..
Ferrucci, F., Kechadi, M., Salza, P., Sarro, F. (2013). A framework for genetic algorithms based on hadoop. .
Finkelstein, A. (2013). The Next 10 Years: the shape of software to come and what if means for software engineering..
Finkelstein, A.C.W. (2013). Valve: an electrical romance. In Carnall, M. (Ed.), Conversation Pieces: Inspirational objects in UCL's historic collections. (pp. 22-23). Oxford, UK: Shire Publications Ltd.
Finkelstein, A.C.W., Finkelstein, L. (2013). The convergence of measurement science and computer science: A scientific conversation. MEASUREMENT, 46 (8), 2946-2949. doi:10.1016/j.measurement.2013.04.047
Finkelstein, A., Harman, M., Jia, Y., Sarro, F., Zhang, Y. (2013). Mining App Stores: Extracting Technical, Business and Customer Rating Information for Analysis and Prediction. Department of Computer Science, UCL .
Harman, M. (2013). Foreword to the invited impact paper on automatic software repair. SOFTWARE QUALITY JOURNAL, 21 (3), 419. doi:10.1007/s11219-013-9212-4
Harman, M. (2013). Foreword to the invited impact paper on automatic software repair. Software Quality Journal, 21 (3), 419-. doi:10.1007/s11219-013-9212-4
Harman, M. (2013). Software engineering: An ideal set of challenges for evolutionary computation. GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion, 1759-1760. doi:10.1145/2464576.2480770
Harman, M., Clark, J., Cinnéidez, M.O. (2013). Dynamic adaptive search based software engineering needs fast approximate metrics (keynote). 2013 4TH INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE METRICS (WETSOM), 1-6.
Harman, M., Korel, B. (2013). Editorial for special issue of STVR on software testing, verification, and validation - Volume 1 (extended selected papers from ICST 2011). SOFTWARE TESTING VERIFICATION & RELIABILITY, 23 (6), 437. doi:10.1002/stvr.1507
Harman, M., Korel, B. (2013). Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011). SOFTWARE TESTING VERIFICATION & RELIABILITY, 23 (7), 529. doi:10.1002/stvr.1506
Harman, M., Lakhotia, K., Yoo, S., Singer, J., White, D.R. (2013). Cloud engineering is Search Based Software Engineering too. JOURNAL OF SYSTEMS AND SOFTWARE, 86 (9), 2225-2241. doi:10.1016/j.jss.2012.10.027
Harman, M., Paige, R.F., Williams, J.R. (2013). 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)..
Harman, M., Pezzé, M. (2013). Message from the chairs. 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings,
Hristova, D., Quattrone, G., Mashhadi, A.J., Capra, L. (2013). The Life of the Party: Impact of Social Mapping in OpenStreetMap..
Lakhotia, K., Harman, M., Gross, H. (2013). AUSTIN: An open source tool for search based software testing of C programs. INFORMATION AND SOFTWARE TECHNOLOGY, 55 (1), 112-125. doi:10.1016/j.infsof.2012.03.009
Lakhotia, K., Harman, M., Gross, H. (2013). AUSTIN: An open source tool for search based software testing of C programs. Information and Software Technology, 55 (1), 112-125. doi:10.1016/j.infsof.2012.03.009
Langdon, W.B. (2013). Which is faster: Bowtie2GP > bowtie > bowtie2 > BWA. GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion, 1741-1742. doi:10.1145/2464576.2480772
Langdon, W.B. (2013). Evolutionary Multi Objective Optimisation EMO.
Langdon, W.B. (2013). Which is faster: Bowtie2GP $>$ Bowtie $>$ Bowtie2 $>$ BWA. Department of Computer Science, University College London .
Langdon, W.B., Harman, M. (2013). Using Genetic Programming to Model Software.
Lathia, N., Smith, C., Froehlich, J., Capra, L. (2013). Individuals among commuters: Building personalised transport information services from fare collection systems. Pervasive and Mobile Computing, 9 (5), 643-664. doi:10.1016/j.pmcj.2012.10.007
Letier, E., Fitzgerald, C. (2013). Measure what counts: An evaluation pattern for software data analysis. 2013 1ST INTERNATIONAL WORKSHOP ON DATA ANALYSIS PATTERNS IN SOFTWARE ENGINEERING (DAPSE), 20-22.
Letier, E., Heaven, W. (2013). Requirements Modelling by Synthesis of Deontic Input-Output Automata.
Mao, K., Yang, Y., Li, M., Harman, M. (2013). Pricing crowdsourcing-based software development tasks..
Mashhadi, A., Quattrone, G., Capra, L. (2013). Putting Ubiquitous Crowd-sourcing into Context.
Meyer, B., Gall, H., Harman, M., Succi, G. (2013). Empirical answers to fundamental software engineering problems (Panel). 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings, 14-18. doi:10.1145/2491411.2505430
Panayi, E., Harman, M., Wetherilt, A. (2013). Agent-based modelling of stock markets using existing order book data. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7838 LNAI 101-114. doi:10.1007/978-3-642-38859-0_8
Petke, J., Langdon, W.B., Harman, M. (2013). Applying Genetic Improvement to MiniSAT..
Petke, J., Yoo, S., Cohen, M.B., Harman, M. (2013). Efficiency and early fault detection with lower and higher strength combinatorial interaction testing.
Razgon, I., Petke, J. (2013). Cliquewidth and Knowledge Compilation.
Razgon, I., Petke, J. (2013). Cliquewidth and Knowledge Compilation..
Rigby, P.C., Barr, E.T., Bird, C., Devanbu, P., German, D.M. (2013). What Effect does Distributed Version Control have on OSS Project Organization?.
Romualdo-Suzuki, L., Finkelstein, A., Gann, D.M. (2013). A middleware framework for urban data management..
Smith, C., Capra, L. (2013). Monitoring Neighbourhood Health.
Smith, C., Mashhadi, A., Capra, L. (2013). Ubiquitous Sensing for Mapping Poverty in Developing Countries.
Smith, C., Quercia, D., Capra, L. (2013). Finger On The Pulse: Identifying Deprivation Using Transit Flow Analysis.
Tonella, P., Nguyen, C.D., Marchetto, A., Lakhotia, K., Harman, M. (2013). Automated generation of state abstraction functions using data invariant inference. 2013 8TH INTERNATIONAL WORKSHOP ON AUTOMATION OF SOFTWARE TEST (AST), 75-81.
Wang, T., Harman, M., Jia, Y., Krinke, J. (2013). Searching for Better Configurations: A Rigorous Approach to Clone Evaluation.
Xie, X., Kuo, F.-.C., Chen, T.Y., Yoo, S., Harman, M. (2013). Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation..
Yoo, S., Harman, M., Clark, D. (2013). Fault Localization Prioritization: Comparing Information-Theoretic and Coverage-Based Approaches. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 22 (3), doi:10.1145/2491509.2491513
Yoo, S., Harman, M., Ur, S. (2013). GPGPU test suite minimisation: Search based software engineering performance improvement using graphics cards. EMPIRICAL SOFTWARE ENGINEERING, 18 (3), 550-593. doi:10.1007/s10664-013-9247-y
Zervoudakis, F., Rosenblum, D.S., Elbaum, S.G., Finkelstein, A. (2013). Cascading verification: an integrated method for domain-specific model checking..
Zhang, Y., Harman, M., Lim, S.L. (2013). Empirical evaluation of search based requirements interaction management. Information and Software Technology, 55 126-152. doi:10.1016/j.infsof.2012.03.007
Zhang, Y., Harman, M., Lim, S.L. (2013). Empirical evaluation of search based requirements interaction management. Information and Software Technology, 55 (1), 126-152. doi:10.1016/j.infsof.2012.03.007
2012
(2012). Proceeding of the 6th International Workshop on Software Clones, IWSC 2012, Zurich, Switzerland, June 4, 2012.
Afshari, M., Barr, E.T., Su, Z. (2012). Liberating the Programmer with Prorogued Programming.
Agrifoglio, R., Black, S., Metallo, C., Ferrara, M. (2012). EXTRINSIC VERSUS INTRINSIC MOTIVATION IN CONTINUED TWITTER USAGE. JOURNAL OF COMPUTER INFORMATION SYSTEMS, 53 (1), 33-41.
Alshahwan, N., Harman, M. (2012). Augmenting test suites effectiveness by increasing output diversity..
Alshahwan, N., Harman, M. (2012). State aware test case regeneration for improving web application test suite coverage and fault detection.
Alshahwan, N., Harman, M., Marchetto, A., Tiella, R., Tonella, P. (2012). Crawlability metrics for web applications.
Barr, E.T., Bird, C., Rigby, P.C., Hindle, A., German, D.M., Devanbu, P. (2012). Cohesive and isolated development with branches.
Bozkurt, M., Harman, M. (2012). Optimised realistic test input generation using web services. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7515 LNCS 105-120. doi:10.1007/978-3-642-33119-0_9
Capra, L., Quercia, D. (2012). Middleware for Social Computing: A Roadmap. Springer Journal of Internet Services and Applications (JISA), Special Issue on The Future of Middleware
Carullo, G., Ferrucci, F., Sarro, F. (2012). Towards improving usability of authentication systems using smartphones for logical and physical resource access in a single sign-on environment. In Information systems: crossroads for organization, management, accounting and engineering. (pp. 145-153). Physica-Verlag HD.
Ceapa, I., Smith, C., Capra, L. (2012). Avoiding the crowds: Understanding Tube station congestion patterns from trip data. Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 134-141. doi:10.1145/2346496.2346518
Chan, S., Capra, L. (2012). From online browsing to offline purchases: Analyzing contextual information in the retail business. CEUR Workshop Proceedings, 889
Cheney, J., Finkelstein, A., Ludäscher, B., Vansummeren, S. (2012). Principles of Provenance (Dagstuhl Seminar 12091).. Dagstuhl Reports, 2 84-113.
Cinnéide, M.O., Tratt, L., Harman, M., Counsell, S., Moghadam, I.H. (2012). Experimental assessment of software metrics using automated refactoring.
Clark, D., Hierons, R.M. (2012). Squeeziness: An information theoretic measure for avoiding fault masking. Information Processing Letters, 112 (8-9), 335-340. doi:10.1016/j.ipl.2012.01.004
Cornax, M.C., Matei, A., Letier, E., Dupuy-Chessa, S., Rieu, D. (2012). Intentional Fragments: Bridging the Gap between Organizational and Intentional Levels in Business Processes..
De Marco, L., Ferrucci, F., Gravino, C., Sarro, F., Abrahao, S., Gomez, J. (2012). Functional versus design measures for model-driven Web applications: A case study in the context of web effort estimation.
Dermeval, D., Pimentel, J., Silva, C.T.L.L., Castro, J., Santos, E., Guedes, G., ...Finkelstein, A. (2012). STREAM-ADD - Supporting the Documentation of Architectural Design Decisions in an Architecture Derivation Process..
Di Martino, S., Ferrucci, F., Maggio, V., Sarro, F. (2012). Towards migrating genetic algorithms for test data generation to the cloud. In (pp. 113-135). .
Ferrucci, F., Sarro, F., Mendes, E. (2012). Web effort estimation: The value of cross-company data set compared to single-company data set.
Fitzgerald, C., Letier, E., Finkelstein, A. (2012). Early failure prediction in feature request management systems: An extended study. REQUIREMENTS ENGINEERING, 17 (2), 117-132. doi:10.1007/s00766-012-0150-7
Geronimo, L.D., Ferrucci, F., Murolo, A., Sarro, F. (2012). A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites..
Gold, N.E. (2012). A Framework to Evaluate the Adoption Potential of Interactive Performance Systems for Popular Music.
Gonzalez Beltran, A.N., Tagger, B., Finkelstein, A. (2012). Federated ontology-based queries over cancer data. BMC Bioinformatics, doi:10.1186/1471-2105-13-S1-S9
Gu, Z., Barr, E.T., Schleck, D., Su, Z. (2012). Reusing Debugging Knowledge via Trace-based Bug Search.
Gu, Z., Barr, E.T., Schleck, D., Su, Z. (2012). Reusing Debugging Knowledge via Trace-based Bug Search.
Harman, M. (2012). The role of artificial intelligence in software engineering. 2012 1st International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012 - Proceedings, 1-6. doi:10.1109/RAISE.2012.6227961
Harman, M., Burke, E., Clark, J.A., Yao, X. (2012). Dynamic adaptive search based software engineering. PROCEEDINGS OF THE ACM-IEEE INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT (ESEM'12), 1-8.
Harman, M., Langdon, W.B., Jia, Y., White, D.R., Arcuri, A., Clark, J.A. (2012). The GISMOE challenge: Constructing the pareto program surface using genetic programming to find better programs (Keynote Paper).
Harman, M., Mansouri, S.A., Zhang, Y. (2012). Search-based software engineering: Trends, techniques and applications. ACM COMPUTING SURVEYS, 45 (1), doi:10.1145/2379776.2379787
Hetherington, J., Sumner, T., Seymour, R.M., Li, L., Rey, M.V., Yamaji, S., ...Finkelstein, A. (2012). A composite computational model of liver glucose homeostasis. I. Building the composite model.. JOURNAL OF THE ROYAL SOCIETY INTERFACE, 9 (69), 689-700. doi:10.1098/rsif.2011.0141
Hindle, A., Barr, E.T., Su, Z., Gabel, M., Devanbu, P.T. (2012). On the naturalness of software..
Hristova, D., Mashhadi, A., Quattrone, G., Capra, L. (2012). Mapping community engagement with urban crowd-sourcing. AAAI Workshop - Technical Report, WS-12-04 14-19.
Jeavons, P., Petke, J. (2012). Local Consistency and SAT-Solvers.. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 43 329-351. doi:10.1613/jair.3531
Kargupta, S., Black, S. (2012). A Novel Approach for Service Performance Analysis and Forecast.. J. Web Eng., 11 146-176.
Küssner, M.B., Prior, H.M., Gold, N.E., Leech-Wilkinson, D. (2012). Getting the shapes “right” at the expense of creativity? How musicians’ and non-musicians’ visualizations of sound differ..
Langdon, W.B. (2012). Correlation of microarray probes give evidence for mycoplasma contamination in human studies.
Langdon, W.B. (2012). Genetic improvement of programs. Mendel, 605-610.
Langdon, W.B. (2012). Distilling GeneChips with Genetic Programming on the Emerald GPU supercomputer. SIGEvolution newsletter of the ACM Special Interest Group on Genetic and Evolutionary Computation, 6 (1), 15-21. doi:10.1145/2384697.2384699
Langdon, W.B. (2012). Initial experiences of the Emerald: e-Infrastructure South GPU supercomputer. Department of Computer Science, University College London .
Langdon, W.B. (2012). The Halting Problem in the Clear Light of Probability. Communications of the ACM, 55 (6), 6. doi:10.1145/2184319.2184321
Langdon, W.B., Harman, M. (2012). Genetically Improving 50000 Lines of C++. Department of Computer Science, University College London .
Lathia, N., Ahmed, S., Capra, L. (2012). Measuring the impact of opening the London shared bicycle scheme to casual users. TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 22 88-102. doi:10.1016/j.trc.2011.12.004
Lathia, N., Capra, L., Magliocchetti, D., De Vigili, F., Conti, G., De Amicis, R., ...Alexa, V. (2012). Personalizing Mobile Travel Information Services.
Lim, S.L., Finkelstein, A. (2012). StakeRare: Using Social Networks and Collaborative Filtering for Large-Scale Requirements Elicitation. IEEE Transactions on Software Engineering,
Lim, S.L., Harman, M., Susi, A. (2012). Using genetic algorithms to search for key stakeholders in large-scale software projects. 118-134. doi:10.4018/978-1-4666-2199-2.ch007
Mashhadi, A., Quattrone, G., Capra, L., Mooney, P. (2012). On the accuracy of urban crowd-sourcing for maintaining large-scale geospatial databases. WikiSym 2012 Conference Proceedings - 8th Annual International Symposium on Wikis and Open Collaboration, doi:10.1145/2462932.2462952
Mondal, M., Roy, C.K., Rahman, M.S., Saha, R.K., Krinke, J., Schneider, K.A. (2012). Comparative stability of cloned and non-cloned code: an empirical study..
Nguyen, C.D., Miles, S., Perini, A., Tonella, P., Harman, M., Luck, M. (2012). Evolutionary testing of autonomous software agents. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 25 (2), 260-283. doi:10.1007/s10458-011-9175-4
Pimentel, J., Castro, J., Santos, E., Finkelstein, A. (2012). Towards Requirements and Architecture Co-evolution..
Pimentel, J., Santos, E., Dermeval, D., Castro, J., Finkelstein, A. (2012). Towards Architectural Evolution through Model Transformations..
Porter, C., Sasse, M.A., Letier, E. (2012). Designing acceptable user registration processes for e-services.
Quercia, D., Capra, L., Crowcroft, J. (2012). The Social World of Twitter: Topics, Geography, and Emotions..
Quercia, D., Ellis, J., Capra, L., Crowcroft, J. (2012). Tracking "gross community happiness" from tweets..
Santos, E., Pimentel, J., Castro, J., Finkelstein, A. (2012). On the Dynamic Configuration of Business Process Models..
Sarro, F., Ferrucci, F., Gravino, C. (2012). Single and Multi Objective Genetic Programming for software development effort estimation..
Sarro, F., Martino, S.D., Ferrucci, F., Gravino, C. (2012). A further analysis on the use of Genetic Algorithm to configure Support Vector Machines for inter-release fault prediction..
Schöning, J., Rogers, Y., Bird, J., Capra, L., McCann, J.A., Prendergast, D., Sheridan, C. (2012). Intel Collaborative Research Institute - Sustainable Connected Cities..
Smith, C., Quercia, D., Capra, L. (2012). Anti-gravity Underground?.
Sumner, T., Hetherington, J., Seymour, R.M., Li, L., Varela Rey, M., Yamaji, S., ...Finkelstein, A. (2012). A composite computational model of liver glucose homeostasis. II. Exploring system behaviour.. JOURNAL OF THE ROYAL SOCIETY INTERFACE, 9 (69), 701-706. doi:10.1098/rsif.2011.0783
Tahat, L., Korel, B., Harman, M., Ural, H. (2012). Regression test suite prioritization using system models. SOFTWARE TESTING VERIFICATION & RELIABILITY, 22 (7), 481-506. doi:10.1002/stvr.461
Tahat, L., Korel, B., Harman, M., Ural, H. (2012). Regression test suite prioritization using system models. Software Testing Verification and Reliability, 22 (7), 481-506. doi:10.1002/stvr.461
Tonella, P., Marchetto, A., Nguyen, C.D., Jia, Y., Lakhotia, K., Harman, M. (2012). Finding the optimal balance between over and under approximation of models inferred from execution logs.
Vos, T., Tonella, P., Wegener, J., Harman, M., Prasetya, W., Ur, S. (2012). Testing of future internet applications running in the cloud. 305-321. doi:10.4018/978-1-4666-2536-5.ch014
2011
(2011). CIGPU 2011 Computational Intelligence on Consumer Games and Graphics Hardware.
(2011). Marine Requirements Elucidation and the Nature of Preliminary Ship Design. Transactions of the Royal Institution of Naval Architects Part A: International Journal of Maritime Engineering, 153 (Part A1), doi:10.3940/rina.ijme.2011.a1.202
Alshahwan, N., Harman, M. (2011). Automated web application testing using search based software engineering.
Androutsopoulos, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K., Li, Z. (2011). Model projection: Simplifying models in response to restricting the environment.
Baars, A., Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., Tonella, P., Vos, T. (2011). Symbolic Search-Based Testing.
Baars, A., Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., Tonella, P., Vos, T. (2011). Symbolic search-based testing. 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings, 53-62. doi:10.1109/ASE.2011.6100119
Bahsoon, R., Emmerich, W. (2011). Economics-driven Architecting for Non-functional Requirements in the Presence of Middleware. In Relating Software Requirements and Architectures. Springer.
Bencomo, N., Letier, E., Finkelstein, A., Whittle, J., Welsh, K. (2011). Foreword: 2nd workshop requirements@run.time. Proceedings of the 2011 2nd International Workshop on Requirements@Run.Time, RE@RunTime 2011, doi:10.1109/ReRunTime.2011.6046240
Bertolino, A., Harman, M. (2011). Message from the doctoral symposium chairs. SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering,
Beyer, H.-.G., Langdon, W.B. (2011). FOGA'11 - Proceedings of the 2011 ACM/SIGEVO Foundations of Genetic Algorithms XI: Preface. FOGA'11 - Proceedings of the 2011 ACM/SIGEVO Foundations of Genetic Algorithms XI, iii-iv.
Binkley, D.W., Harman, M., Lakhotia, K. (2011). FlagRemover: A Testability Transformation for Transforming Loop-Assigned Flags. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 20 (3), doi:10.1145/2000791.2000796
Boness, K., Finkelstein, A., Harrison, R. (2011). A method for assessing confidence in requirements analysis. INFORMATION AND SOFTWARE TECHNOLOGY, 53 (10), 1084-1096. doi:10.1016/j.infsof.2011.05.003
Bozkurt, M., Harman, M. (2011). Generating Realistic Inputs Using Web Services. London: Department of Computer Science.
Bozkurt, M., Harman, M. (2011). Automatically generating realistic test input from web services..
Bunyakiati, P., Finkelstein, A. (2011). Standards compliance testing for unified modelling language tools. IET SOFTWARE, 5 (2), 120-131. doi:10.1049/iet-sen.2010.0032
Chapman, C., Emmerich, W., Marquez, F.G., Clayman, S., Galis, A. (2011). Software Architecture Definition for On-demand Cloud Provisioning. Cluster Computing,
Clark, D., Giacobazzi, R., Mu, C. (2011). Foreword: programming language interference and dependence.. Mathematical Structures in Computer Science, 21 (6), 1109-1110. doi:10.1017/s0960129511000168
Clark, D.J., Mu, C. (2011). A Tool: Quantitative Analyser for Programs.
Danicic, S., Barraclough, R.W., Harman, M., Howroyd, J.D., Kiss, A., Laurence, M.R. (2011). A unifying theory of control dependence and its application to arbitrary program structures. THEORETICAL COMPUTER SCIENCE, 412 (49), 6809-6842. doi:10.1016/j.tcs.2011.08.033
Di Penta, M., Harman, M., Antoniol, G. (2011). The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical study. SOFTWARE-PRACTICE & EXPERIENCE, 41 (5), 495-519. doi:10.1002/spe.1001
Durillo, J.J., Zhang, Y., Alba, E., Harman, M., Nebro, A.J. (2011). A study of the bi-objective next release problem. EMPIRICAL SOFTWARE ENGINEERING, 16 (1), 29-60. doi:10.1007/s10664-010-9147-3
Dykiert, M., Gold, N.E. (2011). Support for Learning Synthesiser Programming.
Ferrucci, F., Gravino, C., Sarro, F. (2011). A Case Study on the Conversion of Function Points into COSMIC..
Ferrucci, F., Gravino, C., Sarro, F. (2011). How Multi-Objective Genetic Programming Is Effective for Software Development Effort Estimation?.
Ferrucci, F., Sarro, F., Ronca, D., Abrahao, S. (2011). A crawljax based approach to exploit traditional accessibility evaluation tools for ajax applications. In Information technology and innovation trends in organizations. (pp. 255-262). Physica-Verlag HD.
Finkelstein, A. (2011). Keynote: Engineering Challenges of New Business Models in Software.
Finkelstein, A. (2011). Ten Open Challenges at the Boundaries of Software Engineering and Information Systems..
Fitzgerald, C., Letier, E., Finkelstein, A. (2011). Early Failure Prediction in Feature Request Management Systems.
Gold, N. (2011). Knitting music and programming: Reflections on the frontiers of source code analysis.
Gold, N.E., Dannenberg, R.B. (2011). A Reference Architecture and Score Representation for Popular Music Human-Computer Music Performance Systems.
Gold, N.E., Krinke, J., Harman, M., Binkley, D. (2011). Cloning in Max/MSP Patches.
Gu, Z., Barr, E.T., Su, Z. (2011). BQL: capturing and reusing debugging knowledge..
Harman, M. (2011). The SBSE Approach to Automated Optimization of Verification and Testing..
Harman, M. (2011). Making the case for MORTO: Multi objective regression test optimization. Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, 111-114. doi:10.1109/ICSTW.2011.60
Harman, M. (2011). Refactoring as testability transformation. Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, 414-421. doi:10.1109/ICSTW.2011.38
Harman, M., Korel, B. (2011). Message from the program chairs. Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011, doi:10.1109/ICST.2011.5
Harman, M., McMinn, P., Souza, J.T.D., Yoo, S. (2011). Search Based Software Engineering: Techniques, Taxonomy, Tutorial..
Heaven, W., LETIER, E. (2011). Simulating and Optimising Design Decisions in Quantitative Goal Models.
Jennings, B., Finkelstein, A. (2011). Implicit Social Production: Utilising Socially Generated Data By-Products..
Jia, Y., Harman, M. (2011). An Analysis and Survey of the Development of Mutation Testing. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 37 (5), 649-678. doi:10.1109/TSE.2010.62
Krinke, J. (2011). Is cloned code older than non-cloned code?.
Küssner, M., Gold, N.E., Tidhar, D., Prior, H.M., Leech-Wilkinson, D. (2011). Synaesthetic Traces: Digital Acquisition of Musical Shapes.
Langdon, W.B. (2011). Elementary bit string mutation landscapes. FOGA'11 - Proceedings of the 2011 ACM/SIGEVO Foundations of Genetic Algorithms XI, 25-41. doi:10.1145/1967654.1967658
Langdon, W.B. (2011). Graphics Processing Units and Genetic Programming: An overview. Soft Computing, 15 1657-1669. doi:10.1007/s00500-011-0695-2
Langdon, W.B. (2011). Minimising Testing in Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (2011). Debugging CUDA.
Langdon, W.B. (2011). Performing with CUDA.
Langdon, W.B., Arno, M.J. (2011). More Mouldy Data: Virtual Infection of the Human Genome. London WC1E 6BT, UK .
Langdon, W.B., Arno, M.J. (2011). More Mouldy Data: Another mycoplasma gene jumps the silicon barrier into the human genome. ArXiv e-prints,
Langdon, W.B., Yoo, S., Harman, M. (2011). Non-Recursive Beam Search on GPU for Formal Concept Analysis. London WC1E 6BT, UK .
Lathia, N., Capra, L. (2011). How Smart is Your Smartcard? Measuring Travel Behaviours, Perceptions, and Incentives.
Lathia, N., Capra, L. (2011). Mining Mobility Data to Minimise Travellers' Spending on Public Transport.
Lathia, N., Quercia, D., Capra, L., Crowcroft, J. (2011). Recsys'11 workshop outline PeMA 2011: personalization in mobile applications..
Letier, E. (2011). Simulating and Optimizing Design Decisions in Goal-Oriented Requirements Models..
Lim, S.L., Damian, D., Finkelstein, A. (2011). StakeSource2.0: Using social networks of stakeholders to identify and prioritise requirements. 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 1022-1024.
Marchetto, A., Tiella, R., Tonella, P., Alshahwan, N., Harman, M. (2011). Crawlability metrics for automated web testing. International Journal on Software Tools for Technology Transfer, 13 (2), 131-149. doi:10.1007/s10009-010-0177-3
Martino, S.D., Ferrucci, F., Gravino, C., Sarro, F. (2011). Using Web Objects for Development Effort Estimation of Web Applications: A Replicated Study..
Martino, S.D., Ferrucci, F., Gravino, C., Sarro, F. (2011). A Genetic Algorithm to Configure Support Vector Machines for Predicting Fault-Prone Components..
Martino, S.D., Galiero, R., Giorio, C., Ferrucci, F., Sarro, F. (2011). A Matching-Algorithm based on the Cloud and Positioning Systems to Improve Carpooling..
Mashhadi, A., Ben Mokhtar, S., Capra, L. (2011). Fair Content Dissemination in Participatory DTNs. Elsevier Ad-Hoc Networks Journal,
Mashhadi, A., Capra, L. (2011). Priority Scheduling for Participatory Delay Tolerant Networks.
Mashhadi, A., Capra, L. (2011). Quality Control for Real-time Ubiquitous Crowdsourcing.
Mondal, M., Rahman, M.S., Saha, R.K., Roy, C.K., Krinke, J., Schneider, K.A. (2011). An empirical study of the impacts of clones in software maintenance.
Mu, C., Clark, D. (2011). A tool: Quantitative analyser for programs. Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011, 145-146. doi:10.1109/QEST.2011.25
Nguyen, C.D., Miles, S., Perini, A., Tonella, P., Harman, M., Luck, M. (2011). Evolutionary testing of autonomous software agents. Autonomous Agents and Multi-Agent Systems, 1-24.
Oh, J., Harman, M., Yoo, S. (2011). Transition coverage testing for Simulink/Stateflow models using messy genetic algorithms.
Petke, J., Jeavons, P. (2011). The Order Encoding: From Tractable CSP to Tractable SAT..
Praditwong, K., Harman, M., Yao, X. (2011). Software module clustering as a multi-objective search problem. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 37 (2), 264-282. doi:10.1109/TSE.2010.26
Quattrone, G., Capra, L., Ferrara, E., De Meo, P., Ursino, D. (2011). Effective Retrieval of Resources in Folksonomies Using a New Tag Similarity Measure.
Quattrone, G., Capra, L., Meo, P.D., Ferrara, E., Ursino, D. (2011). Effective retrieval of resources in folksonomies using a new tag similarity measure..
Quattrone, G., De Meo, P., Ferrara, E., Capra, L. (2011). Measuring Similarity in Large-scale Folksonomie.
Quattrone, G., Ferrara, E., Meo, P.D., Capra, L. (2011). Measuring Similarity in Large-scale Folksonomies..
Quercia, D., Ellis, J., Capra, L., Crowcroft, J. (2011). In the Mood for Being Influential on Twitter.
Quercia, D., Ellis, J., Capra, L., Crowcroft, J. (2011). In the Mood for Being Influential on Twitter..
Quercia, D., Ellis, J., Capra, L., Crowcroft, J. (2011). In the mood being influential on twitter mood. Proceedings - 2011 IEEE International Conference on Privacy, Security, Risk and Trust and IEEE International Conference on Social Computing, PASSAT/SocialCom 2011, 307-314. doi:10.1109/PASSAT/SocialCom.2011.27
Rahman, F., Posnett, D., Hindle, A., Barr, E., Devanbu, P. (2011). BugCache for inspections : Hit or miss?. SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering, 322-331. doi:10.1145/2025113.2025157
Ren, J., Harman, M., Di Penta, M. (2011). Cooperative co-evolutionary optimization of software project staff assignments and job scheduling. SEARCH BASED SOFTWARE ENGINEERING, 6956 127-+.
Rink, J., Spiro, N., Gold, N. (2011). Motive, gesture, and the analysis of performance. In Gritten, A., King, E. (Eds.), New Perspectives on Music and Gesture. (pp. 267-292). Routledge.
Sarro, F. (2011). Search-Based approaches for software development effort estimation.
Treude, C., Storey, M.-.A.D., Deursen, A.V., Begel, A., Black, S. (2011). Second international workshop on web 2.0 for software engineering: (Web2SE 2011)..
Treude, C., Storey, M.-.A.D., Deursen, A.V., Begel, A., Black, S. (2011). Workshop report from Web2SE 2011: 2nd international workshop on web 2.0 for software engineering.. ACM SIGSOFT Software Engineering Notes, 36 (5), 24-29. doi:10.1145/2020976.2020977
Veerappa, V., Letier, E. (2011). Clustering Stakeholders for Requirements Decision Making..
Veerappa, V., Letier, E. (2011). Understanding Clusters of Optimal Solutions in Multi-Objective Decision Problems.
Vos, T.E.J., Tonella, P., Wegener, J., Harman, M., Prasetya, W., Puoskari, E., Nir-Buchbinder, Y. (2011). Future Internet Testing with FITTEST..
Wassermann, B., Emmerich, W. (2011). Monere: Monitoring of Service Compositions for Failure Diagnosis.
YOO, S., Harman, M., Clark, D. (2011). FLINT: Fault Localisation using Information Theory. UK: Department of Computer Science, University College London.
Yoo, S., Harman, M., Ur, S. (2011). Highly Scalable Multi-Objective Test Suite Minimisation Using Graphics Card.
YOO, S., Harman, M., Ur, S. (2011). Highly Scalable Multi-Objective Test Suite Minimisation Using Graphics Card. UK: Department of Computer Science, University College London.
Zanardi, V., Capra, L. (2011). A Scalable Tag-based Recommender System for New Users of the Social Web.
Zanardi, V., Capra, L. (2011). Dynamic Updating of Online Recommender Systems via Feed-Forward Controllers.
Zhang, Y., Harman, M., Finkelstein, A., Afshin Mansouri, S. (2011). Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation. INFORMATION AND SOFTWARE TECHNOLOGY, 53 (7), 761-773. doi:10.1016/j.infsof.2011.02.001
Zhang, Y., Harman, M., Lim, S. (2011). Search Based Optimization of Requirements Interaction Management. London: Department of Computer Science.
2010
Abrah ao, S., De Marco, L., Ferrucci, F., Gravino, C., Sarro, F. (2010). A COSMIC measurement procedure for sizing web applications developed using the OO-H method.
Alshahwan, N., Jia, Y., Lakhotia, K., Fraser, G., Shuler, D., Tonella, P. (2010). AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation..
Amtoft, T., Androutsopoulos, K., Clark, D., Harman, M., Li, Z. (2010). An Alternative Characterization of Weak Order Dependence. Information Processing Letters., 110 939-943. doi:10.1016/j.ipl.2010.07.023
Bahsoon, R., Capra, L., Emmerich, W., Fayad, M.E. (2010). Special Issue on Software Architecture and Mobility.. Journal of Systems and Software, 83 (6), 883-884. doi:10.1016/j.jss.2010.02.035
Bahsoon, R., Capra, L., Emmerich, W., Fayad, M.E. (2010). Special Issue on Software Architecture and Mobility. Journal of Systems and Software, 83 (6), 883-884. doi:10.1016/j.jss.2010.02.035
Bahsoon, R., Capra, L., Emmerich, W., Fayad, M. (Eds.), (2010). Software Architecture and Mobility. Journal of Systems and Software, 83 (6),
Barraclough, R.W., Binkley, D., Danicic, S., Harman, M., Hierons, R.M., Kiss, A., ...Ouarbya, L. (2010). A trajectory-based strict semantics for program slicing. THEORETICAL COMPUTER SCIENCE, 411 (11-13), 1372-1386. doi:10.1016/j.tcs.2009.10.025
Barr, E., Bird, C. (2010). Evaluating Research Hypercriticality vs Radical Empiricism. COMMUNICATIONS OF THE ACM, 53 (11), 6.
Barr, E.T., Bird, C., Hyatt, E., Menzies, T., Robles, G. (2010). On the shoulders of giants..
Bencomo, N., Whittle, J., Sawyer, P., Finkelstein, A., Letier, E. (2010). Requirements reflection: requirements as runtime entities..
Bencomo, N., Whittle, J., Sawyer, P., Finkelstein, A., Letier, E. (2010). Requirements reflection: requirements as runtime entities..
Ben Mokhtar, S., McNamara, L., Capra, L. (2010). A Self-Organising Directory and Matching Service for Opportunistic Social Networking.
Binkley, D., Harman, M., Hassoun, Y., Islam, S., Li, Z. (2010). Assessing the impact of global variables on program dependence and dependence clusters. J. Syst. Softw., 83 96-107. doi:10.1016/j.jss.2009.03.038
Boreale, M., Clark, D., Gorla, D. (2010). A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis.
Buglione, L., Ferrucci, F., Gencel, C., Gravino, C., Sarro, F. (2010). Which COSMIC Base Functional Components are Significant in Estimating Web Application Development?: A Case Study.
Chapman, C., Emmerich, W., Marquez, F.G., Clayman, S., Galis, A. (2010). Elastic service definition in computational clouds.
Chapman, C., Emmerich, W., Márquez, F.G., Clayman, S., Galis, A. (2010). Software architecture definition for on-demand cloud provisioning..
Chapman, C., Emmerich, W., Marquez, F.G., Clayman, S., Galis, A. (2010). Software Architecture Definition for On-demand Cloud Provisioning.
Chapman, C., Emmerich, W., Márquez, G.F., Clayman, S., Galis, A. (2010). Software Architecture Definition for On-demand Cloud Provisioning.
Corazza, A., Martino, S.D., Ferrucci, F., Gravino, C., Sarro, F., Mendes, E. (2010). How effective is Tabu search to configure support vector regression for effort estimation?.
D'Ambrosio, P., Ferrucci, F., Sarro, F., Tucci, M. (2010). An Approach for the Development of DOOH-oriented Information Systems..
Dell'Amico, M., Capra, L. (2010). Dependable Filtering: Philosophy and Realizations. ACM TRANSACTIONS ON INFORMATION SYSTEMS, 29 (1), doi:10.1145/1877766.1877771
Del Prete, L., Capra, L. (2010). diffeRS: a Mobile Recommender Service.
Derderian, K., Hierons, R.M., Harman, M., Guo, Q. (2010). Estimating the feasibility of transition paths in extended finite state machines. AUTOMATED SOFTWARE ENGINEERING, 17 (1), 33-56. doi:10.1007/s10515-009-0057-9
Dubinsky, Y., Kruchten, P., Finkelstein, A., Bass, L., Chulani, S., Prikladnicki, R. (2010). Software Development Governance (SDG) Workshop..
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F. (2010). Using evolutionary based approaches to estimate software development effort.
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F. (2010). Estimating Software Development Effort using Tabu Search..
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F. (2010). Genetic programming for effort estimation: An analysis of the impact of different fitness functions.
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F., Mendes, E. (2010). Investigating Tabu Search for Web Effort Estimation..
Gold, N. (2010). Motivating Students in Software Engineering Group Projects: An Experience Report. Innovation in Teaching And Learning in Information and Computer Sciences (ITALICS), 9 10-19.
Gold, N., Krinke, J., Harman, M., Binkley, D. (2010). Issues in clone classification for dataflow languages.
González-Beltrán, A.N., Tagger, B., Finkelstein, A. (2010). Ontology-based Queries over Cancer Data..
Guy, G., Dunn, S., Gold, N. (2010). Capturing Visitor Experiences for Study and Preservation.
Gu, Z., Barr, E.T., Hamilton, D.J., Su, Z. (2010). Has the bug really been fixed?.
Harman, M. (2010). Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization.
Harman, M. (2010). Automated Patching Techniques: The Fix Is In. COMMUNICATIONS OF THE ACM, 53 (5), 108. doi:10.1145/1735223.1735248
Harman, M. (2010). The relationship between search based software engineering and predictive modeling..
Harman, M. (2010). Why Source Code Analysis and Manipulation will always be important. 2010 10TH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, 7-19. doi:10.1109/SCAM.2010.28
Harman, M., Jia, Y., Langdon, W.B. (2010). A manifesto for higher order mutation testing.
Harman, M., Kim, S.G., Lakhotia, K., McMinn, P., Yoo, S. (2010). Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem.
Harman, M., Mansouri, A. (2010). Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 36 (6), 737-741. doi:10.1109/TSE.2010.106
Harman, M., McMinn, P. (2010). A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 36 (2), 226-247. doi:10.1109/TSE.2009.71
Harman, M., Muccini, H., Schulte, W., Xie, T. (2010). 10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors..
Harman, M., Muccini, H., Schulte, W., Xie, T. (2010). 10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors..
Islam, S.S., Krinke, J., Binkley, D. (2010). Dependence cluster visualization.
Islam, S.S., Krinke, J., Binkley, D., Harman, M. (2010). Coherent dependence clusters.
Khalid Alzarouni, D.C., Tratt, L. (2010). Semantic Malware Detection. .
Krinke, J., Gold, N., Jia, Y., Binkley, D. (2010). Distinguishing copies from originals in software clones.
Krinke, J., Gold, N., Jia, Y., Binkley, D. (2010). Cloning and copying between GNOME projects.
Lakhotia, K., Harman, M., Gross, H. (2010). AUSTIN: A Tool for Search Based Software Testing for the C Language and Its Evaluation on Deployed Automotive Systems. Search Based Software Engineering (SSBSE), 2010 Second International Symposium on Search Based Software Engineering, 101 -110.
Lakhotia, K., McMinn, P., Harman, M. (2010). An empirical investigation into branch coverage for C programs using CUTE and AUSTIN..
Lakhotia, K., Tillmann, N., Harman, M., Halleux, J.D. (2010). FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution..
Langdon, W.B. (2010). 2-bit Flip Mutation Elementary Fitness Landscapes. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (2010). GPU Working Party: Slides presented at Dagstuhl.
Langdon, W.B., Graillet, O.S., Harrison, A.P. (2010). RNAnet a Map of Human Gene Expression.
Langdon, W.B., Gustafson, S.M. (2010). Genetic Programming and Evolvable Machines: ten years of reviews. Genetic Programming and Evolvable Machines, 11 321-338. doi:10.1007/s10710-010-9111-4
Langdon, W.B., Harman, M. (2010). Evolving a CUDA Kernel from an nVidia Template.
Langdon, W.B., Harman, M. (2010). Evolving gzip matches Kernel from an nVidia CUDA Template. London, WC2R 2LS, UK .
Langdon, W.B., Harman, M., Jia, Y. (2010). Efficient multi-objective higher order mutation testing with genetic programming. JOURNAL OF SYSTEMS AND SOFTWARE, 83 (12), 2416-2430. doi:10.1016/j.jss.2010.07.027
Langdon, W.B., McKay, R.I., Spector, L. (2010). Genetic Programming. In Gendreau, M., Potvin, J.-.Y. (Eds.), Handbook of Metaheuristics. (pp. 185-225). Springer.
Lathia, N., Froehlich, J., Capra, L. (2010). Mining Public Transport Usage For Personalised Intelligent Transport Systems.
Lathia, N., Hailes, S., Capra, L. (2010). Temporal Defences for Robust Recommendations.
Lo Giusto, G., Mashhadi, A., Capra, L. (2010). Folksonomy-based Reasoning for Content Dissemination in Mobile Settings.
Marchetto, A., Tiella, R., Tonella, P., Alshahwan, N., Harman, M. (2010). Crawlability metrics for automated web testing. International Journal on Software Tools for Technology Transfer, 1-19.
McMinn, P., Stevenson, M., Harman, M. (2010). Reducing qualitative human oracle costs associated with automatically generated test data. 1st International Workshop on Software Test Output Validation, STOV 2010, in Conjunction with the 2010 International Conference on Software Testing and Analysis, ISSTA 2010, 1-4. doi:10.1145/1868048.1868049
Papakos, P., Capra, L., Rosenblum, D. (2010). VOLARE: Context-Aware Adaptive Cloud Service Discovery for Mobile Systems.
Petke, J., Jeavons, P. (2010). Local Consistency and SAT-Solvers..
Poli, R., Vanneschi, L., Langdon, W.B., McPhee, N.F. (2010). Theoretical Results in Genetic Programming: The next ten years?. Genetic Programming and Evolvable Machines, 11 285-320. doi:10.1007/s10710-010-9110-5
Quercia, D., Ellis, J., Capra, L. (2010). Using Mobile Phones to Nurture Social Networks. IEEE PERVASIVE COMPUTING, 9 (3), 12-20. doi:10.1109/MPRV.2010.43
Rowsell, J., Camargo, R.D.S., Langdon, W.B., Stalteri, M.A., Harrison, A.P. (2010). Uncovering the Expression Patterns of Chimeric Transcripts Using Surveys of Affymetrix GeneChips. Journal of Integrative Bioinformatics, 7 137. doi:10.2390/biecoll-jib-2010-137
Sabetzadeh, M., Finkelstein, A., Goedicke, M. (2010). Viewpoints.. In Laplante, P.A. (Ed.), Encyclopedia of Software Engineering. (pp. 1318-1329). Taylor & Francis.
Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A. (2010). Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems..
Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A. (2010). Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems..
Skene, J., Raimondi, F., Emmerich, W. (2010). Service-Level Agreements for Electronic Services. IEEE Transactions on Software Engineering, 36 288-304. doi:10.1109/TSE.2009.55
Spiro, N., Gold, N.E., Rink, J. (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
Tang, E., Barr, E.T., Li, X., Su, Z. (2010). Perturbing numerical calculations for statistical analysis of floating-point program (in)stability..
Yoo, S., Harman, M. (2010). Regression testing minimization, selection and prioritization: a survey.. Software Testing, Verification, and Reliability, doi:10.1002/stvr.430
Yoo, S., Harman, M. (2010). Test Data Regeneration: Generating New Test Data from Existing Test Data. Journal of Software Testing, Verification and Reliability, doi:10.1002/stvr.435
Yoo, S., Harman, M. (2010). Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation. Journal of Systems Software, 83 689-701.
Zhang, Y., Alba, E., Durillo, J.J., Eldh, S., Harman, M. (2010). Today/Future importance analysis. Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation (GECCO '10), 1357-1364. doi:10.1145/1830483.1830733
Zhang, Y., Harman, M. (2010). Search Based Optimization of Requirements Interaction Management.
Zhao, R., Harman, M., Li, Z. (2010). Empirical study on the efficiency of search based test generation for EFSM models. ICSTW ’10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 222-231. doi:10.1109/ICSTW.2010.44
Zhao, R., Ma, C., Chen, M., Qian, Y., Dai, Y. (2010). The factors of inhibiting the development of children and youth fitness and health research in china.
Zirpins, C., Feuerlicht, G., Lamersdorf, W., Ortiz, G., Chung, Y.J., Emmerich, W., Johnson, R. (2010). 5th International Workshop on Engineering Service-Oriented Applications (WESOA 2009). .
2009
Aldecoa-Otalora, E., Langdon, W.B., Cunningham, P., Arno, M.J. (2009). Unexpected presence of mycoplasma probes on human microarrays. BioTechniques, 47 1013-1016. doi:10.2144/000113271
Alshahwan, N., Harman, M., Marchetto, A., Tonella, P. (2009). Improving web application testing using testability measures.
Androutsopoulos, K., Clark, D., Harman, M., Li, Z., Tratt, L. (2009). Control Dependence for Extended Finite State Machines.
Androutsopoulos, K., Gold, N., Harman, M., Li, Z., Tratt, L. (2009). A theoretical and empirical study of EFSM dependence.
Bahsoon, R., Emmerich, W. (2009). Architectural Stability.
Bao, C.H., Gold, N., Harman, M. (2009). Maintaining WS-BPEL Using Aspects.
Beco, S., Maraschini, A., Pacini, F., Biran, O., Breitgand, D., Meth, K., ...Tal, S. (2009). Cloud computing and RESERVOIR project.
Beco, S., Maraschini, A., Pacini, F., Biran, O., Breitgand, D., Meth, K., ...Tal, S. (2009). Cloud computing and RESERVOIR project. Nuovo Cimento della Societa Italiana di Fisica C, 32 (2), 98-103. doi:10.1393/ncc/i2009-10388-5
Ben Mokhtar, S., Capra, L. (2009). From Pervasive To Social Computing: Algorithms and Deployments.
Ben Mokhta, S., McNamara, L., Capra, L. (2009). A Middleware Service for Pervasive Social Networking.
Binkley, D., Harman, M. (2009). Identifying 'Linchpin Vertices' that Cause Large Dependence Clusters.
Bird, C., Barr, E., Nash, A., Devanbu, P., Filkov, V., Su, Z. (2009). Structure and dynamics of research collaboration in computer science.
Bird, C., Barr, E.T., Nash, A., Devanbu, P.T., Filkov, V., Su, Z. (2009). Structure and Dynamics of Research Collaboration in Computer Science..
Bird, C., Rigby, P.C., Barr, E.T., Hamilton, D.J., Germán, D.M., Devanbu, P.T. (2009). The promises and perils of mining git..
Black, S., Boca, P., Bowen, J.P., Gorman, J., Hinchey, M. (2009). Formal Versus Agile: Survival of the Fittest.. Computer, 42 (9), 37-45. doi:10.1109/mc.2009.284
Black, S., Counsell, S., Hall, T., Bowes, D. (2009). Fault Analysis in OSS Based on Program Slicing Metrics..
Bolchini, D., Finkelstein, A., Perrone, V., Nagl, S. (2009). Better bioinformatics through usability analysis. Bioinformatics, 25 (3), 406-412.
Bolchini, D., Finkestein, A., Paolini, P. (2009). Designing Usable Bio-Information Architectures. doi:10.1007/978-3-642-02583-9_71
Bunyakiati, P., Finkelstein, A. (2009). The Compliance Testing of Software Tools with respect to the UML standards specification - the ArgoUML case study.
Chen, L., Emmerich, W., Wassermann, B. (2009). Grid services orchestration with OMII-BPEL. In Grid Computing: Infrastructure, Service, and Applications. (pp. 191-222). .
Clark, D., Lano, K., Onunkun, T. (2009). An Information Flow Analysis of B Specifications and Refinements. .
DeFigueiredo, D.D.B., Barr, E.T., Wu, S.F. (2009). Trust Is in the Eye of the Beholder..
Ferrucci, F., Gravino, C., Oliveto, R., Sarro, F. (2009). Using Tabu Search to Estimate Software Development Effort..
Feuerlicht, G., Zirpins, C., Ortiz, G., Chung, Y.J., Lamersdorf, W., Emmerich, W. (2009). Third international workshop on engineering service-oriented applications: Analysis, design & composition.
Finkelstein, A. (2009). Models@run.time: commentary. COMPUTER, 42 (10), 25.
Finkelstein, A., Harman, M., Mansouri, S.A., Ren, J., Zhang, Y.Y. (2009). A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making. Requirements Engineering, 14 (4), 231-245.
Ghosheh, E., Black, S. (2009). WapMetrics: a tool for computing UML Design Metrics for Web Applications.
Gold, N. (2009). Service-Oriented Software in the Humanities: A Software Engineering Perspective. Digital Humanities Quarterly, 3
Gonzalez-Beltran, A.N., Finkelstein, A., Wilkinson, J.M., Kramer, J. (2009). Domain Concept-Based Queries for Cancer Research Data Sources.
Gueorguiev, S., Harman, M., Antoniol, G. (2009). Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering..
Harman, M. (2009). Message from the general chair. Proceedings - 1st International Symposium on Search Based Software Engineering, SSBSE 2009, doi:10.1109/SSBSE.2009.4
Harman, M., Binkley, D., Gallagher, K., Gold, N., Krinke, J. (2009). Dependence clusters in source code. ACM Transactions on Programming Languages and Systems (TOPLAS), 32 (1), 1-33. doi:10.1145/1596527.1596528
Harman, M., Binkley, D., Gallagher, K., Gold, N., Krinke, J. (2009). Dependence Clusters in Source Code. ACM Transactions on Programming Languages and Systems (TOPLAS), 32 (1), 1-33. doi:10.1145/1596527.1596528
Harman, M., Islam, F., Xie, T., Wappler, S. (2009). Automated Test Data Generation for Aspect-Oriented Programs.
Harman, M., Krinke, J., Ren, J., Yoo, S. (2009). Search based data sensitivity analysis applied to requirement engineering.
Harman, M., Li, Z., McMinn, P., Offutt, J., Clark, J. (2009). TAIC PART 2007 and Mutation 2007 special issue editorial. JOURNAL OF SYSTEMS AND SOFTWARE, 82 (11), 1753-1754. doi:10.1016/j.jss.2009.06.028
Harman, M., Mansouri, S.A., Zhang, Y. (2009). Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications. .
Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., ...Krause, P. (2009). Using Formal Specifications to Support Testing. ACM COMPUTING SURVEYS, 41 (2), doi:10.1145/1459352.1459354
Jansen, S., Finkelstein, A., Brinkkemper, S. (2009). A Sense of Community: A Research Agenda for Software Ecosystems.
Jennings, B., Finkelstein, A. (2009). Micro Workflow Gestural Analysis: representation in social business processes.
Jia, Y., Binkley, D., Harman, M., Krinke, J., Matsushita, M. (2009). KClone: A proposed approach to fast precise code clone detection.
Jia, Y., Harman, M. (2009). Higher Order Mutation Testing. INFORMATION AND SOFTWARE TECHNOLOGY, 51 (10), 1379-1393. doi:10.1016/j.infsof.2009.04.016
Lakhotia, K., McMinn, P., Harman, M. (2009). Automated Test Data Generation for Coverage: Haven’t We Solved This Problem Yet?. Testing: Academic and Industrial Conference - Practice and Research Techniques, 2009. TAIC PART ’09., 95 -104.
Langdon, W.B. (2009). Scaling of Program Functionality. Genetic Programming and Evolvable Machines, 10 5-36. doi:10.1007/s10710-008-9065-y
Langdon, W.B. (2009). A CUDA SIMT Interpreter for Genetic Programming. Strand, WC2R 2LS, UK .
Langdon, W.B. (2009). A Fast High Quality Pseudo Random Number Generator for nVidia CUDA.
Langdon, W.B., Harman, M., Jia, Y. (2009). Multi objective higher order mutation testing with GP..
Langdon, W.B., Harman, M., Jia, Y. (2009). Multi Objective Higher Order Mutation Testing with Genetic Programming.
Langdon, W.B., Harman, M., Jia, Y. (2009). Multi objective higher order mutation testing with genetic programming.
Langdon, W.B., Harrison, A.P. (2009). Evolving DNA motifs to Predict GeneChip Probe Performance. Algorithms in Molecular Biology, 4 doi:10.1186/1748-7188-4-6
Langdon, W.B., Rowsell, J., Harrison, A.P. (2009). Creating Regular Expressions as mRNA Motifs with GP to Predict Human Exon Splitting. Strand, London, WC2R 2LS, UK .
Langdon, W.B., Upton, G.J.G., Harrison, A.P. (2009). Probes containing runs of guanine provide insights into the biophysics and bioinformatics of Affymetrix GeneChips. Briefings in Bioinformatics, 10 259-277. doi:10.1093/bib/bbp018
Lathia, N., Hailes, S., Capra, L. (2009). Temporal Collaborative Filtering With Adaptive Neighbourhoods.
Lathia, N., Hailes, S., Capra, L. (2009). Evaluating Collaborative Filtering Over Time.
Mashhadi, A.J., Ben Mokhtar, S., Capra, L. (2009). Habit: Leveraging Human Mobility and Social Network for Efficient Content Dissemination in Delay Tolerant Networks.
McCusker, J.P., Phillips, J.A., Gonzalez-Beltran, A.N., Finkelstein, A., Krauthammer, M. (2009). Semantic web data warehousing for caGrid. BMC Bioinformatics, 10 (Suppl 10:S2), doi:10.1186/1471-2105-10-S10-S2
McMinn, P., Binkley, D., Harman, M. (2009). Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 18 (3), doi:10.1145/1525880.1525884
Mu, C., Clark, D. (2009). Automatically Compute Information Flow Quantity via Probabilistic Semantics. Journal of Information Systems Security, 5 47-85.
Mu, C., Clark, D. (2009). An Interval-based Abstraction for Quantifying Information Flow. Electr. Notes Theor. Comput. Sci., 253 119-141.
Mu, C., Clark, D. (2009). Quantitative Analysis of Secure Information Flow via Probabilistic Semantics.
Napolitano, G., Beltran, A.G., Fox, C., Marshall, A., Finkelstein, A., McCarron, P. (2009). Biomedical Ontologies And Grid Computing As New Resources for Cancer Registries.
Nguyen, C.D., Perini, A., Tonella, P., Miles, S., Harman, M., Luck, M. (2009). Evolutionary testing of autonomous software agents..
Nguyen, C.D., Perini, A., Tonella, P., Miles, S., Harman, M., Luck, M. (2009). Evolutionary testing of autonomous software agents. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 1 364-371.
Papakos, P., Rosenblum, D., Mukhija, A., Capra, L. (2009). VOLARE: Adaptive Web Service Discovery Middleware for Mobile Systems.
Quercia, D., Capra, L. (2009). FriendSensing: recommending friends using mobile phones..
Quercia, D., Capra, L. (2009). FriendSensing: Recommending Friends Using Mobile Phones.
Rochwerger, B., Breitgand, D., Levy, E., Galis, A., Nagin, K., Llorente, I.M., ...Cáceres, J. (2009). The Reservoir model and architecture for open federated cloud computing. IBM Journal of Research and Development, 53 (4), doi:10.1147/JRD.2009.5429058
Rochwerger, B., Breitgand, D., Levy, E., Galis, A., Nagin, K., Llorente, I.M., ...Cáceres, J.A. (2009). The Reservoir model and architecture for open federated cloud computing..
Rochwerger, B., Breitgand, D., Levy, E., Galis, A., Nagin, K., Llorente, L., ...Caceres, J. (2009). The RESERVOIR Model and Architecture for Open Federated Cloud Computing. IBM Journal of Research and Development, 53 Paper 4.
Rochwerger, B., GALIS, A., Breitgand, D., Levy, E., Cáceres, J., Llorente, I.M., ...Emmerich, W. (2009). Design for Future Internet Service Infrastructures. In Tselentis, G. (Ed.), Towards the future internet. IOS Press Inc.
Yoo, S., Harman, M. (2009). Regression Testing Minimisation, Selection and Prioritisation - A Survey. .
Yoo, S., Harman, M., Tonella, P., Susi, A. (2009). Clustering Test Cases to Achieve Effective & Scalable Prioritisation Incorporating Expert Knowledge.
Yoo, S., Harman, M., Ur, S. (2009). Measuring and Improving Latency to Avoid Test Suite Wear Out.
Zirpins, C., Emmerich, W. (2009). Pattern-based e-service modelling for virtual service enterprises. Service Oriented Computing and Applications, 3 (1), 65-98. doi:10.1007/s11761-009-0039-6
Zirpins, C., Ortiz, G., Chung, Y.J., Emmerich, W. (2009). Introduction: Fourth international workshop on engineering service-oriented applications (WESOA 2008). .
2008
(2008). Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers.
Arteaga-Salas, J.M., Zuzan, H., Langdon, W.B., Upton, G.J.G., Harrison, A.P. (2008). An overview of image-processing methods for Affymetrix GeneChips. Briefings in Bioinformatics, 9 25-33. doi:10.1093/bib/bbm055
Bahsoon, R., Emmerich, W. (2008). An Example on Realizing Economics-Driven Software Mining.
Bahsoon, R., Emmerich, W. (2008). An economics-driven approach for valuing scalability in distributed architectures.
Bahsoon, R., Emmerich, W. (2008). An example on economics-driven software mining.
Bertolino, A., Emmerich, W., Inverardi, P., Issarny, V., Liotopoulos, F., Plaza, P. (2008). PLASTIC: Providing Lightweight & Adaptable Service Technology for Pervasive Information & Communication.
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. (2008). Evaluating Key Statements Analysis.
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. (2008). An empirical study of the relationship between the concepts expressed in source code and dependence. Journal of Systems and Software, 81 2287-2298. doi:10.1016/j.jss.2008.04.007
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. (2008). An empirical study of the relationship between the concepts expressed in source code and dependence. Journal of Systems and Software, 81 2287-2298. doi:10.1016/j.jss.2008.04.007
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K., Wegener, J. (2008). Dependence Anti Patterns.
Black, S. (2008). Deriving an approximation algorithm for automatic computation of ripple effect measures. INFORMATION AND SOFTWARE TECHNOLOGY, 50 (7-8), 723-736. doi:10.1016/j.infsof.2007.07.008
Boness, K., Finkelstein, A., Harrison, R. (2008). A Lightweight Technique for Assessing Risks in Requirements Analysis. IET Software, 2 (1), 46-57.
Bunyakiati, P., Finkelstein, A., Skene, J., Chapman, C. (2008). Using JULE to Generate a Compliance Test Suite for the UML Standard.
Bunyakiati, P., Finkelstein, A., Skene, J., Chapman, C. (2008). Using JULE to generate a compliance test suite for the UML standard.
Capra, L., Bahsoon, R., Emmerich, W., Fayad, M.E. (2008). International Workshop on Software Architectures and Mobility. New York, NY, USA: ACM.
Capra, L., Bahsoon, R., Emmerich, W., Fayad, M.E. (2008). The International Workshop on Software Architectures and Mobility (SAM 2008).
Capra, L., Bahsoon, R., Emmerich, W., Fayad, M.E. (2008). 30th International Conference on Software Engineering, ICSE 2008 Co-located Workshops - Proceedings of the 1st International Workshop on Software Architectures and Mobility, SAM'08: Foreword.
Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., ...Cukic, B. (2008). Software Engineering for Self-Adaptive Systems: A Research Roadmap.
Clark, D., Hunt, S. (2008). Non-Interference for Deterministic Interactive Programs.
Dell'Amico, M., Capra, L. (2008). SOFIA: Social Filtering for Robust Recommendations.
Del Prete, L., Capra, L. (2008). Reliable Discovery and Selection of Composite Services in Mobile Environments.
Del Prete, L., Capra, L. (2008). MoSCA: Service Composition in Mobile Environments.
Del Prete, L., Capra, L. (2008). MoSCA: Reliable Execution of Mobile Composite Services.
Di Lucca, G.A., Gold, N., Visaggio, G. (2008). Guest Editor's Introduction: 10th Conference on Software Maintenance and Reengineering. Journal of Systems and Software, 81 (4), 461-462. doi:10.1016/j.jss.2007.06.001
Di Penta, M., Antoniol, G., Harman, M. (2008). Special Issue on Search-Based Software Maintenance. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 20 (5), 317-319. doi:10.1002/smr.395
Duboc, L., Letier, E., Rosenblum, D.S., Wicks, T. (2008). A Case Study in Eliciting Scalability Requirements.
Egyed, A., Letier, E., Finkelstein, A. (2008). Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models.
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.
Ghosheh, E., Black, S., Qaddour, J. (2008). An Industrial Study Using UML Design Metrics for Web Applications.. In Lee, R.Y., Kim, H.-.K. (Eds.), Computer and Information Science. (pp. 231-241). Springer.
Ghosheh, E., Black, S., Qaddour, J. (2008). Design metrics for web application maintainability measurement..
Harbird, R., Ahmed, M., Finkelstein, A., McKinney, E., Burroughs, A. (2008). Privacy Impact Assessment with PRAIS. Proceedings of the 8th Privacy Enhancing Technologies Symposium (PETS 2008),
Harbird, R., Finkelstein, A., Hailes, S., McKinney, E., Jeyarajah-Dent, R. (2008). PRAIS - PRivacy impact Analysis for Information Sharing.
Harman, M. (2008). Open problems in testability transformation. 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08, 196-209. doi:10.1109/ICSTW.2008.30
Harman, M., Alshahwan, N. (2008). Automated Session Data Repair for Web Application Regression Testing..
Harman, M., Baresel, A., Binkley, D.W., Hierons, R.M., Hu, L., Korel, B., ...Roper, M. (2008). Testability Transformation - Program Transformation to Improve Testability..
Harman, M., Li, Z., McMinn, P. (2008). Editorial: Testing practice and research. SOFTWARE TESTING VERIFICATION & RELIABILITY, 18 (2), 69-70. doi:10.1002/stvr.383
Harrison, A.P., Rowsell, J., Camargo, R.D.S., Langdon, W.B., Stalteri, M., Upton, G.J.G., Arteaga-Salas, J.M. (2008). The use of Affymetrix GeneChips as a tool for studying alternative forms of RNA. Biochemical Society Transactions, 36 511-513. doi:10.1042/BST0360511
Jansen, S., Brinkkemper, S., Finkelstein, A. (2008). Component Assembly Mechanisms and Relationship Intimacy in a Software Supply Network.
Jennings, B., Finkelstein, A. (2008). Service Chain Management: technology innovation for service business, Flexible Workflows. In Voudouris, C., Owusu, G., Dorne, R., Lesaint, D. (Eds.), (pp. 171-185-). Springer.
Jennings, B., Finkelstein, A. (2008). Flexible Workflows. In Service Chain Management: technology innovation for service business. (pp. 171-185). Springer.
Jennings, B., Finkelstein, A. (2008). Flexible Workflows: Reputation-based Message Routing.
Jennings, B., Finkelstein, A. (2008). Digital Identity and Reputation in the Context of a Bounded Social Ecosystem.
Jiang, T., Gold, N., Harman, M., Li, Z. (2008). Locating dependence structures using search-based slicing. Information and Software Technology, 50 1189-1209. doi:10.1016/j.infsof.2007.11.001
Jiang, T., Gold, N., Harman, M., Li, Z. (2008). Locating dependence structures using search-based slicing. Information and Software Technology, 50 1189-1209. doi:10.1016/j.infsof.2007.11.001
Jiang, T., Harman, M., Hassoun, Y. (2008). Analysis of Procedure Splitability.
Jia, Y., Harman, M. (2008). Constructing Subtle Faults Using Higher Order Mutation Testing.
Jia, Y., Harman, M. (2008). MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language.
Krinke, J. (2008). Is cloned code more stable than non-cloned code?.
Krinke, J. (2008). Mining execution relations for crosscutting concerns. IET Software, 2 (2), 65-78. doi:10.1049/iet-sen:20070005
Krinke, J. (2008). Advanced slicing of sequential and concurrent programs. Saarbrücken, Germany: VDM Verlag Dr. Müller.
Lakhotia, K., Harman, M., McMinn, P. (2008). Handling dynamic data structures in search based testing..
Langdon, W.B. (2008). Genetic Programming for Drug Discovery. Wivenhoe Park, Colchester CO4 3SQ, UK .
Langdon, W.B. (2008). A Field Guide to Genetic Programing(Summary for Wyvern).
Langdon, W.B. (2008). Row Quantile Normalisation of Microarrays. Colchester, CO4 3SQ, UK .
Langdon, W.B. (2008). Gene breakdown. Wyvern,
Langdon, W.B. (2008). A Map of Human Gene Expression. Colchester, CO4 3SQ, UK .
Langdon, W.B., Banzhaf, W. (2008). Repeated Patterns in Genetic Programming. Natural Computing, 7 589-613. doi:10.1007/s11047-007-9038-8
Langdon, W.B., Harrison, A.P. (2008). GP on SPMD parallel Graphics Hardware for mega Bioinformatics Data Mining. Soft Computing, 12 1169-1183. doi:10.1007/s00500-008-0296-x
Langdon, W.B., Harrison, A.P. (2008). Evolving Regular Expressions for GeneChip Probe Performance Prediction. University of Essex, Wivenhoe Park, Colchester CO4 3SQ, UK .
Langdon, W.B., Poli, R. (2008). Mapping Non-conventional Extensions of Genetic Programming. Natural Computing, 7 21-43. doi:10.1007/s11047-007-9044-x
Langdon, W.B., Poli, R., Banzhaf, W. (2008). An Eigen Analysis of the GP Community. Genetic Programming and Evolvable Machines, 9 171-182. doi:10.1007/s10710-008-9060-3
Langdon, W.B., Poli, R., McPhee, N.F., Koza, J.R. (2008). Genetic Programming: An Introduction and Tutorial, with a Survey of techniques and Applications. In Fulcher, J., Jain, L.C. (Eds.), Computational Intelligence: A Compendium. (pp. 927-1028). Springer-Verlag.
Lano, K., Clark, D. (2008). Semantics and Refinement of Behaviour State Machines.
Lano, K., Clark, D. (2008). Model Transformation Specification and Verification.
Lathia, N., Hailes, S., Capra, L. (2008). kNN CF: A Temporal Social Network.
Lathia, N., Hailes, S., Capra, L. (2008). Trust Based Collaborative Filtering.
Lathia, N., Hailes, S., Capra, L. (2008). The Effect of Correlation Coefficients on Communities of Recommenders.
Letier, E., Kramer, J., Magee, J., Uchitel, S. (2008). Deriving event-based transition systems from goal-oriented requirements models. Automated Software Engineering, 15 (2), 175-206. doi:10.1007/s10515-008-0027-7
Maule, A., Emmerich, W., Rosenblum, D.S. (2008). Impact Analysis of Database Schema Changes.
McNamara, L., Mascolo, C., Capra, L. (2008). Media Sharing based on Colocation Prediction in Urban Transport.
Mens, K., Kellens, A., Krinke, J. (2008). Pitfalls in aspect mining.
Quercia, D., Capra, L., Zanardi, V. (2008). Selecting Trustworthy Content Using Tags (Invited Paper).
Quercia, D., Capra, L., Zanardi, V. (2008). Selecting trustworthy content using tags.
Quercia, D., Hailes, S., Capra, L. (2008). MobiRate: Making Mobile Raters Stick to their Word.
Raimondi, F., Skene, J., Emmerich, W. (2008). Efficient Online Monitoring of Web-Service SLAs.
Sama, M., Raimondi, F., Rosenblum, D., Emmerich, W. (2008). Algorithms for Efficient Symbolic Detection of Faults in Context-Aware Applications.
Sanchez-Graillet, O., Rowsell, J., Langdon, W.B., Stalteri, M.A., Salas, J.M.A., Upton, G.J.G., Harrison, A.P. (2008). Widespread existence of uncorrelated probe intensities from within the same probeset on Affymetrix GeneChips. Journal of Integrative Bioinformatics, 5 98. doi:10.2390/biecoll-jib-2008-98
Spiro, N., Gold, N., Rink, J. (2008). Plus ça change: analyzing performances of Chopin’s Mazurka Op. 24 No. 2.
Upton, G.J.G., Langdon, W.B., Harrison, A.P. (2008). G-spots cause incorrect expression measurement in Affymetrix microarrays. BMC Genomics, 9 613. doi:10.1186/1471-2164-9-613
Yan, L., Hailes, S., Capra, L. (2008). Analysis of packet relaying models and incentive strategies in wireless ad hoc networks with game theory.
Yoo, S., Harman, M. (2008). Test data augmentation: generating new test data from existing test data. .
Zanardi, V., Capra, L. (2008). Social Ranking: Uncovering Relevant Content Using Tag-based Recommender Systems.
Zanardi, V., Capra, L. (2008). Social Ranking: Finding Relevant Content in Web 2.0.
Zhang, Y., Finkelstein, A., Harman, M. (2008). Search Based Requirements Optimisation: Existing Work & Challenges.
Zhang, Y., Finkelstein, A., Harman, M. (2008). Search based requirements optimisation: Existing work and challenges.
Zirpins, C., Emmerich, W. (2008). An E-Service SOA Model for Virtual Service Enterprises.
Zirpins, C., Emmerich, W. (2008). A reference model of virtual service production networks. Service Oriented Computing and Applications, 2 (2-3), 145-166. doi:10.1007/s11761-008-0025-4
2007
(2007). .
Bahsoon, R., Emmerich, W. (2007). Economics-driven software mining.
Barr, E.T., Bishop, M., Gondree, M.A. (2007). Fixing federal e-voting standards.. COMMUNICATIONS OF THE ACM, 50 (3), 19-24. doi:10.1145/1226736.1226754
Bellon, S., Koschke, R., Antoniol, G., Krinke, J., Merlo, E. (2007). Comparison and evaluation of clone detection tools. IEEE Transactions on Software Engineering, 33 (9), 577-591. doi:10.1109/TSE.2007.70725
Binkley, D., Gold, N., Harman, M. (2007). An empirical study of static program slice size. ACM Transactions on Software Engineering and Methodology (TOSEM), 16
Binkley, D., Harman, M., Krinke, J. (2007). Empirical study of optimization techniques for massive slicing. ACM Transactions on Programming Languages and Systems (TOPLAS), 30 (1), doi:10.1145/1290520.1290523
Bouillon, P., Krinke, J., Meyer, N., Steimann, F. (2007). EZUNIT: a framework for associating failed unit tests with potential programming errors.
Bunyakiati, P., Finkelstein, A., Rosenblum, D. (2007). The Certification of Software Tools with Respect to Software Standards.
Capra, L. (2007). MaLM: Machine Learning Middleware to Tackle Ontology Heterogeneity.
Chapman, C., Musolesi, M., Emmerich, W., Mascolo, C. (2007). Predictive Resource Scheduling in Computational Grids.
Chapman, C., Musolesi, M., Emmerich, W., Mascolo, C. (2007). Predictive Resource Scheduling in Computational Grids.
Clark, D., Danicic, S., Giacobazzi, R. (2007). Special issue on Programming Language Interference and Dependence. J. Log. Algebr. Program., 72 123.
Clark, D., Hunt, S. (2007). Non-Interference For Interactive Programs.
Clark, D., Hunt, S., Malacaria, P. (2007). A Static Analysis for Quantifying Information Flow in a Simple Imperative Language. Journal of Computer Security, 15 321-372.
Crandall, J.R., Zinn, D., Byrd, M., Barr, E.T., East, R. (2007). ConceptDoppler: a weather tracker for internet censorship..
Danicic, S., Harman, M., Hierons, R., Howroyd, J., Laurence, M.R. (2007). Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. THEORETICAL COMPUTER SCIENCE, 373 (1-2), 1-18. doi:10.1016/j.tcs.2006.10.001
Danicic, S., Harman, M., Howroyd, J., Ouarbya, L. (2007). A non-standard semantics for program slicing and dependence analysis. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 72 (2), 191-206. doi:10.1016/j.jlap.2007.02.010
Di Chio, C., Agapitos, A., Cagnoni, S., Cotta, C., De Vega, F.F., Di Caro, G., ...Farooq, M. (2007). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. 4580 LNCS
Dingwall-Smith, A., Finkelstein, A. (2007). Checking Complex Compositions of Web Services Against Policy Constraints.
Di Penta, M., Harman, M., Antoniol, G., Qureshi, F. (2007). The effect of communication overhead on software maintenance project staffing: a search-based approach.
Dunn, S., Gold, N., Hughes, L. (2007). CHIMERA: A Service Oriented Computing Approach for Archaeological Research.
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., Aoyama, M., Sventek, J. (2007). The impact of research on middleware technology.
Finkelstein, A. (2007). Modelling-in-the-Large..
Foster, H., Emmerich, W., Kramer, J., Magee, J., Rosenblum, D., Uchitel, S. (2007). Model checking service compositions under resource constraints.
Gallagher, K.B., Hall, T., Black, S. (2007). Reducing Regression Test Size by Exclusion..
Guo, Q., Hierons, R.A., Harman, M., Derderian, K. (2007). Heuristics for fault diagnosis when testing from finite state machines. SOFTWARE TESTING VERIFICATION & RELIABILITY, 17 (1), 41-57. doi:10.1002/stvr.352
Harman, M. (2007). The current state and future of search based software engineering.
Harman, M. (2007). Search based software engineering for program comprehension.
Harman, M. (2007). Automated Test Data Generation using Search Based Software Engineering..
Harman, M. (2007). A message from the TAIC PART 2007 and mutation 2007 general chair. Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007, doi:10.1109/TAICPART.2007.4344089
Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., Wegener, J. (2007). The impact of input domain reduction on search-based test data generation..
Harman, M., Lakhotia, K., McMinn, P. (2007). A Multi-Objective Approach To Search-Based Test Data Generation.
Harman, M., McMinn, P. (2007). A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation..
Harman, M., Tratt, L. (2007). Pareto Optimal Search Based Refactoring at the Design Level.
Hetherington, J., Bogle, I.D.L., Saffrey, P., Margoninski, O., Li, L., Varela Rey, M., ...Page, K. (2007). Addressing the challenges of multiscale model management in systems biology.
Jansen, S., Brinkkemper, S., Finkelstein, A. (2007). Providing Transparency In The Business Of Software: A Modeling Technique For Software Supply Networks.
Jansen, S., Finkelstein, A., Brinkkemper, S. (2007). Analyzing the Business of Software: A Modelling Technique for Software Supply Networks.
Krinke, J. (2007). Changes to code clones in evolving software.
Krinke, J. (2007). Information flow and taint analysis with dependence graphs.
Krinke, J. (2007). Statement-level cohesion metrics and their visualization.
Krinke, J. (2007). A study of consistent and inconsistent changes to code clones.
Langdon, W.B. (2007). A SIMD interpreter for Genetic Programming on GPU Graphics Cards. Colchester, UK .
Langdon, W.B. (2007). The Cg Tutorial, Fernando and Kilgard, Addison-Wesley nVidia ISBN 0-321-19496-9. Computer Graphics Forum, 26 853.
Langdon, W.B. (2007). PRNG Random Numbers on GPU. University of Essex Wivenhoe Park, Colchester CO4 3SQ, UK .
Langdon, W.B., Poli, R. (2007). Evolving Problems to Learn about Particle Swarm Optimisers and other Search Algorithms. IEEE Transactions on Evolutionary Computation, 11 561-578. doi:10.1109/TEVC.2006.886448
Lano, K., Clark, D. (2007). Direct Semantics of Extended State Machines. Journal of Object Technology, 6 35-51.
Lathia, N., Hailes, S., Capra, L. (2007). Private Distributed Collaborative Filtering using Estimated Concordance Measures.
Li, Z., Harman, M., Hierons, R.M. (2007). Search algorithms for regression test case prioritization. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 33 (4), 225-237. doi:10.1109/TSE.2007.38
Mahdavi, K., Gold, N., Li, Z., Harman, M. (2007). Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding..
Mattmann, C., Perrone, V., Kelly, S., Crichton, D., Finkelstein, A., Medvidovic, N. (2007). A Reference Framework for Requirements and Architecture in Biomedical Grid Systems.
McNamara, L., Mascolo, C., Capra, L. (2007). Content source selection in Bluetooth networks.
Penta, M.D., Harman, M., Antoniol, G., Qureshi, F. (2007). The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach..
Perrone, V., Finkelstein, A. (2007). Analyzing requirements for a large scale system for cancer research.
Poli, R., Langdon, W.B., McPhee, N.F., Koza, J.R. (2007). Genetic Programming An Introductory Tutorial and a Survey of Techniques and Applications. UK .
Quercia, D., Hailes, S., Capra, L. (2007). TRULLO - local trust bootstrapping for ubiquitous devices.
Quercia, D., Hailes, S.M., Capra, L. (2007). Lightweight Distributed Trust Propagation.
Saffrey, P., Margoninski, O., Hetherington, J., Varela-Rey, M., Yamaji, S., Finkelstein, A., ...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
Skene, J., Skene, A., Crampton, J., Emmerich, W. (2007). The Monitorability of Service-Level Agreements for Application-Service Provision.
Spiro, N., Gold, N., Rink, J. (2007). Performance motives: analysis and comparison of performance timing repetitions using pattern matching and Formal Concept Analysis.
Spiro, N., Gold, N., Rink, J. (2007). In Search of Motive: Identification of Repeated Patterns in Performance and Their Structural Context.
Sun, Z., Finkelstein, A.C.F., Ashmore, J. (2007). Using Ontology with Semantic Web Services to Support Modeling in Systems Biology.
Tomassini, M., Luthi, L., Giacobini, M., Langdon, W.B. (2007). The Structure of the Genetic Programming Collaboration Network. Genetic Programming and Evolvable Machines, 8 97-103. doi:10.1007/s10710-006-9018-2
Wassermann, B., Emmerich, W. (2007). Reliable Scientific Service Compositions. In Workshop Proceedings of the 4th Int. Conf. on Service Oriented Computing (ICSOC 2006), Chicago, IL. (pp. 14-25). Springer.
Wassermann, B., Emmerich, W., Butchart, B., Cameron, N., Chen, L., Patel, J. (2007). Sedna: A BPEL-based environment for visual scientific workflow modelling. In Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M. (Eds.), Workflows for e-Science. (pp. 428-449). Springer.
Yoo, S., Harman, M. (2007). Pareto Efficient Multi-Objective Test Case Selection.
Zachariadis, S., Lad, M., Mascolo, C., Emmerich, W. (2007). Building adaptable mobile middleware services using logical mobility techniques. Studies in Computational Intelligence, 42 3-26. doi:10.1007/978-3-540-44910-2_1
Zhang, Y., Harman, M., Mansouri, S.A. (2007). The Multi-Objective Next Release Problem.
2006
(2006). Beyond Program Slicing, 06.11. - 11.11.2005.
Antoniol, G., Krinke, J., Tonella, P. (2006). Special issue on Source code analysis and manipulation. SCI COMPUT PROGRAM, 62 (3), 205-208. doi:10.1016/j.scico.2006.04.009
Bahsoon, R., Emmerich, W. (2006). Requirements for evaluating architectural stability.
Baker, P., Harman, M., Steinhofel, K., Skaliotis, A. (2006). Search based approaches to component selection and prioritization for the next release problem.
Berman, L., Danicic, S., Gallagher, K., Gold, N. (2006). The sound of software: Using sonification to aid comprehension.
Bindraban, P., Van Keulen, H., Warner, J. (2006). Guest editorial. INTERNATIONAL JOURNAL OF WATER RESOURCES DEVELOPMENT, 22 (1), 1-2. doi:10.1080/07900620500405064
Binkley, D., Ceccato, M., Harman, M., Ricca, F., Tonella, P. (2006). Tool-supported refactoring of existing object-oriented code into aspects.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Korel, B. (2006). Theoretical foundations of dynamic program slicing.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Korel, B. (2006). A formalisation of the relationship between forms of program slicing.
Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. (2006). An Empirical Study of Executable Concept Slice Size.
Binkley, D., Harman, M., Krinke, J. (2006). Characterising, explaining, and exploiting the approximate nature of static analysis through animation.
Binkley, D.W., Danicic, S., Harman, M., Howroyd, J., Ouarbya, L. (2006). A formal relationship between program slicing and partial evaluation. FORMAL ASPECTS OF COMPUTING, 18 (2), 103-119. doi:10.1007/s00165-005-0077-6
Binkley, D.W., Danicic, S., Harman, M., Howroyd, J., Ouarbya, L. (2006). A formal relationship between program slicing and partial evaluation..
BLACK, S. (2006). The Role of Ripple Effect in Software Evolution. In Madhavji, N.H. (Ed.), Software evolution and feedback. (pp. 249-268). Wiley.
Black, S. (2006). Is ripple effect intuitive? A pilot study.. Innovations in Systems and Software Engineering, 2 (2), 88-98. doi:10.1007/s11334-006-0004-x
Brebner, P., Emmerich, W. (2006). Two ways to Grid: The contribution of Open Grid Services Architecture (OGSA) mechanisms to service-centric and resource-centric lifecycles. Journal of Grid Computing, 4 (1), 115-131. doi:10.1007/s10723-005-9008-2
Brereton, O.P., Gold, N.E., Budgen, D., Bennett, K.H., Mehandjiev, N.D. (2006). Service-Based Systems: A systematic review of issues. School of Computing and Mathematics, Keele University.
Capra, L., Musolesi, M. (2006). Autonomic trust prediction for pervasive systems.
Chapman, C., Walker, A.M., Calleja, M., Bruin, R.P., Dove, M.T., Emmerich, W.G. (2006). Simple Grid Access using the Business Process Execution Language.
Chen, L., Wassermann, B., Emmerich, W., Foster, H. (2006). Web service orchestration with BPEL.
Dean, T., Harman, M., Koschke, R., Van De Vanter, M. (2006). Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop. JOURNAL OF SYSTEMS AND SOFTWARE, 79 (9), 1217-1218. doi:10.1016/j.jss.2006.02.039
Derderian, K., Hierons, R.M., Harman, M., Guo, Q. (2006). Automated unique input output sequence generation for conformance testing of FSMs. COMPUTER JOURNAL, 49 (3), 331-344. doi:10.1093/comjnl/bxl003
Derrick, J., Harman, M., Hierons, R.M. (2006). Guest editorial. FORMAL ASPECTS OF COMPUTING, 18 (1), 1-2. doi:10.1007/s00165-005-0087-4
Derrick, J., Harman, M., Hierons, R.M. (2006). Formal Aspects of Computing: Guest Editorial. Formal Aspects of Computing, 18 (1), 1-2. doi:10.1007/s00165-005-0087-4
Dove, M.T., White, T.O.H., Walker, A.M., Bruin, R.P., Austen, K.F., Artacho, E., ...Tyer, R.P. (2006). Computational Grids for Mid-Sized Collaborative Projects: The eMinerals Experience.
Du, Z., Alexandrov, V.N., Alfredsson, M., Artacho, E., Austen, K.F., Bennett, N.D., ...CRA, C. (2006). A virtual research organization enabled by eMinerals minigrid: an integrated study of the transport and immobilisation of arsenic species in the environment.
Emmerich, W. (2006). Managing Web service quality.
Finkelstein, A., Lewis-Bowen, J., Piccinelli, G., W...E.m.m.e.r.i.c.h. (2006). Using Event Models in Grid Design. In Cunha, J., Rana, O. (Eds.), Grid Computing: Software Environments and Tools. (pp. 19-44). Springer.
Gallagher, K., Binkley, D., Harman, M. (2006). Stop-list slicing.
Ghosheh, E., Qaddour, J., Kuofie, M., Black, S. (2006). A Comparative Analysis of Maintainability Approaches for Web Applications..
Go, J., Stegemann, J.A., Roberts, G., Allan, I. (2006). Modelling and Simulation Framework for Reactive Transport of Organic Contaminants in Bed-sediments Using a Pure Java Object-oriented Paradigm.
Gold, N., Harman, M., Mahdavi, K., Li, Z. (2006). Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding.
Guo, Q., Hierons, R.M., Harman, M., Derderian, K. (2006). Improving test quality using robust unique input/output circuit sequences (UIOCs). INFORMATION AND SOFTWARE TECHNOLOGY, 48 (8), 696-707. doi:10.1016/j.infsof.2005.08.001
Hammer, C., Grimme, M., Krinke, J. (2006). Dynamic path conditions in dependence graphs.
Hammer, C., Krinke, J., Nodes, F. (2006). Intransitive Noninterference in Dependence Graphs.
Hammer, C., Krinke, J., Snelting, G. (2006). Information flow control for Java based on path conditions in dependence graphs.
Harman, M. (2006). Search-Based Software Engineering for Maintenance and Reengineering.
Harman, M. (2006). Search Based Software Engineering.
Harman, M., Black, S., Tonella, P. (2006). Astrenet Aspect Analysis workshop 2006.
Harman, M., Black, S., Tonella, P. (2006). Workshop Introduction Astrenet Aspect Analysis..
Harman, M., Korel, B., Linos, P., Mockus, A., Shepperd, M. (2006). EMSE special issue from ICSM and Metrics. EMPIRICAL SOFTWARE ENGINEERING, 11 (3), 333-334. doi:10.1007/s10664-006-9003-7
Harman, M., Lakhotia, A., Binkley, D. (2006). Theory and algorithms for slicing unstructured programs. INFORMATION AND SOFTWARE TECHNOLOGY, 48 (7), 549-565. doi:10.1016/j.infsof.2005.06.001
Harman, M., Skaliotis, A., Steinhfel, K. (2006). Search-based approaches to the component selection and prioritization problem.
Jones, R. (2006). Guest editorial. JOURNAL OF APICULTURAL RESEARCH, 45 (1), 1. doi:10.1300/J179v05n04_01
Krinke, J. (2006). Effects of context on program slicing. Journal of Systems and Software, 79 (9), 1249-1260. doi:10.1016/j.jss.2006.02.040
Krinke, J. (2006). Mining control flow graphs for crosscutting concerns.
Langdon, W.B. (2006). The Halting Probability in von Neumann Architectures. UK .
Langdon, W.B. (2006). Predicting Ten Thousand Bits from Ten Thousand Inputs. Colchester, UK .
Langdon, W.B. (2006). Web Usage of the GP Bibliography. SIGEvolution newsletter of the ACM Special Interest Group on Genetic and Evolutionary Computation, 1 16-21.
Langdon, W.B., Poli, R. (2006). Evolving Problems to Learn about Particle Swarm Optimisers and other Search Algorithms. UK .
Lano, K., Androutsopoulos, K., Clark, D. (2006). Concurrency and Real time specifications in UML.
McMinn, P., Harman, M., Binkley, D.W., Tonella, P. (2006). The species per path approach to SearchBased test data generation..
Mcnamara, L., Mascolo, C., Capra, L. (2006). Trust and Mobility aware Service Provision for Pervasive Computing.
Ong, A., Clark, D., Kim, J. (2006). A hybridized ais for anomaly detection: Combining negative selection and association rules (extended abstract). Proceedings of Artificial Immune Systems Bristol ’06,
Perrone, V., Finkelstein, A., Goldin, L., Kramer, J., Parkinson, H., Reddington, F. (2006). Developing an integrative platform for cancer research: a requirements engineering perspective.
Perrone, V., Finkelstein, A., Goldin, L., Kramer, J., Parkinson, H., Reddington, F. (2006). Software Engineering meets Cancer Research: Enabling Interoperability of Data and Services.
Poli, R., Langdon, W.B., Dignum, S. (2006). On the Limiting Distribution of Program Sizes in Tree-based Genetic Programming. .
Poli, R., Langdon, W.B., Marrow, P., Kennedy, J., Clerc, M., Bratton, D., Holden, N. (2006). Communication, Leadership, Publicity and Group Formation in Particle Swarms. UK .
Poli, R., Wright, A.H., McPhee, N.F., Langdon, W.B. (2006). Emergent Behaviour, Population-based Search and Low-pass Filtering. .
Quercia, D., Hailes, S., Capra, L. (2006). TATA: Towards Anonymous Trusted Authentication.
Quercia, D., Hailes, S., Capra, L. (2006). B-trust: Bayesian Trust Framework for Pervasive Computing.
Quercia, D., Lad, M., Hailes, S., Capra, L., Bhatti, S. (2006). Survivable wireless networking - autonomic bandwidth sharing in mesh networks. BT TECHNOLOGY JOURNAL, 24 (3), 99-107. doi:10.1007/s10550-006-0081-2
Quercia, D., Lad, M., Hailes, S., Capra, L., Bhatti, S. (2006). STRUDEL: Supporting Trust in the Dynamic Establishment of peering coaLitions.
Quercia, D., Lad, M., Hailes, S.M.V., Capra, L., Bhatti, S. (2006). STRUDEL: Supporting Trust in the Dynamic Establishment of peering coalitions.
Skene, J., Emmerich, W. (2006). Specifications, not meta-models.
Snelting, G., Robschink, T., Krinke, J. (2006). Efficient path conditions in dependence graphs for software safety analysis. ACM Transactions on Software Engineering and Methodology (TOSEM), 15 (4), 410-457. doi:10.1145/1178625.1178628
Visaggio, G., Di Lucca, G.A., Gold, N. (2006). Message from the Chairs.
Zachariadis, S., Mascolo, C., Emmerich, W. (2006). The SATIN Component System - A Meta Model For Engineering Adaptable Mobile Systems. IEEE Transactions on Software Engineering (TSE), 32 (11), 910-927. doi:10.1109/TSE.2006.115
2005
Alves, C., Franch, X., Carvallo, J., Finkelstein, A. (2005). Using goals and quality models to support the matching analysis during COTS selection, Bilbao, Spain.
Antoniol, G., Di Penta, M., Harman, M. (2005). Search-based techniques applied to optimization of project planning for a massive maintenance project.
Avellis, G., Finkelstein, A. (2005). Innovative use of mobile learning for occupational stress: Evaluation of Non Functional Requirements and architectures.
Bahsoon, R., Emmerich, W., Macke, J. (2005). Using real options to select stable middleware-induced software architectures. IEE Proceedings - Software, 152 (4), 167-186.
Begent, R.H.J., Brady, J.M., Finkelstein, A., Gavaghan, D., Kerr, P., Parkinson, H., ...Wilkinson, J.M. (2005). Challenges of ultra large scale integration of biomedical computing systems.
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?.
Binkley, D., Ceccato, M., Harman, M., Ricca, F., Tonella, P. (2005). Automated refactoring of object oriented code into aspects.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Korel, B. (2005). Minimal slicing and the relationships between forms of slicing.
Binkley, D., Harman, M. (2005). Locating dependence clusters and dependence pollution.
Binkley, D., Harman, M. (2005). Forward slices are smaller than backward slices.
Binkley, D.W., Harman, M., Krinke, J. (2005). 05451 Abstracts Collection -- Beyond Program Slicing..
Black, S., Counsell, S., Hall, T., Wernick, P. (2005). Using Program Slicing to Identify Faults in Software..
Bouillon, P., Krinke, J., Lukosch, S. (2005). Eine Plattform für die Softwaretechnik-Fernlehre.
Bouillon, P., Krinke, J., Lukosch, S. (2005). Software engineering projects in distant teaching.
Brebner, P., Emmerich, W. (2005). Deployment of Infrastructure and Services in the Open Grid Services Architecture. In Dearle, A., Eisenbach, S. (Eds.), Proc. of the 3rd Int. Working Conference on Component Deployment, CD 2005, Grenoble, France. (pp. 181-195). Springer.
Calleja, M., Bruin, R., Tucker, M.G., Dove, M.T., Tyer, R., Blanshard, L., ...Emmerich, W. (2005). Collaborative grid infrastructure for molecular simulations: The eMinerals minigrid as a prototype integrated compute and data grid. Molecular Simulation, 31 (5), 303-313. doi:10.1080/08927020500067195
Calleja, M., Bruin, R., Tucker, M.G., Dover, M.T., Tyer, R., Blanshard, L., ...Emmerich, W. (2005). Collaborative grid infrastructure for molecular simulations: The eMinerals minigrid as a prototype integrated compute and data grid. Molecular Simulation, 31 303-313. doi:10.1080/08927020500067195
Capra, L. (2005). Reasoning about trust groups to coordinate mobile ad-hoc systems. Workshop of the 1st International Conference on Security and Privacy for Emerging Areas in Communication Networks, 2005, 2005 142-152. doi:10.1109/SECCMW.2005.1588307
Capra, L. (2005). Reasoning about Trust Groups to Coordinate Mobile Ad-Hoc Systems.
Capra, L., Zachariadis, S., Mascolo, C. (2005). Q-CAD: QoS and Context Aware Discovery framework for adaptive mobile systems.
Chapman, C., Goonatilake, C., Emmerich, W., Farrellee, M., Tannenbaum, T., Livny, M., ...Dove, M. (2005). Condor Birdbath - web service interface to Condor.
Chapman, C., Wakelin, J., Artacho, E., Dove, M.T., Calleja, M., Bruin, R., Emmerich, W. (2005). Workflow issues in atomistic simulations. Molecular Simulation, 31 323-328.
Chen, J.-.C., Gold, N.E., Mehandjiev, N., Layzell, P.J. (2005). Managing Supply Chains of Software as a Service through Agent Negotiations.
Chio, C.D., Poli, R., Langdon, W.B. (2005). Evolution of Force-Generating Equations for PSO using GP.
Chio, C.D., Poli, R., Langdon, W.B. (2005). Evolution of Forces for Particle Swarm Optimisation using Genetic Programming.
Clark, D., Hunt, S., Malacaria, P. (2005). Quantified Interference for a While Language. Electronic Notes in Theoretical Computer Science, 112 149-166.
Clark, D., Hunt, S., Malacaria, P. (2005). Quantitative information flow, relations and polymorphic types. Journal of Logic and Computation, 15 (2), 181-199. doi:10.1093/logcom/exi009
Courbis, C., Finkelstein, A. (2005). Towards aspect weaving applications.
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.
Danicic, S., Daoudi, M., Fox, C., Harman, M., Hierons, R.M., Howroyd, J.R., ...Ward, M. (2005). ConSUS: a light-weight program conditioner.
Danicic, S., Fox, C., Harman, M., Hierons, R., Howroyd, J., Laurence, M.R. (2005). Static program slicing algorithms are minimal for free liberal program schemas. COMPUTER JOURNAL, 48 (6), 737-748. doi:10.1093/comjnl/bxh121
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.
Denaro, G., Polini, A., Emmerich, W. (2005). Performance testing of distributed component architectures. In Testing Commercial-off-the-Shelf Components and Systems. (pp. 293-314). .
Derderian, K., Harman, M., Hierons, R.M., Guo, G. (2005). Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.
Dove, M.T., Calleja, M., Bruin, R., Wakelin, J., Tucker, M.G., Lewis, G.J., ...Ballard, S. (2005). The eMinerals collaboratory: tools and experience (vol 31, pg 329, 2005). MOLECULAR SIMULATION, 31 (14-15), 1107. doi:10.1080/10503300500520106
Dove, M.T., Calleja, M., Bruin, R., Wakelin, J., Tucker, M.G., Lewis, G.J., ...Ballard, S. (2005). The eMinerals collaboratory: tools and experience.. Molecular Simulation, 31 329-337.
Dove, M.T., White, T.O., Bruin, R.P., Tucker, M.G., Calleja, M., Artacho, E., ...Allan, R.J. (2005). eScience usability: the eMinerals experience.
Duboc, L., Wicks, T., Emmerich, W. (2005). Experience with Lightweight Distributed Component Technologies in Business Intelligence Systems. In Mascolo, C., Gschwind, T. (Eds.), Proceedings of the 4th International Workshop on Software Engineering and Middleware, Linz, Austria. (pp. 214-229). Springer Verlag.
Emmerich, W., Butchart, B., Chen, L., Wassermann, B., Price, S.L. (2005). Grid Service Orchestration using the Business Process Execution Language (BPEL). London, UK: UCL-CS Research Note RN/05/07.
Emmerich, W., Wile, D. (2005). Automated Software Engineering: Introduction. Automated Software Engineering, 12 (3), 295-296. doi:10.1007/s10515-005-2640-z
Emmerich, W., Wile, D. (2005). Automated Software Engineering: Introduction. Automated Software Engineering, 12 (4), 391-392. doi:10.1007/s10515-005-2645-7
Fatiregun, D., Harman, M., Hierons, R.M. (2005). Search-based amorphous slicing.
Finkelstein, A. (2005). Business Data Validation: lessons from practice.
Finkelstein, A., Stevens, R. (2005). Requirements Traceability.
Gold, N.E., Harman, M., Binkley, D., Hierons, R.M. (2005). Unifying program slicing and concept assignment for higher-level executable source code extraction. Software—Practice & Experience, 35 977.
Gold, N.E., Harman, M., Binkley, D., Hierons, R.M. (2005). Unifying program slicing and concept assignment for higher-level executable source code extraction. Software—Practice & Experience, 35 977.
Gold, N.E., Mohan, A.M., Layzell, P.J. (2005). Spatial Complexity Metrics: An Investigation of Utility. IEEE Transactions on Software Engineering, 31 203.
Gold, N., Systä, T., Tjortjis, C., Di Penta, M. (2005). Message from the program chairs.
Goonatilake, C., Chapman, C., Emmerich, W., Farrellee, M., Tannenbaum, T., Livny, M., ...Dove, M. (2005). .
Guo, Q., Hierons, R.M., Harman, M., Derderian, K. (2005). Constructing multiple unique input/output sequences using metaheuristic optimisation techniques. IEE PROCEEDINGS-SOFTWARE, 152 (3), 127-140. doi:10.1049/ip-sen:20045001
Harman, M., Binkley, D.W., Krinke, J. (2005). 05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar..
Harman, M., Korel, B., Linos, P.K. (2005). Guest Editorial: Special Issue on Software Maintenance and Evolution.. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 31 (10), 801-803. doi:10.1109/TSE.2005.113
Harman, M., Swift, S., Mahdavi, K. (2005). An empirical study of the robustness of two module clustering fitness functions.
Hierons, R.M., Harman, M., Fox, C.J. (2005). Branch-coverage testability transformation for unstructured programs. COMPUTER JOURNAL, 48 (4), 421-436. doi:10.1093/comjnl/bxh093
Korel, B., Harman, M., Chung, S., Apirukvorapinit, P. (2005). Data dependence based testability transformation in automated test generation.
Korel, B., Tahat, L.H., Harman, M. (2005). Test prioritization using system models.
Krinke, J. (2005). Program slicing. In Chang, S.H. (Ed.), Handbook of software engineering and knowledge engineering. (pp. 307-332). World Scientific Publishing.
Krinke, J., Breu, S. (2005). Aspect mining based on control-flow.
Krinke, J., Roos, M. (2005). Erfahrungen mit dem Open-Access-Journal “eleed (e-learning and education)”.
Langdon, W.B. (2005). Pfeiffer - A Distributed Open-ended Evolutionary System.
Langdon, W.B. (2005). The Distribution of Amorphous Computer Outputs..
Langdon, W.B. (2005). ’Pure theatre’ at Lakeside: Review of "Look Back in Anger". Wyvern Extra,
Langdon, W.B., Banzhaf, W. (2005). Repeated patterns in tree genetic programming. In Keijzer, M., Tettamanzi, A., Collet, P. (Eds.), Genetic Programming: 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings. (pp. 190-202). Springer-Verlag GmbH.
Langdon, W.B., Banzhaf, W. (2005). Repeated Sequences in Linear Genetic Programming Genomes. Complex Systems, 15 (4), 285-306.
Langdon, W.B., Gustafson, S. (2005). Genetic Programming and Evolvable Machines:five years of reviews. Genetic Programming and Evolvable Machines, 6 (2), 221-228.
Langdon, W.B., Poli, R. (2005). Evolutionary Solo Pong Players. Colchester, UK .
Langdon, W.B., Poli, R. (2005). On Turing complete T7 and MISC F-4 program fitness landscapes. UK .
Langdon, W.B., Poli, R., Stephens, C.R. (2005). Kernel methods for PSOs. UK .
Lano, K., Androutsopoulos, K., Clark, D. (2005). Refinement Patterns for UML. Electronic Notes in Theoretical Computer Science, 137 131-149.
Letier, E., Kramer, J., Magee, J., Uchitel, S. (2005). Fluent Temporal Logic for Discrete-Time Event-Based Models.
Letier, E., Kramer, J., Magee, J., Uchitel, S. (2005). Monitoring and Control in Scenario-Based Requirements Analysis.
Margoninski, O., Saffrey, P., Hetherington, J., Finkelstein, A., Warner, A. (2005). A specification language and a framework for the execution of composite models in systems biology.
Milewski, M., Roberts, G. (2005). The Model Weaving Description Language (MWDL) - towards a formal Aspect Oriented Language for MDA model transformations.
Poli, R., Langdon, W.B. (2005). Backward-chaining Genetic Programming. Colchester, UK: Department of Computing and Electronic Systems, University of Essex.
Poli, R., Langdon, W.B. (2005). An elementary formulation of Riemann’s Zeta function. UK .
Roberts, G., Winder, R. (2005). Developing Java Software, 3rd Edition. John Wiley & Sons Ltd..
Rosner, P., Black, S. (2005). Measuring Ripple Effect for the Object Oriented Paradigm..
Skene, J., Emmerich, W. (2005). Engineering Runtime Requirements-Monitoring Systems using MDATechnologies. In IFIP Symposium on Trustworthy Global Computing. (pp. 319-333). Springer.
Zeller, A., Krinke, J. (2005). Essential open source toolset. Wiley.
2004
(2004). Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I.
(2004). Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II.
(2004). 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom.
(2004). Component Deployment.
Adamopoulos, K., Harman, M., Hierons, R.M. (2004). How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution.
Antoniol, G., Di Penta, M., Harman, M. (2004). A robust search-based approach to project management in the presence of abandonment, rework, error and uncertainty.
Antoniol, G., Di Penta, M., Harman, M. (2004). Search-based techniques for optimizing software project resource allocation.
Arlow, J., Quinn, J., Emmerich, W. (2004). Literate modelling: capturing business knowledge with the UML. In Bezivin, J., Muller, P. (Eds.), Proceedings of The Unified Modeling Language «UML»?98: Beyond the Notation: First International Workshop, Mulhouse, France, June 3-4, 1998. (pp. 189-199). Springer Verlag.
Bahsoon, R., Emmerich, W. (2004). .
Bahsoon, R., Emmerich, W. (2004). Evaluating architectural stability with real options theory. In Proceedings of the 20th International Conference on Software Maintenance, Chicago, Illinois, U.S.A.. (pp. 443-447). IEEE Computer Society Press.
Baresel, A., Binkley, D.W., Harman, M., Korel, B. (2004). Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach..
Binkley, D., Burd, L., Harman, M., Tonella, P. (2004). Source Code Analysis and Manipulation - Introduction.
Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Ouarbya, L. (2004). Formalizing executable dynamic and forward slicing.
Binkley, D., Harman, M. (2004). A survey of empirical results on program slicing. ADVANCES IN COMPUTERS, VOL 62, 62 105-178. doi:10.1016/S0065-2458(03)62003-6
Binkley, D., Harman, M. (2004). Analysis and visualization of predicate dependence on formal parameters and global variables. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 30 (11), 715-735. doi:10.1109/TSE.2004.78
Bouillon, P., Krinke, J. (2004). A platform for teaching distributed software engineering.
Bouillon, P., Krinke, J. (2004). Using Eclipse in distant teaching of software engineering.
Breu, S., Krinke, J. (2004). Aspect mining using event traces.
Calleja, M., Blanshard, L., Bruin, R., Chapman, C., Thandavan, A., Tyer, R., ...Brodholt, J. (2004). Grid tool integration within the eMinerals Project.
Calleja, M., Blanshard, L., Bruin, R., Chapman, C., Thandavan, A., Tyer, R., ...Dove, M.T. (2004). Grid tool integration within the eMinerals Project. In Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (pp. 812-817). UK Engineering and Physical Science Research Council.
Capra, L. (2004). Engineering Human Trust in Mobile System Collaborations.
Capra, L. (2004). Towards a human trust model for mobile ad-hoc networks.
Chapman, C., Wilson, P., Tannenbaum, T., Farrellee, M., Livny, M., Brodholt, J., Emmerich, W. (2004). Condor Services for the Global Grid: Interoperability between Condor and OGSA.
Chapman, C., Wilson, P., Tannenbaum, T., Farrellee, M., Livny, M., Brodholt, J., Emmerich, W. (2004). Condor services for the Global Grid:interoperability between Condor and OGSA. In Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (pp. 870-877). UK Engineering and Physical Science Research Council.
Clark, D., Hunt, S., Malacaria, P. (2004). Quantified Interference: Information Theory and Information Flow.
Clark, D., Hunt, S., Malacaria, P. (2004). Non-Interference For Weak Observers.
Clark, J., Harman, M., Hierons, R. (2004). Software testing in the United Kingdom. SOFTWARE TESTING VERIFICATION & RELIABILITY, 14 (3), 165-166. doi:10.1002/stvr.302
Corney, D.P.A., Buxton, B.F., Langdon, W.B., Jones, D.T. (2004). BioRAT: extracting biological information from full-length papers. Bioinformatics, 20 (17), 3206-3213.
Courbis, C., Finkelstein, A. (2004). Towards an aspect weaving BPEL engine.
Danicic, S., De Lucia, A., Harman, M. (2004). Building executable union slices using conditioned slicing.
De Landtsheer, R., Letier, E., van Lamsweerde, A. (2004). Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. Requirements Engineering Journal, 9 (2), 104-120.
Denaro, G., Polini, A., Emmerich, W. (2004). Early performance testing of distributed software applications. In Proceedings of the 4th International Workshop on Software and Performance, Redwood Shores, California, USA, January 14-16, 2004. (pp. 94-103). New York, NY, USA: ACM Press.
Derderian, K., Hierons, R.M., Harman, M., Guo, Q. (2004). Input sequence generation for testing of Communicating Finite State Machines (CFSMs).
Dove, M.T., Calleja, M., Bruin, R., Wakelin, J., Keegan, M., Ballard, S., ...Tyer, R. (2004). Collaborative tools in support of the eMinerals Virtual Organization.
Emmerich, W., Wolf, A.L. (2004). Preface. .
Fatiregun, D., Harman, M., Hierons, R.M. (2004). Evolving transformation sequences using genetic algorithms.
Fatiregun, D., Harman, M., Hierons, R.M. (2004). Evolving Transformation Sequences using Genetic Algorithms..
Finkelstein, A.C.W., Hetherington, J., Li, L., Margoninski, O., Saffrey, P., Seymour, R., Warner, A. (2004). Computational challenges of systems biology. Computer, 37 (5), 26-33. doi:10.1109/MC.2004.1297236
Finkelstein, A., Gryce, C., Lewis-Bowen, J. (2004). Relating requirements and architectures: a study of data-Grids.
Finkelstein, A., Hetherington, J., Li, L.Z., Margoninski, O., Saffrey, P., Seymour, R., Warner, A. (2004). Computational challenges of systems biology. Computer, 37 (5), 26-+.
Fox, C., Danicic, S., Harman, M., Hierons, R.M. (2004). CONSIT: a fully automated conditioned program slicer. SOFTWARE-PRACTICE & EXPERIENCE, 34 (1), 15-46. doi:10.1002/spe.556
Gold, N., Bennett, K. (2004). Program comprehension for web services.
Gold, N., Mohan, A., Knight, C., Munro, M. (2004). Understanding service-oriented software. IEEE Software, 21 71.
Guo, Q., Hierons, R.M., Harman, M., Derderian, K. (2004). Computing unique input/output sequences using genetic algorithms.
Harman, M., Binkley, D., Singh, R., Hierons, R.M. (2004). Amorphous procedure extraction.
Harman, M., Clark, J. (2004). Metrics are fitness functions too.
Harman, M., Hu, L., Hierons, R., Wegener, J., Sthamer, H.S., Baresel, A., Roper, M. (2004). Testability transformation. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 30 (1), 3-16. doi:10.1109/TSE.2004.1265732
Harman, M., Hu, L., Munro, M., Zhang, X., Binkley, D.W., Danicic, S., ...Ouarbya, L. (2004). Syntax-Directed Amorphous Slicing..
Harman, M., Korel, B. (2004). Message from the program chairs. IEEE International Conference on Software Maintenance, ICSM,
Harman, M., Wegener, J. (2004). Getting results from search-based approaches to software engineering.
Haungs, M., Pandey, R., Barr, E.T. (2004). Handling Catastrophic Failures in Scalable Internet Applications..
Heaven, W., Finkelstein, A. (2004). A UML profile to support requirements engineering with KAOS. IEE Proceedings - Software, 151 (1), 10-27.
Hierons, R.M., Harman, M. (2004). Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. THEORETICAL COMPUTER SCIENCE, 323 (1-3), 191-233. doi:10.1016/j.tcs.2004.04.002
Hu, L., Harman, M., Hierons, R.M., Binkley, D. (2004). Loop squashing transformations for amorphous slicing.
Jezequel, J., Emmerich, W. (2004). MDA in practice (panel). In Proceedings of the 26th International Conference on Software Engineering, Edinburgh, UK. IEEE Computer Society Press.
Krinke, J. (2004). Advanced slicing of sequential and concurrent programs.
Krinke, J. (2004). Advanced slicing of sequential and concurrent programs. In Wagner, D. (Ed.), Ausgezeichnete Informatikdissertationen 2003. (pp. 101-110). Bonn, Germany: Köllen Verlag.
Krinke, J. (2004). Context-sensitivity matters, but context does not.
Krinke, J. (2004). Slicing, chopping, and path conditions with barriers. Software Quality Journal, 12 (4), 339-360. doi:10.1023/B:SQJO.0000039792.93414.a5
Krinke, J. (2004). Textual vs. graphical visualization of fine-grained dependences.
Krinke, J. (2004). Visualization of program dependence and slices.
Krinke, J., Breu, S. (2004). Control-flow-graph-based aspect mining.
Langdon, W.B. (2004). Global distributed evolution of L-systems fractals. In Keijzer, M., O'Reilly, U., Lucas, S. (Eds.), Genetic Programming: 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004. Proceedings. (pp. 349-358). Springer-Verlag GmbH.
Langdon, W.B. (2004). Genetic Algorithms--Principles and Perspectives: {A} Guide to {GA} Theory.. Knowledge Engineering Review, 19 (2), 185-186.
Langdon, W.B. (2004). Lindenmayer Systems Fractals Evolved by Pfeiffer 10 September – 9 November 2003. .
Langdon, W.B., Banzhaf, W. (2004). Repeated Sequences in Linear GP Genomes.
Langdon, W.B., Barrett, S.J. (2004). Genetic programming in data mining for drug discovery. In Ghosh, A., Jain, L. (Eds.), Evolutionary Computing in Data Mining. (pp. 211-235). Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Langdon, W.B., Buxton, B.F. (2004). Genetic Programming for Mining DNA Chip data from Cancer Patients. Genetic Programming and Evolvable Machines, 5 251-257. doi:10.1023/B:GENP.0000030196.55525.f7
Lano, K., Clark, D., Androutsopoulos, K. (2004). UML to B: Formal verification of object-oriented models.
Letier, E., van Lamsweerde, A. (2004). Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering.
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.
Mohan, A., Gold, N., Layzell, P. (2004). An approach to understanding program comprehensibility using spatial complexity, concept assignment and typographical style.
Mohan, A., Gold, N., Layzell, P. (2004). An initial approach to assessing program comprehensibility using spatial complexity, number of concepts and typographical style.
Nowell, H., Butchart, B., Coombes, D.S., Price, S.L., Emmerich, W., Catlow, C.R.A. (2004). Increasing the scope for polymorph prediction usinge-Science. In Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (pp. 968-971). UK Engineering and Physical Science Research Council.
O'Brien, L., Gold, N., Kontongiannis, K. (Eds.), (2004). Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP 2003). Institute of Electrical & Electronics Engineers(IEEE).
Rodrigues, G.N., Rosenblum, D., Emmerich, W. (2004). A model driven approach for software systems reliability.
Rodrigues, G., Roberts, G., Emmerich, W. (2004). Reliability support for the Model Driven Architecture. In 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.
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.
van Lamsweerde, A., Letier, E. (2004). From object orientation to goal orientation: A paradigm shift for requirements engineering.
Wilson, P., Emmerich, W., Brodholt, J. (2004). Leveraging HTC for UK eScience with very large Condor pools: demand for transforming untapped power into results. In Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (pp. 308-315). UK Engineering and Physical Science Research Council.
Wright, A., Poli, R., Stephens, C.R., Langdon, W.B., Pulavarty, S. (2004). An estimation of distribution algorithm based on maximum entropy.
Wright, R., Rey, M.V., Margoninski, O., Saffrey, P., Hetherington, J., Li, L., ...Finkelstein, A. (2004). A New Framework for Integration of Models in Biology (abstract). The Journal of Physiology, 561P (PC31),
Wright, R., Varela Rey, M., Margoninski, O., Saffrey, P., Hetherington, J., Li, L., ...Finkelstein, A. (2004). A new framework for the integration of models in biology.
Yoshioka, N., Honiden, S., Finkelstein, A. (2004). Security patterns: A method for constructing secure and efficient inter-company coordination systems.
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.
Zirpins, C., Piccinelli, G., Lamersdorf, W., Finkelstein, A. (2004). Object orientation and web services.
2003
(2003). Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I.
(2003). Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II.
Ackemann, T., Mascolo, C., Emmerich, W. (2003). Lightweight Incentives in Peer-to-Peer Networks. UCL-CS.
Alves, C., Finkelstein, A. (2003). Investigating conflicts in cots decision-making. Int J Softw Eng Know, 13 (5), 473-493.
Bahsoon, R., Emmerich, W. (2003). Evaluating software architectures for stability: a real options approach.
Bahsoon, R., Emmerich, W. (2003). Evaluating Software Architectures: Development Stability and Evolution.
Bahsoon, R., Emmerich, W. (2003). ArchOptions: A Real Options-Based Model for Predicting the Stability of Software Architectures.
Bahsoon, R., Emmerich, W. (2003). Evaluating software architectures: development, stability and evolution. In Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications, Tunis, Tunisia. (pp. 47-56). IEEE Computer Society Press.
Bennett, K.H., Gold, N.E., Layzell, P.J., Zhu, F., Brereton, O.P., Budgen, D., ...Xu, J. (2003). A broker architecture for integrating data using a web services environment.
Binkley, D., Harman, M. (2003). An empirical study of predicate dependence levels and trends.
Binkley, D., Harman, M. (2003). A large-scale empirical study of forward and backward static slice size and context sensitivity.
Binkley, D., Harman, M. (2003). Results from a large-scale study of performance optimization techniques for source code analyses based on graph reachability algorithms.
Binkley, D.W., Harman, M. (2003). Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms..
Breu, S., Krinke, J. (2003). Aspect mining using dynamic analysis.
Bush, D., Finkelstein, A. (2003). Requirements stability assessment using scenarios.
Butchart, B., Chapman, C., Emmerich, W. (2003). OGSA first impressions: a case study re-engineering a scientific applicationwith the open grid services architecture.
Butchart, B., Chapman, C., Emmerich, W. (2003). OGSA First Impressions: A Case Study using the Open Grid Service Architecture.
Butchart, B., Chapman, C., Emmerich, W. (2003). OGSA First Impressions: A Case Study using the Open Grid Service Architecture.
Capra, L., Emmerich, W., Mascolo, C. (2003). CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications. IEEE Transactions on Software Engineering (TSE), 29 (10), 929-945. doi:10.1109/TSE.2003.1237173
Clark, D., Hunt, S., Malacaria, P. (2003). Quantified Interference for a While Language. .
Clark, D., Hunt, S., Malacaria, P. (2003). Quantitative Analysis of Leakage of Confidential Information.
Clark, J.A., Dolado, J.J., Harman, M., Hierons, R.M., Jones, B.F., Lumkin, M., ...Roper, M. (2003). Formulating software engineering as a search problem..
De Landtsheer, R., Letier, E., van Lamsweerde, A. (2003). Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models.
Dijk, S.V., Thierens, D., Gaag, L.C.V.D. (2003). Building a GA from Design Principles for Learning Bayesian Networks..
Dolado, J.J., Harman, M., Otero, M.C., Hu, L. (2003). An empirical investigation of the influence of a type of side effects on program comprehension. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 29 (7), 665-670. doi:10.1109/TSE.2003.1214329
Dui, D., Emmerich, W. (2003). Compatibility of XML language versions. In Westfechtel, B., Hoek, A. (Eds.), Software Configuration Management. Selected Papers of ICSE Workshops SCM 2001 and SCM 2003. (pp. 148-162). Springer Verlag.
Dui, D., Emmerich, W., Nentwich, C., Thal, B. (2003). Consistency checking of financial derivative transactions. In Aksit, M., Menzini, M., Unland, R. (Eds.), Objects, Components, Architectures, Services and Applications for a Networked World. (pp. 166-183). Springer.
Dui, D., Emmerich, W., Nentwich, C., Thal, B. (2003). Consistency Checking of Financial Derivative Transactions.
Emmerich, W. (2003). Konstruktion von verteilten Objekten. Heidelberg, Germany: dpunkt Verlag GmbH.
Fatiregun, D., Harman, M., Hierons, R. (2003). Search based transformations.
Finkelstein, A., Lamerdorf, W., Leyman, F., Piccinelli, G., Weerawarana, S. (2003). Object orientation and web services.
Gallagher, K., Harman, M., Danicic, S. (2003). Guaranteed inconsistency avoidance during software evolution. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 15 (6), 393-416. doi:10.1002/smr.289
Gold, N., Mohan, A. (2003). A Framework for Understanding Conceptual Changes in Evolving Source Code.
Harman, M., Binkley, D., Danicic, S. (2003). Amorphous program slicing. JOURNAL OF SYSTEMS AND SOFTWARE, 68 (1), 45-64. doi:10.1016/S0164-1212(02)00135-8
Hierons, R.M., Harman, M., Singh, H. (2003). Automatically generating information from a Z specification to support the classification tree method.
Hughes, A., Emmerich, W. (2003). Using programmable network managementtechniques to establish experimental networkingtestbeds. BT Technology Journal, 21 (2), 195-203. doi:10.1023/A:1024437723284
Hughes, A., Emmerich, W. (2003). Using programmable network management techniques to establish experimental nework testbeds. BT Technology Journal, 21 (2), 195-203.
Kaveh, N., Emmerich, W. (2003). Validating Distributed Object and Component Designs. In Bernardo, M., Inverardi, P. (Eds.), Formal Methods for Software Architecture. (pp. 63-91). Springer Verlag.
Kaveh, N., Emmerich, W. (2003). Validating distributed object and component designs. In Bernardo, M., Inverardi, P. (Eds.), Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. (pp. 63-91). Springer Verlag.
Krinke, J. (2003). Barrier slicing and chopping.
Krinke, J. (2003). Context-sensitive slicing of concurrent programs.
Lamanna, D.D., Skene, J., Emmerich, W. (2003). SLAng: A Language for Service Level Agreements.
Lamanna, D.D., Skene, J., Emmerich, W. (2003). SLAng: a language for service level agreements. In Proceedings of the 9th IEEE Workshop on Future Trends in Distributed Computing Systems. (pp. 100-106). IEEE Computer Society Press.
Langdon, W.B. (2003). Comparison of DNAchip and Computer Vision Data. .
Langdon, W.B. (2003). How many Good Programs are there? How Long are they?.
Langdon, W.B. (2003). Convergence of Program Fitness Landscapes.
Langdon, W.B. (2003). Predicting Cancer.
Langdon, W.B. (2003). The Distribution of Reversible Functions is Normal. In Riolo, R.L., Worzel, B. (Eds.), Genetic Programming Theory and Practise. (pp. 173-188). Kluwer.
Langdon, W.B. (2003). Equations for Human Bioavailability and P450.
Langdon, W.B., Barrett, S.J., Buxton, B.F. (2003). Comparison of AdaBoost and Genetic Programming for combining Neural Networks for Drug Discovery.
Langdon, W.B., Buxton, B.F. (2003). The Application of Genetic Programming for Drug Discovery in the Pharmaceutical Industry. EPSRC RAIS Secondment with GlaxoSmithKline.
Lano, K., Clark, D., Androutsopoulos, K. (2003). RSDS, a Subset of UML with Precise Semantics. L’OBJET, 9 53-73.
Laurence, M.R., Danicic, S., Harman, M., Hierons, R., Howroyd, J. (2003). Equivalence of conservative, free, linear program schemas is decidable. THEORETICAL COMPUTER SCIENCE, 290 (1), 831-862. doi:10.1016/S0304-3975(02)00374-2
Lucia, A.D., Harman, M., Hierons, R., Krinke, J. (2003). Unions of slices are not slices.
Mahdavi, K., Harman, M., Hierons, R. (2003). Finding building blocks for software clustering.
Mahdavi, K., Harman, M., Hierons, R.M. (2003). A multiple hill climbing approach to software module clustering.
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.
Nentwich, C., Emmerich, W., Finkelstein, A.C.W. (2003). Consistency management with repair actions.
Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E. (2003). Flexible consistency checking. ACM Transactions on Software Engineering Methodology (TOSEM), 12 (1), 28-63. doi:10.1145/839268.839271
Nuseibeh, B., Kramer, J., Finkelstein, A. (2003). ViewPoints: Meaningful relationships are difficult!.
Piccinelli, G., Emmerich, W., Williams, S.L., Stearns, M. (2003). A model-driven architecture for electronicservice management systems. In Orlowska, M., Weerawarana, S., Papazoglou, M., Yang, J. (Eds.), Proc. of the 1st International Conference on Service-Oriented Computing, Trento, Italy. (pp. 241-255). Springer.
Piccinelli, G., Emmerich, W., Williams, S., Stearns, M. (2003). A Model-Driven Architecture for Electronic Service Management Systems. In Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (Eds.), Proc. of the 1st Int. Conference on Service-Oriented Computing, Trento, Italy. (pp. 241-255). Springer Verlag.
Piccinelli, G., Finkelstein, A., Costa, T. (2003). Flexible B2B processes: the answer is in the nodes. Information Software & Technology, 45 (15), 1061-1063.
Piccinelli, G., Finkelstein, A., Williams, S.L. (2003). Service-oriented workflow: The DySCo framework.
Quick, T., Nehaniv, C.L., Dautenhahn, K., Roberts, G. (2003). Evolving Embodied Genetic Regulatory Network-driven Control Systems.
Rodrigues, G.N., Roberts, G., Emmerich, W., Skene, J. (2003). Reliability Support for the Model Driven Architecture.
Skene, J., Emmerich, W. (2003). A model-driven approach to non-functional analysis of software architectures.
Skene, J., Emmerich, W. (2003). Model driven performance analysis of enterprise information systems. Electronic Notes in Theoretical Computer Science, 82 (6), 1-11. doi:10.1016/S1571-0661(04)81033-8
Skene, J., Emmerich, W. (2003). A model driven architecture approach to analysis of non-functional properties of software architectures. In Proceedings of the 18th IEEE Conference on Automated Software Engineering, October 2003, Montreal, Canada. (pp. 236-239). IEEE Computer Society Press.
Störzer, M., Krinke, J. (2003). Interference analysis for AspectJ.
Störzer, M., Krinke, J., Breu, S. (2003). Trace analysis for aspect application.
Zachariadis, S., Mascolo, C., Emmerich, W. (2003). Adaptable Mobile Applications: Exploiting Logical Mobility in Mobile Computing. In Horlait, E., Magedanz, T., Glitho, R.H. (Eds.), Proceedings of 5th Int. Workshop on Mobile Agents for Telecommunication Applications (MATA03). (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.
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.
Zeller, A., Krinke, J. (2003). Open-Source-Programmierwerkzeuge. Heidelberg, Germany: dpunkt Verlag.
Zhang, X.Y., Xie, X.R., Munro, M., Harman, M., Hu, L. (2003). Formal verification of communication protocol using type theory.
2002
Ackemann, T., Gold, R., Mascolo, C., Emmerich, W. (2002). Incentives in peer-to-peer and grid networking. UCL-CS.
Alves, C., Finkelstein, A. (2002). Challenges in COTS decision-making: a goal-driven requirements engineering perspective.
Alves, C., Finkelstein, A. (2002). Negotiating Requirements for COTS-Based Systems.
Avellis, G., Finkelstein, A. (2002). How to annotate educational multimedia with non-functional requirements. Educational Technology and Society, 5 (2), 119-124.
Banzhaf, W., Langdon, W.B. (2002). Some considerations on the reason for bloat. Genetic Programming and Evolvable Machines, 3 81-91. doi:10.1023/A:1014548204452
Bennett, K., Munro, M., Xu, J., Gold, N., Layzell, P., Mehandjiev, N., ...Brereton, P. (2002). Prototype Implementations of an Architectural Model for Service-Based Flexible Software.
Bowen, J.P., Bogdanov, K., Clark, J.A., Harman, M., Hierons, R.M., Krause, P. (2002). FORTEST: Formal methods and testing.
Capra, L. (2002). Mobile computing middleware for context-aware applications.
Capra, L., Blair, G., Mascolo, C., Emmerich, W., Grace, P. (2002). Exploiting reflection in mobile computing middleware. ACM SIGMOBILE Mobile Computing and Communications Review, 6 (4), 34-44. doi:10.1145/643550.643553
Capra, L., Emmerich, W., Mascolo, C. (2002). A micro-economic approach to conflict resolution in mobile computing.
Clark, D., Hankin, C., Hunt, S. (2002). Information Flow for Algol-like Languages. Journal of Computer Languages, 28 3-28.
Daoudi, M., Ouarbya, L., Harman, M., Fox, C., Ward, M.P. (2002). ConSUS: A scalable approach to conditioned slicing.
Dingwall-Smith, A., Finkelstein, A. (2002). From Requirements to Monitors by Way of Aspects.
Dui, D., Emmerich, W., Nentwich, C., Thal, B. (2002). Consistency Checking of Financial Derivative Transactions.
Emmerich, W. (2002). OMG/CORBA: an object-oriented middleware. In Marciniak, J. (Ed.), Encyclopedia of Software Engineering. (pp. 902-907). John Wiley & Sons.
Emmerich, W. (2002). Distributed component technologies and theirsoftware engineering implications. In Proceedings of the 24th International Conference on Software Engineering. (pp. 537-546). New York, New York, USA: ACM Press.
Emmerich, W.J. (2002). Distributed Component Technologies and their Software Engineering Implications.
Emmerich, W., Kaveh, N. (2002). Component Technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model.
Emmerich, W., Kaveh, N. (2002). Component Technologies: Java Beans, COM, CORBA,RMI, EJB and the CORBA Component Model.
Finkelstein, A.C.W., Savigni, A., Kappel, G., Retschitzegger, W., Kimmerstorfer, E., Schwinger, W., ...Feichtner, C. (2002). Ubiquitous Web application development - A framework for understanding.
Gold, N., Bennett, K. (2002). Hypothesis-based concept assignment in software maintenance. IEE Proceedings - Software, 149 103. doi:10.1049/ip-sen:20020549
Gold, N.E., Bennett, K.H. (2002). FACT: An Assessment Framework for Model-Based Program Comprehension Tools. Department of Computer Science, University of Durham.
Gryce, C., Finkelstein, A., Nentwich, C. (2002). Lightweight Checking for UML Based Software Development.
Harman, M., Fox, C., Hierons, R., Hu, L., Danicic, S., Wegener, J. (2002). VADA: A transformation-based system for variable dependence analysis.
Harman, M., Gold, N., Hierons, R., Binkley, D. (2002). Code Extraction Algorithms which Unify Slicing and Concept Assignment.
Harman, M., Hierons, R.M., Proctor, M. (2002). A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization..
Harman, M., Hu, L., Hierons, R., Fox, C., Danicic, S., Wegener, J., ...Baresel, A. (2002). Evolutionary testing supported by slicing and transformation.
Harman, M., Hu, L., Hierons, R.M., Baresel, A., Sthamer, H. (2002). Improving Evolutionary Testing By Flag Removal..
Harman, M., Hu, L., Hierons, R., Munro, M., Zhang, X.Y., Dolado, J.J., ...Wegener, J. (2002). A post-placement side-effect removal algorithm.
Harman, M., Hu, L., Munro, M., Zhang, X.Y., Danicic, S., Daoudi, M., Ouarbya, L. (2002). An interprocedural amorphous slicer for WSL.
Harman, M., Munro, M., Hu, L., Zhang, X.Y. (2002). Source code analysis and manipulation. INFORMATION AND SOFTWARE TECHNOLOGY, 44 (13), 717-720. doi:10.1016/S0950-5849(02)00124-6
Haungs, M., Pandey, R., Barr, E.T., Barnes, J.F. (2002). A Fast Connection-Time Redirection Mechanism for Internet Application Scalability..
Hierons, R., Harman, M., Fox, C., Ouarbya, L., Daoudi, M. (2002). Conditioned slicing supports partition testing. SOFTWARE TESTING VERIFICATION & RELIABILITY, 12 (1), 23-28. doi:10.1002/stvr.232
Hill, F., Csillaghy, A., Bentley, R.D., Aboudarham, J., Antonucci, E., Finkelstein, A., ...Pike, D. (2002). EGSO in need for a global schema.
Krinke, J. (2002). Evaluating context-sensitive slicing and chopping.
Krinke, J., Störzer, M., Zeller, A. (2002). Web-basierte Programmierpraktika mit Praktomat.
Langdon, W.B. (2002). A Hybrid Genetic Programming Neural Network Classifier for Use in Drug Discovery. In Abraham, A., Javier, R., Koppen, M. (Eds.), Soft Computing Systems - Design, Management and Applications, 1-4 December 2002. (pp. 6-). IOS Press.
Langdon, W.B. (2002). Evolutionary Computation II Session at BNAIC 2002. Newsletter BNVKI, 19(6) 145-146.
Langdon, W.B. (2002). Convergence Rates for the Distribution of Program Outputs.
Langdon, W.B. (2002). How many Good Programs are there? How Long are they?. In De Jong, K.A., Poli, R., Rowe, J.E. (Eds.), Foundations of Genetic Algorithms VII. (pp. 183-202). Spain: Morgan Kaufmann.
Langdon, W.B. (2002). Structure of the Genetic Programming Search Space.
Langdon, W.B. (2002). Characteristics of the Genetic Programming Search Space. University of Hertfordshire .
Langdon, W.B. (2002). Application of genetic programming in drug lead discovery.
Langdon, W.B., Buxton, B.F., Barrett, S.J. (2002). Combining Machine Learning techniques to Predict Compounds’ Cytochrome P450 High Throughput Screening Inhibition.
Langdon, W.B., Poli, R. (2002). Foundations of Genetic Programming. Springer.
Lano, K., Clark, D., Androutsopoulos, K. (2002). From Implicit Specifications to Explicit Designs in Reactive System Development..
Lano, K., Clark, D., Androutsopoulos, K. (2002). Safety and Security Analysis of Object-Oriented Models..
Lano, K., Clark, D., Androutsopoulos, K. (2002). From Implicit Specifications to Explicit Designs in Reactive System Development.
Lano, K., Clark, D., Androutsopoulos, K. (2002). Safety and Security Analysis of Object-Oriented Models.
Lawson, K., Finkelstein, A. (2002). Integration of Product and Technology Development Process with R&D Portfolio Management using Efficient Frontier Analysis.
Letier, E., van Lamsweerde, A. (2002). Deriving Operational Software Specifications from System Goals.
Letier, E., van Lamsweerde, A. (2002). Agent-Based Tactics for Goal-Oriented Requirements Elaboration.
Mahdavi, K., Harman, M. (2002). Book Review: Automatic Re-Engineering of Software Using Genetic Programming..
Mascolo, C., Capra, L., Emmerich, W. (2002). "Middleware for Mobile Computing (A Survey)". In Advanced Lectures on Networking. Networking 2002 Tutorials, 2497 o 20-58.
Mascolo, C., Capra, L., Emmerich, W. (2002). Mobile computing middleware. In Gregori, E., Anastasi, G., Basagni, S. (Eds.), 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.
Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A. (2002). Xlinkit: A Consistency Checking and Smart Link Generation Service.. ACM Transactions on Internet Technology, 2 (2), 151-185. doi:10.1145/514183.514186
Nentwich, C., Emmerich, W., Finkelstein, A. (2002). Edit, compile, debug: from hacking to distributed engineering.
Ouarbya, L., Danicic, S., Daoudi, M., Harman, M., Fox, C. (2002). A denotational interprocedural program slicer.
Ouarbya, L., Danicic, S., Daoudi, M., Harman, M., Fox, C. (2002). A Denotational Interprocedural Program Slicer..
Piccinelli, G., Emmerich, W., Zirpins, C., Schuette, K. (2002). Web Services Interfaces for Inter-Organizational Business Process: An Infrasctructure for Automated Reconciliation.
Piccinelli, G., Emmerich, W., Zirpins, C., Schuett, K. (2002). Web service interfaces for inter-organizational business process: An infrastructure for automated reconcilliation..
Piccinelli, G., Emmerich, W., Zirpins, C., Schuett, K. (2002). Web services interfaces for inter-organizational business process: an infrastructure for automated reconciliation. In Proceedings of the 6th IEEE International Conference on Enterprise Distributed Object Computing, Lausanne. (pp. 285-292). IEEE Computer Society Press.
Piccinelli, G., Finkelstein, A., Stammers, E. (2002). Automated engineering of e-business processes the RosettaNet case study.
Sivagurunathan, Y., Harman, M., Sivagurunathan, B. (2002). Slice-based dynamic memory modelling - A case study.
Tjortjis, C., Gold, N., Layzell, P., Bennett, K. (2002). From system comprehension to program comprehension.
Zachariadis, S., Capra, L., Mascolo, C., Emmerich, W. (2002). XMIDDLE: Information Sharing Middleware for a Mobile Environment.
Zachariadis, S., Capra, L., Mascolo, C., Emmerich, W. (2002). XMIDDLE: information sharing middleware for a mobile environment.
Zachariadis, S., Mascolo, C., Emmerich, W. (2002). Exploiting Logical Mobility in Computing Middleware.
Zachariadis, S., Mascolo, C., Emmerich, W. (2002). Exploiting logical mobility in mobile computing middleware. In Proceedings of the Distributed Computing Systems Workshops, 22nd International Conference on Distributed Computing Systems (ICDCS '02). (pp. 385-386). IEEE Computer Society Press.
Zanolin, L., Mascolo, C., Emmerich, W. (2002). Model checking programmable router configurations. UCL CS.
Zhang, X., Munro, M., Harman, M., Hu, L. (2002). Weakest precondition for general recursive programs formalized in coq.
Zhang, X., Munro, M., Harman, M., Hu, L. (2002). Weakest Precondition for General Recursive Programs Formalized in Coq..
Zhang, X.Y., Munro, M., Harman, M., Hu, L. (2002). Mechanized operational semantics of WSL.
2001
(2001). Long random linear programs do not generalize. Genetic Programming and Evolvable Machines, 2 (2), 95-100.
Barr, E.T., Pandey, R., Haungs, M. (2001). MAGE: A Distributed Programming Model..
Bennett, K., Gold, N. (2001). Achieving ultra rapid evolution using service-based software.
Bennett, K.H., Munro, M., Gold, N., Layzell, P., Budgen, D., Brereton, P. (2001). An Architectural Model for Service-Based Software with Ultra Rapid Evolution.
Bennett, K.H., Xu, J., Munro, M., Hong, Z., Layzell, P.J., Gold, N., ...Brereton, P. (2001). An Architectural Model for Service-Based Flexible Software.
Black, S. (2001). Computing ripple effect for software maintenance.. Journal of Software Maintenance and Evolution: Research and Practice, 13 (4), 263-279. doi:10.1002/smr.233
Bush, D., Finkelstein, A. (2001). Reuse of safety case claims - an initial investigation.
Buxton, B.F., Langdon, W.B., Barrett, S.J. (2001). Data fusion by intelligent classifier combination. MEASUREMENT & CONTROL, 34 (8), 229-234. doi:10.1177/002029400103400802
Buxton, B.F., Langdon, W.B., Barrett, S.J. (2001). Data fusion by intelligent classifier combination. Measurement and Control, 34 (8), 229-234.
Capra, L., Emmerich, W., Mascolo, C. (2001). Reflective middleware solutions for context-aware applications.
Capra, L., Emmerich, W., Mascolo, C. (2001). Middleware for mobile computing: awareness vs. transparency.
Capra, L., Emmerich, W., Mascolo, C. (2001). Exploiting reflection and metadata to build mobile computing middleware.
Capra, L., Emmerich, W., Mascolo, C. (2001). Position summary. Middleware for mobile computing: Awareness vs. transparency.
Capra, L., Emmerich, W., Mascolo, C. (2001). Middleware for mobile computing: Awareness vs. transparency. Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS, 164-.
Capra, L., Emmerich, W., Mascolo, C. (2001). Middleware for mobile computing: awareness vs. transparency (position summary).
Capra, L., Emmerich, W., Mascolo, C. (2001). Reflective middleware solutions for context-aware applications.
Capra, L., Emmerich, W., Mascolo, C. (2001). Exploiting reflection and metadata to build mobile computing middleware.
Capra, L., Mascolo, C., Zachariadis, S., Emmerich, W. (2001). Towards a mobile computing middleware: a synergy of reflection and mobile code techniques.
Clark, D., Hunt, S., Malacaria, P. (2001). Quantitative Analysis of the Leakage of Confidential Data. Electronic Notes in Theoretical Computer Science, 59
de Meer, H., Emmerich, W., Mascolo, C., Pezzi, N., Rio, M., Zanolin, L. (2001). Middleware and management support for programmable QoS-network.
Emmerich, W. (2001). Architectural reasoning.
Emmerich, W. (2001). OMG/CORBA: An object-oriented middleware. In Encyclopedia of Software Engineering. John Wiley & Sons.
Emmerich, W. (2001). Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA component model. In Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on foundations of software engineering, Vienna, Austria. (pp. 311-312). New York, New York, USA: ACM Press.
Emmerich, W., Ellmer, E., Fieglein, H. (2001). TIGRA - an architectural style for enterprise application integration.
Emmerich, W., Ellmer, E., Fieglein, H. (2001). TIGRA: an architectural style for enterprise application integration. In Proceedings of the 23rd International Conference on Software Engineering, Toronto, Canada. (pp. 567-576). IEEE Computer Society Press.
Emmerich, W., Kaveh, N. (2001). Component technologies: Java Beans, COM, CORBA, RMI, EJB,and the CORBA component model.
Emmerich, W., Tai, S. (2001). Preface. .
Farbey, B., Finkelstein, A. (2001). Evaluation in software engineering: ROI, but more than ROI.
Farbey, B., Finkelstein, A. (2001). Software acquisition: a business strategy analysis.
Finkelstein, A., Savigni, A. (2001). A framework for requirements engineering for context-aware services. In First International Workshop From Software Requirements to Architectures (STRAW 01) 23rd International Conference on Software Engineering. IEEE Computer Society Press.
Fox, C., Harman, M., Hierons, R., Danicic, S. (2001). Backward conditioning: a new program specialisation technique and its application to program comprehension.
Gold, N. (2001). Hypothesis-Based Concept Assignment to Support Software Maintenance.
Gold, N., Bennett, K. (2001). A Flexible Method for Segmentation in Concept Assignment.
Gold, N.E. (2001). Hypothesis-Based Concept Assignment to Support Software Maintenance: A Summary. Department of Computer Science, University of Durham.
Harman, M., Hierons, R., Danicic, S. (2001). The relationship between program dependence and mutation analysis.
Harman, M., Hierons, R., Danicic, S., Howroyd, J., Laurence, M., Fox, C. (2001). Node coarsening calculi for program slicing.
Harman, M., Hierons, R., Fox, C., Danicic, S., Howroyd, J. (2001). Pre/post conditioned slicing.
Harman, M., Hierons, R.M. (2001). An overview of program slicing..
Harman, M., Hu, L., Munro, M., Zhang, X.Y. (2001). GUSTT: An amorphous slicing system which combines slicing and transformation.
Harman, M., Hu, L., Munro, M., Zhang, X.Y. (2001). Side-effect removal transformation.
Harman, M., Jones, B. (2001). SEMINAL - Software engineering using metaheuristic INnovative ALgorithms.
Harman, M., Jones, B.F. (2001). Search-based software engineering. INFORMATION AND SOFTWARE TECHNOLOGY, 43 (14), 833-839. doi:10.1016/S0950-5849(01)00189-6
Harman, M., Jones, B.F. (2001). Software engineering using metaheuristic innovative algorithms: workshop report. INFORMATION AND SOFTWARE TECHNOLOGY, 43 (14), 905-907. doi:10.1016/S0950-5849(01)00196-3
Harman, M., Jones, B.F. (2001). The SEMINAL workshop: reformulating software engineering as a metaheuristic search problem.. ACM SIGSOFT Software Engineering Notes, 26 (6), 62-66. doi:10.1145/505532.505548
Kaveh, N., Emmerich, W. (2001). Deadlock detection in distributed object systems.
Kaveh, N., Emmerich, W. (2001). Deadlock detection in distributed object systems. In Joint Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vienna, Austria. (pp. 44-51). New York, NY, USA: ACM Press.
Krinke, J. (2001). Identifizierung von ähnlichem Code mit Programmabhängigkeitsgraphen.
Krinke, J. (2001). Identifying similar code with program dependence graphs.
Langdon, W.B. (2001). Dynamics of Evolutionary Algorithms.
Langdon, W.B. (2001). Evolutionary Data Fusion. UK .
Langdon, W.B. (2001). Prediction. .
Langdon, W.B. (2001). Maximum Product of Non-Negative Numbers. .
Langdon, W.B., Barrett, S.J., Buxton, B.F. (2001). Genetic programming for combining neural networks for drug discovery.
Langdon, W.B., Buxton, B.F. (2001). Evolving receiver operating characteristics for data fusion.
Langdon, W.B., Nordin, P. (2001). Evolving hand-eye coordination for a humanoid robot with machine code genetic programming.
Mascolo, C., Capra, L., Emmerich, W. (2001). An XML-based middleware for peer-to-peer computing.
Mascolo, C., Emmerich, W., de Meer, H. (2001). XMILE:An XML-based approach for programmable networks.
Mascolo, C., Emmerich, W., de Meer, H. (2001). An XML-based programmable network platform.
Mascolo, C., Emmerich, W., de Meer, H. (2001). XMILE: an XML-based approach for programmable networks.
Mascolo, C., Emmerich, W., Finkelstein, A. (2001). XML technologies and software engineering.
Mascolo, C., Emmerich, W., Finkelstein, A. (2001). First ICSE 2001 workshop on XML technologies and software engineering.. ACM SIGSOFT Software Engineering Notes, 26 (6), 59-61. doi:10.1145/505532.505547
Nentwich, C., Emmerich, W., Finkelstein, A. (2001). Better living with xlinkit.
Nentwich, C., Emmerich, W., Finkelstein, A. (2001). Static consistency checking for distributed specifications.
Ortega-Arjona, J.L., Roberts, G. (2001). Architectural development pattern.
Ortega-Arjona, J., Roberts, G. (2001). Pattern-Based Simulation: Simulating the Actor Model Using the Active Object Behavioural Pattern. Centro de Investigation en Computacion, Computacion y Sistemas, 5 (1), 54-66.
Piccinelli, G., Emmerich, W., Finkelstein, A. (2001). Mapping service components to EJB business objects.
Rio, M., Pezzi, N., Zanolin, L., de Meer, H., Emmerich, W., Mascolo, C. (2001). Promile: A management architecture for programmable modular routers.
Rio, M., Pezzi, N., Zanolin, L., DeMeer, H., Emmerich, W., Mascolo, C. (2001). Promile: a management architecture for programmable modular routers.
Tarr, P.L., Harrison, W.H., Ossher, H., Finkelstein, A., Nuseibeh, B., Perry, D.E. (2001). Workshop on multi-dimensional separation of concerns in software engineering.. ACM SIGSOFT Software Engineering Notes, 26 (1), 78-81. doi:10.1145/505894.505912
2000
Binkley, D., Harman, M., Raszewski, L.R., Smith, C. (2000). An empirical study of amorphous slicing as a program comprehension support tool.
Black, S., Clark, F. (2000). Measuring the Ripple Effect of Pascal Programs..
Clark, D., Hankin, C., Hunt, S. (2000). Safety of Strictness Analysis via Term Graph Rewriting.
Danicic, S., Fox, C., Harman, M., Hierons, R. (2000). ConSIT: A conditioned program slicer.
Danicic, S., Harman, M. (2000). Espresso: A Slicer Generator..
Emmerich, W. (2000). Software engineering and middleware: a roadmap. In Finkelstein, A. (Ed.), 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.
Emmerich, W. (2000). Engineering distributed objects. Chichester, UK: John Wiley & Sons.
Emmerich, W., Kaveh, N. (2000). Model checking distributed objects.
Emmerich, W., Kaveh, N. (2000). Model checking distributed objects.
Farbey, B., Finkelstein, A. (2000). Software engineering management: strategic choices for a new decade. In Proceedings of 2nd Workshop on Economics-Driven Software Engineering Research (EDSER-2), 2000, 22nd International Conference on Software Engineering. New York, NY: ACM Press.
Feldt, R., Neill, M.O., Ryan, C., Nordin, P., Langdon, W.B. (2000). GP-Beagle: A Benchmarking Problem Repository for the Genetic Programming Community.
Finkelstein, A. (2000). A Foolish Consistency: Technical Challenges in Consistency Management.
Finkelstein, A. (2000). The Future of Software Engineering 2000: 22nd International Conference on Software Engineering. New York, US: ACM Press.
Finkelstein, A. (2000). Looking back at Y2K (Alternative titles: 'Y2K: a retrospective view' and 'Head-to-head:looking back at Y2K'). Computing and Control Engineering, 11 (4), 156-159.
Finkelstein, A. (2000). Software engineering (Encylopedia entry). In Encyclopedia of Information Sciences. Marcel Dekker.
Finkelstein, A. (2000). Head-to-head: looking back at Y2K. COMPUTING & CONTROL ENGINEERING JOURNAL, 11 (4), 156-157.
Finkelstein, A. (2000). Looking back to Y2K. COMPUTING & CONTROL ENGINEERING JOURNAL, 11 (5), 254.
Finkelstein, A., Emmerich, W. (2000). The future of requirements management tools. In Quirchmayr, G., Wagner, R., Wimmer, M. (Eds.), Information Systems in Public Administration and Law. Oesterreichische Computer Gesellschaft (Austrian Computer Society).
Finkelstein, A., Kramer, J. (2000). Software engineering: a roadmap. In The future of software engineering 2000: 22nd international conference on software engineering. (pp. 3-24). New York, NY, USA: ACM Press.
Finkelstein, A., Smolko, D. (2000). Software agent architecture for consistency management in distributed documents.
Finkelstein, L., Finkelstein, A. (2000). Design theory advances and measurement science.
Fox, C., Harman, M., Hierons, R.M., Danicic, S. (2000). ConSIT: A Conditioned Program Slicer..
Gold, N., Munro, M., Bennett, K., Brooke, C., Ramage, M. (2000). Overcoming the legacy dilemma: modelling socio-technical change options. In Bustard, D., Kawalek, P., Norris, M. (Eds.), Systems modeling for business process improvement. (pp. 283-294). Artech House Publishers.
Hierons, R.M., Harman, M. (2000). Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine..
Langdon, W. (2000). Size fair and homologous tree genetic programming crossovers. Journal of Genetic Programming and Evolutionary Machines, 1 95-119. doi:10.1023/A:1010024515191
Langdon, W.B. (2000). Genetic Programming and Evolvable Machines: Books and other Resources. Genetic Programming and Evolvable Machines, 1 165-169. doi:10.1023/A:1010028616099
Langdon, W.B. (2000). Trends in Evolutionary Data Mining.
Langdon, W.B. (2000). Natural language text classification and filtering with trigrams and evolutionary nearest neighbour classifiers. Kruislaan 413, NL-1098 SJ Amsterdam, The Netherlands .
Langdon, W.B. (2000). Problems with ROC Convex Hulls. Gower Street, London .
Lano, K., Androutsopoulos, K., Clark, D. (2000). Structuring and design of reactive systems using RSDS and B.
Lano, K., Androutsopoulos, K., Clark, D. (2000). Structuring and Design of Reactive Systems Using RSDS and B.
Lano, K., Clark, D., Androutsopoulos, K., Kan, P. (2000). Invariant-based synthesis of fault-tolerant systems.
Lano, K., Clark, D., Androutsopoulos, K., Kan, P. (2000). Invariant-Based Synthesis of Fault-Tolerant Systems.
Malabarba, S., Pandey, R., Gragg, J., Barr, E.T., Barnes, J.F. (2000). Runtime Support for Type-Safe Dynamic Java Classes..
Mascolo, C., Emmerich, W., Finkelstein, A. (2000). XMILE: an incremental code mobility system based on XML technologies.
Mascolo, C., Emmerich, W., Finkelstein, A. (2000). Implementing incremental code migration with XML.
Nentwich, C., Emmerich, W., Finkelstein, A., Zisman, A. (2000). BOX: browsing objects in XML. Software Practice and Experience, 30 (15), 1661-1676.
Ortega-Arjona, J.L., Roberts, G. (2000). The communicating sequential elements pattern.
Takahashi, K., Emmerich, W., Finkelstein, A., Guerra, S. (2000). System development using application services over the Net (tutorial summary). In Proceedings of the 22rd International Conference on Software Engineering, Limerick, Ireland. (p. 830). IEEE Computer Society Press.
Takahashi, K., Emmerich, W., Finkelstein, A., Guerra, S. (2000). System development using application services over the net. Proceedings - International Conference on Software Engineering, 830-. doi:10.1109/ICSE.2000.870537
Tarr, P.L., Harrison, W.H., Ossher, H., Finkelstein, A., Nuseibeh, B., Perry, D.E. (2000). Workshop on multi-dimensional separation of concerns in software engineering (summary).
van Lamsweerde, A., Letier, E. (2000). Handling obstacles in goal-oriented requirements engineering. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 26 (10), 978-1005. doi:10.1109/32.879820
Zeller, A., Krinke, J. (2000). Programmierwerkzeuge - Versionskontrolle, Konstruktion, Testen, Fehlersuche unter Linux / Unix.. dpunkt.verlag.
Zisman, A., Emmerich, W., Finkelstein, A. (2000). Using XML to build consistency rules for distributed specifications.
1999
(1999). Foundations of Genetic Programming.
Arlow, J., Emmerich, W., Quinn, J. (1999). Literate modelling - capturing business knowledge with the UML.
Breitman, K.K., Leite, J.C.S.D.P., Finkelstein, A. (1999). The world?s a stage: a survey on requirements engineering using a real-life case study..
Chong, F.S., Langdon, W.B. (1999). Java based Distributed Genetic Programming on the Internet.
Emmerich, W., Finkelstein, A., Fuggetta, A., Montangero, C., Derniame, J. (1999). Software Process - Standards, Assessments and Improvement.
Emmerich, W., Finkelstein, A., Montangero, C., Antonelli, S., Armitage, S., Stevens, R. (1999). Managing standards compliance.
Emmerich, W., Gruhn, V. (1999). Engineering distributed objects (EDO 99) workshop summary.
Emmerich, W., Gruhn, V. (1999). Engineering distributed objects (EDO 99) workshop summary. In Proceedings of the 21st international conference on software engineering, Los Angeles, California, United States. (pp. 705-706). Los Alamitos, CA, USA: IEEE Computer Society Press.
Emmerich, W., Roodyn, N. (1999). Distributed objects.
Emmerich, W., Roodyn, N. (1999). Distributed objects. In Proceedings of the 21st International Conference on Software Engineering, Los Angeles. (pp. 665-666). Los Alamitos, CA, USA: IEEE Computer Society Press.
Emmerich, W., Schwarz, W., Finkelstein, A. (1999). Markup meets middleware.
Farbey, B., Finkelstein, A. (1999). Exploiting software supply chain business architecture: a research agenda.
Finkelstein, A., Zisman, A. (1999). XML for software engineers.
Harman, M., Fox, C., Hierons, R., Binkley, D., Danicic, S. (1999). Program simplification as a means of approximating undecidable propositions.
Hierons, R.M., Harman, M., Danicic, S. (1999). Using Program Slicing to Assist in the Detection of Equivalent Mutants..
Krinke, J., Robschink, T. (1999). Kombination von Slicing und Constraint-Solving für Software-Reengineering.
Krinke, J., Robschink, T., Snelting, G. (1999). Software safety test with VALSOFT. Informatik – Forschung und Entwicklung, 14 (2), 62-73. doi:10.1007/s004500050126
Langdon, W.B. (1999). Size Fair and Homologous Tree Crossovers. CWI, P.O. Box 94079, Kruislaan 413, NL-1090 GB Amsterdam, The Netherlands .
Langdon, W.B. (1999). Linear Increase in Tree Height Leads to Sub-Quadratic Bloat.
Langdon, W.B., Poli, R. (1999). On the Tendency for Search with Simple Evaluation Functions to Find Larger Partial Solutions. Soft Computing,
Langdon, W.B., Soule, T., Poli, R., Foster, J.A. (1999). The Evolution of Size and Shape. In Spector, L., Langdon, W.B., Reilly, U.-.M.O., Angeline, P.J. (Eds.), Advances in Genetic Programming 3. (pp. 163-190). Cambridge, MA, USA: MIT Press.
Morris, S.J., Finkelstein, A. (1999). Engineering via Discourse: Content Structure as an Essential Component for Multimedia Documents. International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 9 (6), 691-724.
Ortega-Arjona, J.L., Roberts, G. (1999). Searching basic notions for software architecture design.
Poli, R., Langdon, W.B. (1999). Sub-machine-code Genetic Programming. In Spector, L., Langdon, W.B., Reilly, U.-.M.O., Angeline, P.J. (Eds.), Advances in Genetic Programming 3. (pp. 301-323). Cambridge, MA, USA: MIT Press.
Poli, R., Page, J., Langdon, W.B. (1999). Solving Even-12, -13, -15, -17, -20 and -22 Boolean Parity Problems using Sub-machine Code GP with Smooth Uniform Crossover, Smooth Point Mutation and Demes. .
Quick, T., Dauntenhahn, K., Nehaniv, C., Roberts, G. (1999). The essence of embodiment: a framework for understanding and exploiting structural coupling and environment.
Quick, T., Dautenhahn, K., Nehaniv, C.L., Roberts, G. (1999). On bots and bacteria: Ontology independent embodiment.
Robschink, T., Krinke, J. (1999). Heuristische Graphzerlegung.
Roodyn, N., Emmerich, W. (1999). An architectural style for multiple real-time data feeds. In Proceedings of the 21st International Conference on Software Engineering, Los Angeles. (pp. 564-572). Los Alamitos, CA, USA: IEEE Computer Society Press.
Roodyn, N., Emmerich, W. (1999). An architectural style for multiple real-time data feeds.
Sharp, H., Finkelstein, A., Galal, G. (1999). Stakeholder identification in the requirements engineering process. In Proceedings of 10th International Workshop on Database & Expert Systems Applications (DEXA). (pp. 387-391). IEEE Computer Society Press.
Spanoudakis, G., Finkelstein, A., Till, D. (1999). Overlaps in Requirements Engineering. Automated Software Engineering, (6), 171-198.
Spector, L., Langdon, W.B., O'Reilly, U.-.M., Angeline, P.J. (1999). An Introduction to the Third Volume. In Spector, L., Langdon, W.B., Reilly, U.-.M.O., Angeline, P.J. (Eds.), Advances in Genetic Programming 3. (pp. 1-12). Cambridge, MA, USA: MIT Press.
Spector, L., Langdon, W.B., Reilly, U.-.M.O., Angeline, P.J. (Eds.), (1999). Advances in Genetic Programming 3. Cambridge, MA, USA: MIT Press.
Thanitsukkarn, T., Finkelstein, A. (1999). Multiperspective Analysis of the Sisyphus-I Room Allocation Task Modelled in a CG Meta-Representation Language.
1998
Armitage, S., Stevens, R., Finkelstein, A. (1998). Implementing a compliance manager. Requirements Engineering, 3 (2), 98-106.
Brooke, C., Ramage, M., Bennett, K., Gold, N. (1998). Change Effects And Legacy Information Systems: A Framework To Aid Our Understanding.
Brooke, C., Ramage, M., Gold, N. (1998). From Legacy System To Business Asset: A Model To Support Organisational And Technological Change.
Ellmer, E., Emmerich, W. (1998). Business objects: the next step in component technology?.
Ellmer, E., Emmerich, W. (1998). Business objects:the next step in component technology?. University of Waikato, New Zealand.
Ellmer, E., Emmerich, W., Finkelstein, A. (1998). Process technology implications of procurement processes: some initial observations.
Emmerich, W. (1998). Recent developments in OMG/CORBA. Tutorial summary.
Emmerich, W. (1998). Software process - standards, assessments and improvements to. In Derniame, J., Kaba, A., Wastell, D. (Eds.), Software Process: Principles, Methodology, Technology. Berlin: Springer-Verlag.
Emmerich, W. (1998). Recent developments in OMG/CORBA. In Proceedings of the 20st International Conference on Software Engineering Volume II, Kyoto, Japan. (pp. 276-277). IEEE Computer Society Press.
Emmerich, W. (1998). Software process: standards, assessments and improvements. In Derniame, J., Kaba, B., Wastell, D. (Eds.), Software Process: Principles, Methodology, Technology. (pp. 15-25). Springer Verlag.
Emmerich, W., Sawyer, P. (1998). Guest editor's introduction to the special issue on the conference on european industrial requirements engineering. Requirements Engineering Journal, 3 (2), 71-72.
Finkelstein, A. (1998). Interoperable Systems: an introduction. In Information Systems Interoperability. Research Studies Press.
Harman, M., Danicic, S. (1998). A new algorithm for slicing unstructured programs. JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE, 10 (6), 415-441. doi:10.1002/(SICI)1096-908X(199811/12)10:6<415::aid-smr180>3.0.CO;2-Z
Harman, M., Gallagher, K.B. (1998). Program slicing. INFORMATION AND SOFTWARE TECHNOLOGY, 40 (11-12), 577-581. doi:10.1016/S0950-5849(98)00084-6
Harman, M., Sivagurunathan, Y., Danicic, S. (1998). Analysis of dynamic memory access using amorphous slicing.
Krinke, J. (1998). Static slicing of threaded programs.
Krinke, J., Snelting, G. (1998). Validation of measurement software as an application of slicing and constraint solving. Information and Software Technology, 40 (11-12), 661-675.
Krinke, J., Snelting, G., Robschink, T. (1998). Software-Sicherheitsprüfung mit VALSOFT.
Langdon, W.B. (1998). Genetic Programming and Data Structures: Genetic Programming + Data Structures = Automatic Programming!. Boston: Kluwer.
Langdon, W.B. (1998). GENETIC ALGORITHMS IN ENGINEERING SYSTEMS by A.N.S. Zalzala and P.J. Fleming. IEE Control Engineering Series 55, 1997, ISBN 0 85296 902 3, 279 pp. (£ 45; Hbk).. Robotica, 16 701. doi:10.1017/S026357479821085X
Langdon, W.B., Poli, R. (1998). Why Ants are Hard. .
Langdon, W.B., Poli, R. (1998). Better Trained Ants for Genetic Programming. .
Langdon, W.B., Poli, R. (1998). Why “Building Blocks” Don’t Work on Parity Problems. .
Ortega-Arjona, J.L., Roberts, G. (1998). The concept of software structure and its relations with software architecture and software patterns.
Ortega-Arjona, J.L., Roberts, G. (1998). Architectural patterns for parallel programming.
Page, J., Poli, R., Langdon, W.B. (1998). Smooth Uniform Crossover with Smooth Point Mutation in Genetic Programming: A Preliminary Study. .
Poli, R., Langdon, W.B. (1998). On the Ability to Search the Space of Programs of Standard, One-point and Uniform Crossover in Genetic Programming. .
Poli, R., Langdon, W.B. (1998). Schema Theory for Genetic Programming with One-point Crossover and Point Mutation. Evolutionary Computation, 6 231-252. doi:10.1162/evco.1998.6.3.253
Poli, R., Langdon, W.B. (1998). Sub-machine-code Genetic Programming. .
Poli, R., Langdon, W.B., O'Reilly, U.-.M. (1998). Short Term Extinction Probability of Newly Created Schemata, and Schema Variance and Signal-to-Noise-Ratio Theorems in the Presence of Schema Creation. .
Spanoudakis, G., Finkelstein, A. (1998). A semi-automatic process of identifying overlaps and inconsistencies between requirements specifications.
Thanitsukkarn, T., Finkelstein, A. (1998). A Conceptual Graph Approach to Support Multiperspective Development Environments.
van Lamsweerde, A., Darimont, R., Letier, E. (1998). Managing conflicts in goal-driven requirements engineering. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 24 (11), 908-926. doi:10.1109/32.730542
van Lamsweerde, A., Letier, E. (1998). Integrating obstacles in goal-driven requirements engineering.
1997
Arlow, J., Bandinelli, S., Emmerich, W., Lavazza, L. (1997). Fine grained process modelling: an experiment at British Airways. Software Process: Improvement and Practice, 3 (2), 105-131. doi:10.1002/(SICI)1099-1670(199706)3:2<105::aid-spip70>3.0.CO;2-E
Arlow, J., Bandinello, S., Emmerich, W., Lavazza, L. (1997). A Fine-Grained Process Modelling Experiment at British Airways. Software Process, 3 105-131.
Emmerich, W. (1997). Introduction to OMG/CORBA.
Emmerich, W. (1997). An overview of OMG/CORBA. IEE Colloquium (Digest), (332),
Emmerich, W. (1997). CORBA and ODBMSs in Viewpoint Development Architectures.
Emmerich, W. (1997). An introduction to OMG/CORBA (tutorial).
Emmerich, W. (1997). An introduction to CORBA (tutorial summary).. In Proceedings of the 19th international conference on Software engineering, Boston, Massachusetts, United States. (pp. 641-642). New York, New York, USA: ACM Press.
Emmerich, W. (1997). CORBA and ODBMSs in viewpoint development environment architectures.
Emmerich, W., Arlow, J., Madec, J., Phoenix, M. (1997). Tool construction for the British Airways SEE with the O2 ODBMS. Theory and Practice of Object Systems, 3 (3), 213-231.
Emmerich, W., Finkelstein, A., Montangero, C. (1997). 'The World and the Machine': a critical perspective on process technology.
Emmerich, W., Finkelstein, A., Montangero, C., Stevens, R. (1997). Standards compliant software development.
Feather, M., Fickas, S., Finkelstein, A., Lamsweerde, A.V. (1997). Requirements and specification exemplars. Automated Software Engineering, 4 (4), 419-438.
Gotel, O., Finkelstein, A. (1997). Extended requirements traceability: results of an industrial case study.
Harman, M., Danicic, S. (1997). Amorphous program slicing.
Kadam, S., Roberts, G., Buxton, B. (1997). Design Patterns for Parallelizing Vision-Related Applications on Network of Workstations.
Langdon, W.B. (1997). Fitness Causes Bloat: Simulated Annealing, Hill Climbing and Populations. .
Langdon, W.B., Clack, C. (1997). Software – The Next Generation: Grow Your Own Programs. University College London, Gower Street, London .
Langdon, W.B., Poli, R. (1997). Price’s Theorem and the MAX Problem. .
Langdon, W.B., Poli, R. (1997). Fitness Causes Bloat. Birmingham, B15 2TT, UK .
Langdon, W.B., Poli, R. (1997). Genetic Programming in Europe.
Langdon, W.B., Poli, R. (1997). Genetic Programming Bloat with Dynamic Fitness. .
Langdon, W.B., Poli, R. (1997). Fitness Causes Bloat: Mutation.
Langdon, W.B., Treleaven, P.C. (1997). Scheduling Maintenance of Electrical Power Transmission Networks Using Genetic Programming. In Warwick, K., Ekwue, A., Aggarwal, R. (Eds.), Artificial Intelligence Techniques in Power Systems. (pp. 220-237). IEE.
Poli, R., Langdon, W.B. (1997). A New Schema Theory for Genetic Programming with One-Point Crossover and Point Mutation. The University of Birmingham, B15 2TT, UK .
Poli, R., Langdon, W.B. (1997). An Experimental Analysis of Schema Creation, Propagation and Disruption in Genetic Programming. .
Poli, R., Langdon, W.B. (1997). Genetic Programming with One-Point Crossover and Point Mutation. Birmingham, B15 2TT, UK .
Poli, R., Langdon, W.B. (1997). A Review of Theoretical and Experimental Results on Schemata in Genetic Programming. B15 2TT, UK .
Poli, R., Langdon, W.B. (1997). A Review of Theoretical and Experimental Results on Schemata in Genetic Programming.
Sivagurunathan, Y., Harman, M., Danicic, S. (1997). Slicing, I/O and the Implicit State..
Spanoudakis, G., Finkelstein, A. (1997). Overlaps Among Requirements Specifications.
Spanoudakis, G., Finkelstein, A. (1997). Reconciling requirements: a method for managing interference, inconsistency and conflict. Annals of Software Engineering, 3 433-457.
Winder, R., Roberts, G. (1997). Developing Java Software. London: Wiley.
1996
Barghouti, N.S., Emmerich, W., Schaefer, W., Skarra, A.H. (1996). Information management in process-centered software engineering enviroments. In Fuggetta, A., Wolf, A. (Eds.), Software Process. (pp. 53-87). Chichester: John Wiley and Sons.
Clark, D., Kennaway, R. (1996). Event Structures and Non-Orthogonal Term Graph Rewriting. Mathematical Structures in Computer Science, 6 545-578.
Emmerich, W. (1996). Tool specification with GTSL. In Proceedings of the 8th International Workshop on Software Specification and Design, Schloss Velen, Germany. (pp. 26-35). IEEE Computer Society Press.
Emmerich, W. (1996). An architecture for viewpoint environments based on OMG/CORBA. In Proceedings of the Workshop on Viewpoints, San Francisco, California, USA. (pp. 207-211). New York, NY, USA: ACM Press.
Emmerich, W., Bandinelli, S., Lavazza, L., Arlow, J. (1996). Fine grained process modelling: an experiment at British Airways. In Proceedings of the 4th International Conference on the Software Process, Brighton, United Kingdom. (pp. 2-12). IEEE Computer Society Press.
Emmerich, W., Ferrandina, F., Arlow, J. (1996). The OMG CORBAServices: an overview (in German). Objekt Spektrum, 46-56.
Emmerich, W., Ferrandina, F., Vogel, A. (1996). Integration of Java and CORBA: portable client/server-applications in the Internet (in German). Objekt Spektrum, 62-65.
Emmerich, W., Finkelstein, A. (1996). Do process-centred environments deserve process-centred tools?. In Software Process Technology, Proceedings of the 5th European Workshop.. (pp. 75-81). Springer Verlag.
Emmerich, W., Spanoudakis, G. (1996). Next-generation viewpoint-based environments. Norway: Norweigan University of Science and Technology (NTNU).
Emmerich, W., Spanoudakis, G., Finkelstein, A. (1996). Next-Generation Viewpoint-based Environments.
Finkelstein, A. (1996). Relating viewpoints: a preface to Viewpoints 96.
Finkelstein, A. (1996). Improving public understanding of software engineering. IEEE Software, 13 (6), 20-21.
Finkelstein, A. (1996). Requirements engineering research: coordination and infrastructure.
Finkelstein, A., Dowell, J. (1996). A Comedy of Errors: the London Ambulance Service case study. In 8th International Workshop on Software Specification & Design IWSSD-8. (pp. 2-4). IEEE CS Press.
Finkelstein, A., Ryan, M., Spanoudakis, G. (1996). Software package requirements and procurement. In Proceedings of 8th International Workshop on Software Specification Design (IWSSD-8). (pp. 141-146). IEEE Computer Society Press.
Finkelstein, A., Sommerville, I. (1996). The viewpoints FAQ. Software Engineering Journal, 11 (1), 2-4.
Finkelstein, A., Spanoudakis, G., Till, D. (1996). Managing Interference.
Gotel, O., Finkelstein, A. (1996). An Analysis of the Requirements Traceability Problem. In Arnold, R., Bohner, S. (Eds.), Software Change Impact Analysis. IEEE Computer Society Press.
Gotel, O., Finkelstein, A. (1996). The contribution stuctures of networked organisations. In ACM Workshop on Enabling Technologies - Infrastructure for Collaborative Enterprises (WET-ICE). ACM Press.
Gotel, O., Finkelstein, A. (1996). Extended Requirements Traceability a Framework for Changing Requirements.
Harman, M., Simpson, D., Danicic, S. (1996). Slicing Programs in the Presence of Errors..
Langdon, W. (1996). Scheduling Planned Maintenance of the South Wales Region of the National Grid. .
Langdon, W.B. (1996). Data Structures and Genetic Programming. In Angeline, P.J., K E Kinnear, J. (Eds.), Advances in Genetic Programming 2. (pp. 395-414). Cambridge, MA, USA: MIT Press.
Langdon, W.B. (1996). A Bibliography for Genetic Programming. In Angeline, P.J., K E Kinnear, J. (Eds.), Advances in Genetic Programming 2. (pp. 507-532). Cambridge, MA, USA: MIT Press.
Langdon, W.B. (1996). Using Data Structures within Genetic Programming. Gower Street, London, WC1E 6BT, UK .
Langdon, W.B. (1996). Genetic Programming and Databases. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1996). Scheduling Maintenance of Electrical Power Transmission Networks Using Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1996). Evolution of Genetic Programming Populations. Gower Street, London WC1E 6BT, UK .
Morris, S., Finkelstein, A. (1996). Integrating design and development in the production of multimedia documents. In 1996 International Workshop on Multimedia Software Development (MMSD '96). (pp. 98-107). IEEE Computer Society Press.
Nuseibeh, B., Finkelstein, A., Kramer, J. (1996). Method engineering for multi-perspective software development. Inform Software Tech, 38 (4), 267-274.
Poon, W.L., Finkelstein, A. (1996). Consistency Management for Multiple Perspective Software Development.
Spanoudakis, G., Finkelstein, A. (1996). Reconciliation: Managing Interference in Software Development.
1995
Clark, D., Kennaway, R. (1995). Some properties of non-orthogonal term graph rewriting systems. Electr. Notes Theor. Comput. Sci., 2
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.
Danicic, S., Harman, M., Sivagurunathan, Y. (1995). A parallel algorithm for static program slicing. INFORMATION PROCESSING LETTERS, 56 (6), 307-313. doi:10.1016/0020-0190(95)00170-0
Finkelstein, L., Finkelstein, A. (1995). Review of Design Methodology. In Collen, A., Gasparski, W. (Eds.), Design and Systems Praxiology: The International Annual of Practical Philosophy and Methodology. (pp. 95-122). Transaction Publishers.
Gotel, O., Finkelstein, A. (1995). Contribution structures.
Harman, M., Danicic, S. (1995). Using Program Slicing to Simplify Testing..
HARMAN, M., DANICIC, S., JONES, B., SIVAGURUNATHAN, B., SIVAGURUNATHAN, Y. (1995). Project project: Tools for program analysis and comprehension.
Langdon, W.B. (1995). Evolving Data Structures Using Genetic Programming. Gower Street, London, WC1E 6BT, UK .
Langdon, W.B. (1995). Pareto, Population Partitioning, Price and Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1995). Directed Crossover within Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1995). Data Structures and Genetic Programming. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1995). Scheduling Planned Maintenance of the National Grid. In Fogarty, T.C. (Ed.), Evolutionary Computing. (pp. 132-153). Springer-Verlag.
Langdon, W.B., Qureshi, A. (1995). Genetic Programming – Computers using “Natural Selection” to generate programs. Gower Street, London WC1E 6BT, UK .
Leonhardt, U., Kramer, J., Nuseibeh, B., Finkelstein, A. (1995). Decentralised process enactment in a multi-perspective development environment.
Nuseibeh, B., Kramer, J., Finkelstein, A., Leonhardt, U. (1995). Decentralised Process Modelling.
1994
Abiteboul, S., Adiba, M., Arlow, J., Armenise, P., Bandinelli, S., Baresi, L., ...Collet, P. (1994). The GOODSTEP project: General Object-Oriented Database for Software Engineering Processes. In In Proceedings of the 1st Asian Pacific Software Engineering Conference, Tokyo, Japan. (pp. 10-19). IEEE Computer Society Press.
Clark, D., Errington, L., Hankin, C. (1994). Static Analysis of Value-Passing Process Calculi.
Derniame, J., Finkelstein, A., Kramer, J., Nuseibeh, B. (1994). Directions in software process modelling and technology. In Software Process Modelling and Technology. Research Studies Press and John Wiley & Sons.
Easterbrook, S., Finkelstein, A., Kramer, J., Nuseibeh, B. (1994). Coordinating Conflicting ViewPoints by Managing Inconsistency.
Easterbrook, S., Finkelstein, A., Kramer, J., Nuseibeh, B. (1994). Coordinating distributed viewpoints - the anatomy of a consistency check. Concurrent Engineering, 2 (3), 209-222.
Finkelstein, A. (1994). A course on requirements engineering.
Finkelstein, A. (1994). Requirements engineering: a review and research agenda.
Finkelstein, A. (1994). Software engineering education - a place in the sun.
Finkelstein, A. (1994). Is Application Development Focused On Real Problems.
Finkelstein, A., Finkelstein, L. (1994). Requirements Engineering For Instrument Systems. Measurement & Control, 27 (8), 248-250.
Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B. (1994). Inconsistency handling in multi-perspective specifications. IEEE Transactions on Software Engineering, 20 (8), 569-578.
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.
Gotel, O., Finkelstein, A. (1994). Modelling the contribution structure underlying requirements.
HARMAN, M., DANICIC, S. (1994). USING AN INTERPRETER TO TEACH INTRODUCTORY PROGRAMMING.
HARMAN, M., DANICIC, S. (1994). USING A FUNCTIONAL LANGUAGE TO TEACH ELEMENTS OF FORMAL METHODS.
HARMAN, M., DANICIC, S. (1994). PRACTICAL SUBPROGRAM VERIFICATION - AN APPROACH WHICH USES SLICING, METRICS AND AXIOMATIC VERIFICATION.
Johnson, W.L., Finkelstein, A. (1994). Introduction..
Langdon, W.B. (1994). Quick Intro to simple-gp.c. Gower Street, London WC1E 6BT, UK .
Langdon, W.B. (1994). Genetic Programming. Department of Computer Science .
Nuseibeh, B., Finkelstein, A., Kramer, J., Easterbrook, S. (1994). Concurrent software engineering: coordinating distributed viewpoints for managing inconsistency.
Nuseibeh, B., Kramer, J., Finkelstein, A. (1994). A framework for expressing the relationships between multiple views in requirements specification. IEEE Transactions on Software Engineering (TSE), 20 (10), 760-773.
1993
Avellis, G., Finkelstein, A. (1993). Designing Composite Systems.
Clark, D., Hankin, C. (1993). A Lattice of Abstract Graphs.
Emmerich, W., Kroha, P., Schaefer, W. (1993). Object-oriented database management systems for construction of CASE environments. In Mavrik, V., Lavzanksy, J., Wagner, R. (Eds.), Database and Expert Systems Applications: Proceedings of the 4th International Conference DEXA '93, Prague, Czech Republic. (pp. 631-642). Springer Verlag.
Emmerich, W., Schaefer, W. (1993). Dedicated object management benchmarks for software engineering applications. In Proceedings of the Software Engineering Environments '93, Reading, UK. (pp. 130-142). IEEE Computer Society Press.
Emmerich, W., Schaefer, W., Welsh, J. (1993). Databases for software engineering environments: the goal has not yet been attained. In Sommerville, I., Paul, M. (Eds.), Software Engineering ESEC '93: Proceedings of the 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany. (pp. 145-162). Springer Verlag.
Finkelstein, A. (1993). European computing curricula: a guide and comparative analysis. The Computer Journal, 36 (4), 299-319.
Finkelstein, A. (1993). A Short Guide to European Computing Curricula. International Perspectives in Software Engineering, 2
Finkelstein, A., Easterbrook, S., Kramer, J., Nuseibeh, B. (1993). Multi-view Requirements Engineering.
Finkelstein, A., Easterbrook, S., Kramer, J., Nuseibeh, B. (1993). Requirements engineering through viewpoints. In DRA Colloquium on Analysis of Requirements for Software Intensive Systems. (pp. 18-26). Defence Research Agency.
Finkelstein, A., Gabbay, D.M., Hunter, A., Kramer, J., Nuseibeh, B. (1993). Inconsistency Handling in Multi-Perspective Specifications.
Finkelstein, A., Kramer, J., Abramsky, S., Broda, K., Drossopoulou, S., Eisenbach, S. (1993). An integrated engineering study scheme in computing. Computer Journal, 36 (4), 320-334.
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.
Morris, S.J., Finkelstein, A. (1993). Development of multiple media documents. In Proceedings of the Conference on Organizational Computing Systems, COOCS 1993, Milpitas, California, USA, November 1-4, 1993. (pp. 69-77). ACM.
Nuseibeh, B., Finkelstein, A., Kramer, J. (1993). Fine-grain process modelling. In 7th International Workshop on Software Specification and Design (IWSSD-7). (pp. 42-46). IEEE Computer Society Press.
Nuseibeh, B., Kramer, J., Finkelstein, A. (1993). Expressing The Relationships Between Multiple Views In Requirements Specification.
1992
Castro, J., Finkelstein, A. (1992). Requirements elicitation and formalization.
Dewal, S., Emmerich, W., Lichtinghagen, K. (1992). A decision support method for the selection of OMSs. In Proceedings of the 2nd International Conference on Systems Integration, ICSI '92, Morristown, N.J. (pp. 32-40). IEEE Computer Society Press.
Emmerich, W., Schaefer, W., Welsh, J. (1992). Suitable databases for process-centred environments do not yet exist. In Derniame, J. (Ed.), Proceedings of the 2nd European Workshop on Software Process Technology, EWSPT '92, Trondheim, Norway. (pp. 94-98). Springer Verlag.
Finkelstein, A. (1992). An advanced course on software development environments.
Finkelstein, A. (1992). Reviewing and correcting specifications. Instr Sci, 21 (1-3), 183-198.
Finkelstein, A. (1992). A scheme for review, annotation and correction of specifications. Instructional Science, 21 183-198.
Finkelstein, A. (1992). A software process immaturity model. SIGSOFT Software Engineering Notes, 17 (5), 22-23.
Finkelstein, A. (1992). Software process modelling: a manifesto. IOPener, 1 (4), 3-7.
Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B. (1992). Inconsistency handling in multi-perspective specifications.
Finkelstein, A., Kramer, J. (1992). A critical evaluation of software process modelling techniques. In IEE Colloquium on Process Planning and Modelling. London, UK: IEE.
Finkelstein, A., Kramer, J., Hales, M. (1992). Process modelling: a critical analysis. In Integrated Software Reuse: management and techniques. (pp. 137-148). Chapman and Hall and UNICOM.
Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M. (1992). Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 2 (1), 31-57.
FINKELSTEIN, A., KRAMER, J., NUSEIBEH, B., FINKELSTEIN, L., GOEDICKE, M. (1992). A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM-DEVELOPMENT - VIEWPOINTS. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2 (1), 31-57. doi:10.1142/S0218194092000038
Finkelstein, A., Nuseibeh, B., Finkelstein, L., Huang, J. (1992). Technology Transfer: software engineering and engineering design. IEE Computing and Control Engineering Journal, 3 (6), 259-265.
Finkelstein, L., Huang, J., Finkelstein, A., Nuseibeh, B. (1992). Using software specification methods for measurement instruments: Part I - structured methods. Measurement, 10 (2), 79-86.
Finkelstein, L., Huang, J., Finkelstein, A., Nuseibeh, B. (1992). Using software specification methods for measurement instruments: Part II - formal methods. Measurement, 10 (2), 87-92.
Morris, S., Finkelstein, A. (1992). An Experimental Hypertext Design Method and Applications in the Field of Art History. Computers and the History of Art, 2 (2), 45-63.
Nuseibeh, B., Finkelstein, A. (1992). Viewpoints - a vehicle for method and tool integration.
1991
Attridge, G., Finkelstein, A., Phillips, G. (1991). Application of Information Systems Modelling to Civil Protection Planning and Operations.
Bustin, P., Langdon, W.B., Elbourn, B. (1991). Sizing Report for the Company Office System at Thames Valley Park, British Gas Exploration and Production.
Emmerich, W., Gruhn, V. (1991). FUNSOFT Nets: a petri-net based software process modeling language. In Proceedings of the 6th International Workshop on Software Specification and Design, Como, Italy. (pp. 175-184). IEEE Computer Society Press.
Emmerich, W., Junkermann, G., Peuschel, B., Schaefer, W., Wolf, S. (1991). MERLIN: Knowledge-based Process Modeling. In Proceedings of the 1st European Workshop on Software Process Modeling, Milan, Italy. (pp. 181-187). Italy: A.I.C.A. Press.
Finkelstein, A. (1991). A (Neat) Alphabet Of Requirements Engineering Issues.
Finkelstein, A. (1991). Reviewing and correcting specifications. In Computers and Writing IV. (pp. 219-237). Computers and Writing Association.
Finkelstein, A. (1991). Student Problems in Software Engineering Education.
Finkelstein, A. (1991). Tracing back from requirements.
FINKELSTEIN, A. (1991). A (NEAT) ALPHABET OF REQUIREMENTS ENGINEERING ISSUES. LECTURE NOTES IN COMPUTER SCIENCE, 550 489-491.
Finkelstein, A., Goedicke, M., Kramer, J., Niskier, C. (1991). ViewPoint Oriented Software Development: methods and viewpoints in requirements engineering. In Bergstra, J., Feijs, L. (Eds.), Algebraic Methods II: theory, tools and applications. (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.
Finkelstein, A., Kramer, J., Nuseibeh, B. (1991). A viewpoint-based framework for software development environments.
Finkelstein, L., Finkelstein, A. (1991). Advances in the Automation of Instrument Systems Design.
Finkelstein, L., Finkelstein, A. (1991). The Life Cycle of Engineering Products: an analysis of concepts. Engineering Management Journal, 1 (3), 115-121.
Gilmore, S., Finkelstein, A. (1991). Teaching Formal and Informal Aspects of Software Engineering in a Unified Framework.
Goldsack, S., Finkelstein, A. (1991). Requirements engineering for real-time systems. Software Engineering Journal, 6 (3), 101-115.
Kellner, M., Feiler, P., Finkelstein, A., Katayama, T., Osterweil, L., Penedo, M., Rombach, D. (1991). ISPW-6 Software process example. In 1st International Conference on the Software Process, October 21-26 1991. (pp. 176-187). IEEE Computer Society Press.
KRAMER, J., FINKELSTEIN, A. (1991). A CONFIGURABLE FRAMEWORK FOR METHOD AND TOOL INTEGRATION. LECTURE NOTES IN COMPUTER SCIENCE, 509 233-257.
Kramer, J., Finkelstein, A. (1991). A configurable framework for method and tool integration.
1990
Finkelstein, A. (1990). 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.
Finkelstein, A. (1990). Heterogeneous, composite or multi-paradigm system development. In Encyclopedia of Software Engineering. John Wiley.
Finkelstein, A., Fuks, H. (1990). Conversation Analysis and Specification. In Luff, P., Gilbert, N., Frohlich, D. (Eds.), Computers and Conversation. (pp. 183-187). Academic Press.
Finkelstein, A., Kramer, J., Goedicke, M. (1990). ViewPoint Oriented Software Development.
Finkelstein, A., Maibaum, T., Finkelstein, L. (1990). Engineering-in-the-large - software engineering and instrumentation.
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.
HARMAN, M., DANICIC, S., GILCHRIST, R. (1990). PROGRAMMING-LANGUAGES FOR STATISTICAL COMPUTATION.
Kaplan, S.M., Finkelstein, A., Kaiser, G.E., Ryan, K., Schäfer, W. (1990). Interactively supporting the software process.
Kramer, J., Magee, J., Finkelstein, A. (1990). A Constructive Approach To The Design Of Distributed Systems.
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.
Finkelstein, A. (1989). A structural framework for the formal representation of cooperation.
Finkelstein, A., Fischer, M. (1989). Arranging a Marriage in Pakistan and Legal Expert Systems. Computers and Law, (61),
Finkelstein, A., Fuks, H. (1989). Multi-Party Specification.
Finkelstein, A., Hagelstein, J. (1989). Formal Frameworks for Understanding Information System Requirements Engineering: a research agenda.
Finkelstein, L., Finkelstein, A. (1989). Instruments and Instrument Systems: design principles. In Singh, M. (Ed.), Systems and Control Encylopedia, IV. (pp. 2533-2536). Pergamon Press.
1988
Finkelstein, A. (1988). Re-use of formatted requirements specifications.. Softw. Eng. J., 3 186-197.
Finkelstein, A. (1988). Requirements engineering: methods, tools and frameworks.
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.
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.
Langdon, W.B. (1988). A Simple Comparison of VAX and microVAX RSX. The Globalpages, 109-111.
Langdon, W.B. (1988). Patching MVE VMS 4.4 to support SI disks. The Globalpages, 108.
1987
Finkelstein, A. (1987). Reuse of formatted specifications. Software Engineering Journal, 3 (5), 186-197.
Finkelstein, A., Potts, C. (1987). Building formal specifications using structured common sense. In 4th International Workshop Software Specification and Design. (pp. 108-114). IEEE Computer Society Press.
Finkelstein, A., Potts, C. (1987). Formalising requirements systematically. In Informationsbedarfs-ermittlung und - analyse fur den Entwurf von Informationssytemen. (pp. 44-58). Springer Verlag.
Cunningham, R., Finkelstein, A. (1986). Formal requirements specification: the FOREST project. In 3rd International Workshop Software Specification and Design. (pp. 186-192). IEEE Computer Society Press.
Finkelstein, A. (1986). Making specifications dynamic objects.
Finkelstein, A., Potts, C. (1986). Formal requirements specification of real-time embedded systems.
Finkelstein, A., Potts, C. (1986). Structured common sense: the elicitation and formalisation of system requirements. In SE 1986. (pp. 236-250). Peter Peregrinus.
Langdon, W.B. (1986). Recovering Corrupted Files-11 Directories. The Globalpages, 24-25.
Langdon, W.B. (1986). Odd Problems with Installing Fortran. The Globalpages, 26-27.
Langdon, W.B. (1986). The Native Mode Restore. The Globalpages, 28.
1985
Finkelstein, A., Finkelstein, L. (1985). A Review of Instrument System Design Automation.
1983
Finkelstein, A., Finkelstein, L. (1983). Review of Design Methodology. Proc. IEE Part A, 130 (4), 213-222.
1978
Black, S., Bouillon, P. (1978). And Now For Something Completely Different.....
The SSE group currently leads several national and international research projects and participates in many more. Browse all our projects on our dedicated page.
Close
