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: 50.

A

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

Androutsopoulos, K and Binkley, D and Clark, D and Gold, N and Harman, M and Lano, K and Li, Z and IEEE, (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 and Harman, M and Hassoun, Y and Lakhotia, K and McMinn, P and Tonella, P and Vos, T (2011) Symbolic search-based testing. 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings 53 - 62.

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

Baars, AI and Lakhotia, K and Vos, TEJ and 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 and Harman, M (2011) Message from the doctoral symposium chairs. Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Beyer, H-G and 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 iii - iv.

Binkley, DW and Harman, M and 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 and 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

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

D

Danicic, S and Barraclough, RW and Harman, M and Howroyd, JD and Kiss, A and 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 and Harman, M and 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 and Zhang, YY and Alba, E and Harman, M and 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 and RINK, J and 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 and 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.
An open access version is available from UCL Discovery
 file

Gold, NE and Krinke, J and Harman, M and 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.

Harman, M (2011) Refactoring as testability transformation. Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 414 - 421.

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 and Jia, Y and Langdon, WB (2011) Strong higher order mutation-based test data generation. In: Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering. (pp. 212 - 222).

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

Harman, M and McMinn, P and De Souza, JT and Yoo, S (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 and 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 and Harman, M (2011) An Analysis and Survey of the Development of Mutation Testing. IEEE Transactions on Software Engineering

K

Küssner, M and Gold, NE and Tidhar, D and Prior, HM and 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 and ACM, (2011) Elementary Bit String Mutation Landscapes. FOGA 11: PROCEEDINGS OF THE 2011 ACM/SIGEVO FOUNDATIONS OF GENETIC ALGORITHMS XI 25 - 41.

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

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

Langdon, WB and Yoo, S and 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 and Tiella, R and Tonella, P and Alshahwan, N and Harman, M (2011) Crawlability metrics for automated web testing. International Journal on Software Tools for Technology Transfer , 13 (2) 131 - 149.

Mondal, M and Rahman, MS and Saha, RK and Roy, CK and Krinke, J and Schneider, KA and 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 and 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.

N

Nguyen, CD and Miles, S and Perini, A and Tonella, P and Harman, M and Luck, M (2011) Evolutionary testing of autonomous software agents. Autonomous Agents and Multi-Agent Systems 1 - 24.

O

Oh, J and Harman, M and 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 and Harman, M and 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 and Harman, M and 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 and Tonella, P and Wegener, J and Harman, M and Prasetya, W and Puoskari, E and 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 and Harman, M and Clark, D (2011) FLINT: Fault Localisation using Information Theory. Department of Computer Science, University College London: UK.

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

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

Z

Zhang, YY and Harman, M and Finkelstein, A and 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 Sat May 25 10:06:50 2013 BST.