UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Author | Type
Jump to: A | B | C | D | G | H | J | K | L | M | N | O | P | R | V | Y | Z
Number of items: 54.

A

Alshahwan, N; Harman, M; (2011) Automated web application testing using search based software engineering. In: 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings. (pp. 3 - 12).

Androutsopoulos, K; Binkley, D; Clark, D; Gold, N; Harman, M; Lano, K; ... IEEE,; + view all (2011) Model Projection: Simplifying Models in Response to Restricting the Environment. In: 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE). (pp. 291 - 300).

B

Baars, A; Vos, T; Harman, M; Lakhotia, K; Hassoun, Y; McMinn, P; Tonella, P; (2011) Symbolic search-based testing. 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings 53 - 62. 10.1109/ASE.2011.6100119.

Baars, AI; Harman, M; Hassoun, Y; Lakhotia, K; McMinn, P; Tonella, P; Vos, TEJ; (2011) Symbolic search-based testing. In: Alexander, P and Pasareanu, CS and Hosking, JG, (eds.) ASE. (pp. 53 - 62). IEEE

Baars, AI; Lakhotia, K; Vos, TEJ; Wegener, J; (2011) Search--Based Testing, the Underlying Engine of Future Internet Testing. In: Ganzha, M and Maciaszek, LA and Paprzycki, M, (eds.) FedCSIS. (pp. 917 - 923).

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, WB; (2011) FOGA'11 - Proceedings of the 2011 ACM/SIGEVO Foundations of Genetic Algorithms XI: Preface. FOGA'11 - Proceedings of the 2011 ACM/SIGEVO Foundations of Genetic Algorithms XI

Binkley, DW; Harman, M; Lakhotia, K; (2011) FlagRemover: A Testability Transformation for Transforming Loop-Assigned Flags. ACM T SOFTW ENG METH , 20 (3) , Article 12. 10.1145/2000791.2000796.

Bozkurt, M; Harman, M; (2011) Automatically generating realistic test input from web services. In: Proceedings - 6th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2011. (pp. 13 - 24).

C

Cinnéide, MÓ; Moghadam, IH; Boyle, D; (2011) Automated refactoring for testability. In: Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011. (pp. 437 - 443).

Clark, D; Giacobazzi, R; Mu, C; (2011) Foreword: programming language interference and dependence. Mathematical Structures in Computer Science , 21 , Article 6. 10.1017/S0960129511000168.

D

Danicic, S; Barraclough, RW; Harman, M; Howroyd, JD; Kiss, A; Laurence, MR; (2011) A unifying theory of control dependence and its application to arbitrary program structures. THEOR COMPUT SCI , 412 (49) 6809 - 6842. 10.1016/j.tcs.2011.08.033.

Di Penta, M; Harman, M; Antoniol, G; (2011) The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical study. SOFTWARE PRACT EXPER , 41 (5) 495 - 519. 10.1002/spe.1001.

Durillo, JJ; Zhang, YY; Alba, E; Harman, M; Nebro, AJ; (2011) A study of the bi-objective next release problem. EMPIR SOFTW ENG , 16 (1) 29 - 60. 10.1007/s10664-010-9147-3.

G

Gold, N; (2011) Knitting music and programming: Reflections on the frontiers of source code analysis. Proceedings - 11th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2011 10 - 14.

GOLD, N; RINK, J; SPIRO, N; (2011) Motive, gesture, and the analysis of performance. In: Gritten, A and King, E, (eds.) New Perspectives on Music and Gesture. (? - ?).

Gold, NE; Dannenberg, RB; (2011) A Reference Architecture and Score Representation for Popular Music Human-Computer Music Performance Systems. In: Jensenius, AR and Tveit, A and Godøy, RI and Overholt, D, (eds.) Proceedings of the International Conference on New Interfaces for Musical Expression, 30 May - 1 June 2011, Oslo, Norway. (pp. 36 - 39). Department of Musicology, University of Oslo / Norwegian Academy of Music: Oslo, Norway. Green open access
file

Gold, NE; Krinke, J; Harman, M; Binkley, D; (2011) Cloning in Max/MSP Patches. In: Proceedings of International Computer Music Conference 2011. (pp. 159 - 162). International Computer Music Association

H

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. 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. 10.1109/ICSTW.2011.38.

Harman, M; (2011) Software Engineering Meets Evolutionary Computation. COMPUTER , 44 (10) 31 - 39.

Harman, M; (2011) The SBSE Approach to Automated Optimization of Verification and Testing. In: Namjoshi, K and Zeller, A and Ziv, A, (eds.) HARDWARE AND SOFTWARE: VERIFICATION AND TESTING. (pp. 3 - 3). SPRINGER-VERLAG BERLIN

Harman, M; Jia, Y; Langdon, WB; (2011) Strong higher order mutation-based test data generation. In: SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering. (pp. 212 - 222).

Harman, M; Korel, B; (2011) Message from the program chairs. Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011 10.1109/ICST.2011.5.

Harman, M; Yoo, S; McMinn, P; De Souza, JT; (2011) Search based software engineering: Techniques, taxonomy, tutorial. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 1 - 59).

J

Jia, Y; Harman, M; (2011) An Analysis and Survey of the Development of Mutation Testing. IEEE T SOFTWARE ENG , 37 (5) 649 - 678. 10.1109/TSE.2010.62.

Jia, Y; Harman, M; (2011) An Analysis and Survey of the Development of Mutation Testing. IEEE T SOFTWARE ENG , 37 (5) 649 - 678. 10.1109/TSE.2010.62.

K

Küssner, M; Gold, NE; Tidhar, D; Prior, HM; Leech-Wilkinson, D; (2011) Synaesthetic Traces: Digital Acquisition of Musical Shapes. In: Proceedings of Supporting Digital Humanities 2011.

Krinke, J; (2011) Is cloned code older than non-cloned code? In: Proceedings - International Conference on Software Engineering. (pp. 28 - 33).

L

Langdon, WB; (2011) Debugging CUDA. In: Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication. (pp. 415 - 422).

Langdon, WB; (2011) Generalisation in genetic programming. In: Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication. (pp. 205 - 205).

Langdon, WB; (2011) Graphics processing units and genetic programming: an overview. SOFT COMPUTING , 15 (8) 1657 - 1669. 10.1007/s00500-011-0695-2.

Langdon, WB; (2011) Minimising Testing in Genetic Programming. : Gower Street, London WC1E 6BT, UK.

Langdon, WB; (2011) Performing with CUDA. In: Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication. (pp. 423 - 430).

Langdon, WB; ACM,; (2011) Elementary Bit String Mutation Landscapes. FOGA 11: PROCEEDINGS OF THE 2011 ACM/SIGEVO FOUNDATIONS OF GENETIC ALGORITHMS XI 25 - 41.

Langdon, WB; Arno, MJ; (2011) More Mouldy Data: Another mycoplasma gene jumps the silicon barrier into the human genome. ArXiv e-prints

Langdon, WB; Arno, MJ; (2011) More Mouldy Data: Virtual Infection of the Human Genome. : London WC1E 6BT, UK.

Langdon, WB; Yoo, S; Harman, M; (2011) Non-Recursive Beam Search on GPU for Formal Concept Analysis. : London WC1E 6BT, UK.

Langdon, WB; Yoo, S; Harman, M; (2011) Formal Concept Analysis on Graphics Hardware. In: Napoli, A and Vychodil, V, (eds.) CLA. (pp. 413 - 416). CEUR-WS.org

M

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. 10.1007/s10009-010-0177-3.

Moghadam, IH; (2011) Multi-level automated refactoring using design exploration. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 70 - 75).

Moghadam, IH; Cinnéide, MÓ; (2011) Code-Imp: A tool for automated search-based refactoring. In: Proceedings - International Conference on Software Engineering. (pp. 41 - 44).

Mondal, M; Rahman, MS; Saha, RK; Roy, CK; Krinke, J; Schneider, KA; IEEE,; (2011) An Empirical Study of the Impacts of Clones in Software Maintenance. In: 2011 IEEE 19TH INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC). (pp. 242 - 245).

Mu, C; Clark, D; (2011) A tool: Quantitative analyser for programs. Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011 145 - 146. 10.1109/QEST.2011.25.

N

Nguyen, CD; 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.

O

Oh, J; Harman, M; Yoo, S; (2011) Transition coverage testing for simulink/stateflow models using messy genetic algorithms. In: Genetic and Evolutionary Computation Conference, GECCO'11. (pp. 1851 - 1858).

P

Praditwong, K; Harman, M; Yao, X; (2011) Software Module Clustering as a Multi-Objective Search Problem. IEEE T SOFTWARE ENG , 37 (2) 264 - 282. 10.1109/TSE.2010.26.

R

Ren, J; Harman, M; Di Penta, M; (2011) Cooperative Co-evolutionary Optimization of Software Project Staff Assignments and Job Scheduling. SEARCH BASED SOFTWARE ENGINEERING , 6956 127 - 141.

V

Vos, TEJ; Tonella, P; Wegener, J; Harman, M; Prasetya, W; Puoskari, E; Buchbinder, YN; (2011) Future Internet Testing with FITTEST. In: 2011 15TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING (CSMR). (pp. 355 - 358).

Y

YOO, S; Harman, M; Clark, D; (2011) FLINT: Fault Localisation using Information Theory. Department of Computer Science, University College London: UK.

Yoo, S; Harman, M; Ur, S; (2011) Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards. In: SEARCH BASED SOFTWARE ENGINEERING. (pp. 219 - 236).

YOO, S; Harman, M; Ur, S; (2011) Highly Scalable Multi-Objective Test Suite Minimisation Using Graphics Card. Department of Computer Science, University College London: UK.

Z

Zhang, YY; Harman, M; Finkelstein, A; Mansouri, SA; (2011) Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation. INFORM SOFTWARE TECH , 53 (7) 761 - 773. 10.1016/j.infsof.2011.02.001.

This list was generated on Sun Jul 20 05:58:57 2014 BST.