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

A

Amtoft, T and Androutsopoulos, K and Clark, D and Harman, M and 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 and Androutsopoulos, K and Clark, D and Harman, M and 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 and Binkley, D and Danicic, S and Harman, M and Hierons, RM and Kiss, A and Laurence, M and Ouarbya, L (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 and Harman, M and Hassoun, Y and Islam, S and 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 and Clark, D and 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 and Hierons, RM and Harman, M and 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 and Krinke, J and Harman, M and Binkley, D (2010) Issues in clone classification for dataflow languages. In: Proceedings - International Conference on Software Engineering. (pp. 83 - 84).

Gold, NE and Rink, J and 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.

Guy, G and Dunn, S and 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.

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 and Jia, Y and Langdon, WB (2010) A manifesto for higher order mutation testing. ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops 80 - 89.

Harman, M and Kim, SG and Lakhotia, K and McMinn, P and Yoo, S (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 and 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 and 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 and Krinke, J and 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 and Krinke, J and Binkley, D and 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.
An open access version is available from UCL Discovery
 file

K

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

Krinke, J and Gold, N and Jia, Y and 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.
An open access version is available from UCL Discovery
 file

Krinke, J and Gold, N and Jia, Y and Binkley, D (2010) Distinguishing copies from originals in software clones. In: Proceedings - International Conference on Software Engineering. (pp. 41 - 48).
An open access version is available from UCL Discovery
 file

L

Lakhotia, K and Harman, M and 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 and Harman, M and 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.

Lakhotia, K and McMinn, P and 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 and Tillmann, N and Harman, M and 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 (2010) Large Scale Bioinformatics Data Mining with Parallel Genetic Programming on Graphics Processing Units. In: Vega, FFD and Cantu-Paz, E, (eds.) Parallel and Distributed Computational Intelligence. (113 - 141). Springer

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

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

Langdon, WB and 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 and Harman, M (2010) Evolving a CUDA Kernel from an nVidia Template. In: 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC). (pp. ? - ?). IEEE

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

Langdon, WB and Harman, M and 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 and McKay, RI and Spector, L (2010) Genetic Programming. In: Gendreau, M and Potvin, J-Y, (eds.) Handbook of Metaheuristics. (185 - 225). Springer

M

Marchetto, A and Tiella, R and Tonella, P and Alshahwan, N and Harman, M (2010) Crawlability metrics for automated web testing. International Journal on Software Tools for Technology Transfer 1 - 19.

McMinn, P and Stevenson, M and 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.

P

Poli, R and Vanneschi, L and Langdon, WB and 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 and Camargo, RDS and Langdon, WB and Stalteri, MA and 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 and 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 and 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 and Alba, E and Druillo, JJ and Eldh, S and 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 and Alba, E and Durillo, JJ and Eldh, S and Harman, M (2010) Today/Future importance analysis. Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10 135 - 142.

Zhang, Y and 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).

Zhao, R and Harman, M and 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 and Harman, M and 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.

This list was generated on Mon May 20 09:57:17 2013 BST.