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 | D | G | H | I | K | L | M | P | R | Y | Z
Number of items: 48.

A

Amtoft, T; Androutsopoulos, K; Clark, D; Harman, M; Li, Z; (2010) An alternative characterization of weak order dependence. INFORM PROCESS LETT , 110 (21) 939 - 943. 10.1016/j.ipl.2010.07.023.

Amtoft, T; Androutsopoulos, K; Clark, D; Harman, M; Li, Z; (2010) An alternative characterization of weak order dependence. INFORM PROCESS LETT , 110 (21) 939 - 943. 10.1016/j.ipl.2010.07.023.

B

Barraclough, RW; Binkley, D; Danicic, S; Harman, M; Hierons, RM; Kiss, A; ... Ouarbya, L; + view all (2010) A trajectory-based strict semantics for program slicing. THEOR COMPUT SCI , 411 (11-13) 1372 - 1386. 10.1016/j.tcs.2009.10.025.

Binkley, D; Harman, M; Hassoun, Y; Islam, S; Li, Z; (2010) Assessing the impact of global variables on program dependence and dependence clusters. J SYST SOFTWARE , 83 (1) 96 - 107. 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. In: Calude, CS and Sassone, V, (eds.) IFIP TCS. (pp. 340 - 354). Springer

D

Derderian, K; Hierons, RM; Harman, M; Guo, Q; (2010) Estimating the feasibility of transition paths in extended finite state machines. AUTOMAT SOFTW ENG , 17 (1) 33 - 56. 10.1007/s10515-009-0057-9.

G

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 , Article 1.

Gold, N; Krinke, J; Harman, M; Binkley, D; (2010) Issues in clone classification for dataflow languages. In: Proceedings - International Conference on Software Engineering. (pp. 83 - 84).

Gold, NE; Rink, J; Spiro, N; (2010) The form of performance: Analyzing pattern distribution in select recordings of Chopin's Mazurka op. 24 no. 2. Musicae Scientiae: the journal of the European Society for the Cognitive Sciences of Music , 14 (2) 23 - 55. 10.1177/102986491001400202.

Guy, G; Dunn, S; Gold, N; (2010) Capturing Visitor Experiences for Study and Preservation. In: Digital Humanities 2010.

H

Harman, M; (2010) Automated Patching Techniques: The Fix Is In. COMMUN ACM , 53 (5) 108 - 108. 10.1145/1735223.1735248.

Harman, M; (2010) The relationship between search based software engineering and predictive modeling. In: ACM International Conference Proceeding Series.

Harman, M; (2010) Why Source Code Analysis and Manipulation will always be important. Proceedings - 10th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2010 7 - 19. 10.1109/SCAM.2010.28.

Harman, M; (2010) Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization. In: Rosenblum, DS and Taentzer, G, (eds.) FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS. (pp. 1 - 12). SPRINGER-VERLAG BERLIN

Harman, M; Jia, Y; Langdon, WB; (2010) A manifesto for higher order mutation testing. ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops 80 - 89. 10.1109/ICSTW.2010.13.

Harman, M; Kim, SG; Lakhotia, K; Yoo, S; McMinn, P; (2010) Optimizing for the number of tests generated in search based test data generation with an application to the oracle cost problem. In: ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops. (pp. 182 - 191).

Harman, M; Mansouri, A; (2010) Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering. IEEE T SOFTWARE ENG , 36 (6) 737 - 741.

Harman, M; McMinn, P; (2010) A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search. IEEE T SOFTWARE ENG , 36 (2) 226 - 247. 10.1109/TSE.2009.71.

I

Islam, SS; Krinke, J; Binkley, D; (2010) Dependence cluster visualization. In: SOFTVIS '10: Proceedings of the 5th international symposium on Software visualization. (pp. pp. 93-102). ACM Press: New York, US.

Islam, SS; Krinke, J; Binkley, D; Harman, M; (2010) Coherent dependence clusters. In: Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering: PASTE '10. (pp. pp. 53-60). ACM: New York, US. Green open access
file

K

Khalid Alzarouni, DC; Tratt, L; (2010) Semantic Malware Detection.

Krinke, J; Gold, N; Jia, Y; Binkley, D; (2010) Cloning and Copying between GNOME Projects. In: Proceedings of the 2010 7th IEEE Working Conference on Mining Software Repositories: co-located with ICSE 2010, May 2-3, 2010, Cape Town, South Africa: MSR 2010, mining software repositories. (pp. 98 - 101). IEEE Computer Society: Piscataway, US. Green open access
file

Krinke, J; Gold, N; Jia, Y; Binkley, D; (2010) Distinguishing copies from originals in software clones. In: Proceedings - International Conference on Software Engineering. (pp. 41 - 48). Green open access
file

L

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. In: Search Based Software Engineering (SSBSE), 2010 Second International Symposium on Search Based Software Engineering. (pp. 101 -110 - 101 -110).

Lakhotia, K; Harman, M; Gross, H; (2010) AUSTIN: A tool for search based software testing for the C language and its evaluation on deployed automotive systems. Proceedings - 2nd International Symposium on Search Based Software Engineering, SSBSE 2010 101 - 110. 10.1109/SSBSE.2010.21.

Lakhotia, K; McMinn, P; Harman, M; (2010) An empirical investigation into branch coverage for C programs using CUTE and AUSTIN. In: J SYST SOFTWARE. (pp. 2379 - 2391). ELSEVIER SCIENCE INC

Lakhotia, K; Tillmann, N; Harman, M; de Halleux, J; (2010) FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. In: Petrenko, A and Simao, A and Maldonado, JC, (eds.) TESTING SOFTWARE AND SYSTEMS. (pp. 142 - 157). SPRINGER-VERLAG BERLIN

Langdon, WB; (2010) 2-bit Flip Mutation Elementary Fitness Landscapes. : Gower Street, London WC1E 6BT, UK.

Langdon, WB; (2010) GPU Working Party: Slides presented at Dagstuhl. UNSPECIFIED

Langdon, WB; Graillet, OS; Harrison, AP; (2010) Automated DNA Motif Discovery. UNSPECIFIED

Langdon, WB; Graillet, OS; Harrison, AP; (2010) RNAnet a Map of Human Gene Expression. UNSPECIFIED

Langdon, WB; Gustafson, SM; (2010) Genetic Programming and Evolvable Machines: ten years of reviews. Genetic Programming and Evolvable Machines , 11 , Article 3/4. 10.1007/s10710-010-9111-4.

Langdon, WB; Harman, M; (2010) Evolving a CUDA Kernel from an nVidia Template. In: 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC). (pp. ? - ?). IEEE

Langdon, WB; Harman, M; (2010) Evolving gzip matches Kernel from an nVidia CUDA Template. : London, WC2R 2LS, UK.

Langdon, WB; Harman, M; Jia, Y; (2010) Efficient multi-objective higher order mutation testing with genetic programming. J SYST SOFTWARE , 83 (12) 2416 - 2430. 10.1016/j.jss.2010.07.027.

Langdon, WB; McKay, RI; Spector, L; (2010) Genetic Programming. In: Gendreau, M and Potvin, J-Y, (eds.) Handbook of Metaheuristics. (185 - 225). Springer

M

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. 10.1145/1868048.1868049.

P

Poli, R; Vanneschi, L; Langdon, WB; McPhee, NF; (2010) Theoretical Results in Genetic Programming: The next ten years? Genetic Programming and Evolvable Machines , 11 , Article 3/4. 10.1007/s10710-010-9110-5.

R

Rowsell, J; Camargo, RDS; Langdon, WB; Stalteri, MA; Harrison, AP; (2010) Uncovering the Expression Patterns of Chimeric Transcripts Using Surveys of Affymetrix GeneChips. Journal of Integrative Bioinformatics , 7 , Article 3. 10.2390/biecoll-jib-2010-137.

Y

Yoo, S; Harman, M; (2010) Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation. J SYST SOFTWARE , 83 (4) 689 - 701. 10.1016/j.jss.2009.11.706.

Yoo, S; Harman, M; (2010) Using Hybrid Algorithm Using Hybrid Algorithm For Pareto Effcient Multi-Objective Test Suite Minimisation. Journal of Systems Software , 83 , Article 4.

Z

Zhang, Y; (2010) Multi-Objective Search-based Requirements Selection and Optimisation. Doctoral thesis, UNSPECIFIED.

Zhang, Y; Alba, E; Druillo, JJ; Eldh, S; Harman, M; (2010) Today/Future Importance Analysis. In: Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation (GECCO '10). (pp. 1357 - 1364). ACM

Zhang, Y; Harman, M; (2010) Search based optimization of requirements interaction management. In: Proceedings - 2nd International Symposium on Search Based Software Engineering, SSBSE 2010. (pp. 47 - 56).

Zhang, Y; Harman, M; Alba, E; Durillo, JJ; Eldh, S; (2010) Today/Future importance analysis. Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10 135 - 142. 10.1145/1830483.1830733.

Zhao, R; Harman, M; Li, Z; (2010) Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models. In: ICSTW ’10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops. (pp. 222 - 231). IEEE Computer Society: Washington, DC, USA.

Zhao, R; Harman, M; Li, Z; (2010) Empirical study on the efficiency of search based test generation for EFSM models. ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops 222 - 231. 10.1109/ICSTW.2010.44.

This list was generated on Sun Jul 27 08:32:33 2014 BST.