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 | H | L | Y | Z
Number of items: 12.

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

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.

H

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).

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

Y

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; 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

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 Aug 17 05:52:31 2014 BST.