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 | G | H | K | L | M | N | T | Y
Number of items: 24.

A

Alshahwan, N and Harman, M (2012) State aware test case regeneration for improving web application test suite coverage and fault detection. 2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings 45 - 55.

Alshahwan, N and Harman, M and Marchetto, A and Tiella, R and Tonella, P (2012) Crawlability metrics for web applications. Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012 151 - 160.

B

Bozkurt, M and Harman, M (2012) Optimised realistic test input generation using web services. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 7515 LNCS 105 - 120.

Bozkurt, M and Harman, M and Hassoun, Y (2012) Testing and verification in service-oriented architecture: A survey. Software Testing Verification and Reliability

C

Cinnéide, MÓ and Tratt, L and Harman, M and Counsell, S and Moghadam, IH (2012) Experimental assessment of software metrics using automated refactoring. International Symposium on Empirical Software Engineering and Measurement 49 - 58.

Clark, D and Hierons, RM (2012) Squeeziness: An information theoretic measure for avoiding fault masking. Information Processing Letters , 112 (8-9) 335 - 340.

G

Gold, NE (2012) A Framework to Evaluate the Adoption Potential of Interactive Performance Systems for Popular Music. In: Proceedings of the 9th Sound and Music Computing Conference: Copenhagen, Denmark, 12 – 14 July 2012. (pp. pp. 284-289). SMC Network
An open access version is available from UCL Discovery
 file

H

Harman, M (2012) The role of artificial intelligence in software engineering. 2012 1st International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012 - Proceedings 1 - 6.

Harman, M and Burke, E and Clark, JA and Yao, X (2012) Dynamic adaptive search based software engineering. International Symposium on Empirical Software Engineering and Measurement 1 - 8.

Harman, M and Jia, Y and Zhang, Y (2012) App store mining and analysis: MSR for app stores. In: IEEE International Working Conference on Mining Software Repositories. (pp. 108 - 111).

Harman, M and Lakhotia, K and Singer, J and White, DR and Yoo, S (2012) Cloud engineering is Search Based Software Engineering too. Journal of Systems and Software

Harman, M and Langdon, WB and Jia, Y and White, DR and Arcuri, A and Clark, JA (2012) The GISMOE challenge: Constructing the pareto program surface using genetic programming to find better programs (Keynote Paper). 2012 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012 - Proceedings 1 - 14.

Harman, M and Mansouri, SA and Zhang, Y (2012) Search-Based Software Engineering: Trends, Techniques and Applications. ACM COMPUTING SURVEYS , 45 (1) , Article ARTN 11. 10.1145/2379776.2379787.

K

Küssner, MB and Prior, HM and Gold, NE and Leech-Wilkinson, D (2012) Getting the shapes “right” at the expense of creativity? How musicians’ and non-musicians’ visualizations of sound differ. In: Proceedings of 12th International Conference on Music Perception and Cognition (ICMPC)/8th Triennial Conference of the European Society for the Cognitive Sciences of Music (ESCOM).

Krinke, J and Roy, CK (2012) Message from the program co-chairs. 2012 6th International Workshop on Software Clones, IWSC 2012 - Proceedings

L

Langdon, WB (2012) Creating and debugging performance CUDA C. In: UNSPECIFIED (7 - 50).

M

McMinn, P and Harman, M and Lakhotia, K and Hassoun, Y and Wegener, J (2012) Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , 38 (2) 453 - 477. 10.1109/TSE.2011.18.

Mondal, M and Roy, CK and Rahman, MS and Saha, RK and Krinke, J and Schneider, KA (2012) Comparative stability of cloned and non-cloned code: An empirical study. In: Proceedings of the ACM Symposium on Applied Computing. (pp. 1227 - 1234).

N

Nguyen, CD and Miles, S and Perini, A and Tonella, P and Harman, M and Luck, M (2012) Evolutionary testing of autonomous software agents. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS , 25 (2) 260 - 283. 10.1007/s10458-011-9175-4.

T

Tahat, L and Korel, B and Harman, M and Ural, H (2012) Regression test suite prioritization using system models. SOFTWARE TESTING VERIFICATION & RELIABILITY , 22 (7) 481 - 506. 10.1002/stvr.461.

Tahat, L and Korel, B and Harman, M and Ural, H (2012) Regression test suite prioritization using system models. Software Testing Verification and Reliability , 22 (7) 481 - 506.

Tonella, P and Marchetto, A and Nguyen, CD and Jia, Y and Lakhotia, K and Harman, M (2012) Finding the optimal balance between over and under approximation of models inferred from execution logs. Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012 21 - 30.

Y

Yoo, S and Harman, M (2012) Regression testing minimization, selection and prioritization: A survey. Software Testing Verification and Reliability , 22 (2) 67 - 120.

Yoo, S and Harman, M (2012) Test data regeneration: Generating new test data from existing test data. Software Testing Verification and Reliability , 22 (3) 171 - 201.

This list was generated on Wed Jun 12 04:53:52 2013 BST.