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 | F | G | H | J | L | M | N | Y | Z
Number of items: 43.

A

Aldecoa-Otalora, E; Langdon, WB; Cunningham, P; Arno, MJ; (2009) Unexpected presence of mycoplasma probes on human microarrays. BioTechniques , 47 , Article 6. 10.2144/000113271.

Alshahwan, N; Harman, M; Marchetto, A; Tonella, P; (2009) Improving web application testing using testability measures. 2009 11th IEEE International Symposium on Web Systems Evolution, WSE 2009 49 - 58. 10.1109/WSE.2009.5630393.

Androutsopoulos, K; Clark, D; Harman, M; Li, Z; Tratt, L; (2009) Control Dependence for Extended Finite State Machines. In: Chechik, M and Wirsing, M, (eds.) FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS. (pp. 216 - 230). SPRINGER-VERLAG BERLIN

Androutsopoulos, K; Clark, D; Harman, M; Li, Z; Tratt, L; (2009) Control Dependence for Extended Finite State Machines. In: Chechik, M and Wirsing, M, (eds.) FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS. (pp. 216 - 230). SPRINGER-VERLAG BERLIN

Androutsopoulos, K; Gold, N; Harman, M; Li, Z; Tratt, L; (2009) A Theoretical and Empirical Study of EFSM Dependence. In: 2009 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, CONFERENCE PROCEEDINGS. (pp. 287 - 296). IEEE COMPUTER SOC

Androutsopoulos, K; Gold, N; Harman, M; Li, Z; Tratt, L; (2009) A Theoretical and Empirical Study of EFSM Dependence. In: 2009 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, CONFERENCE PROCEEDINGS. (pp. 287 - 296). IEEE COMPUTER SOC

B

Bao, CH; Gold, N; Harman, M; (2009) Maintaining WS-BPEL workflows using aspects. In: Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI). (pp. 225 - 226).

Bao, CH; Gold, N; Harman, M; (2009) Maintaining WS-BPEL Using Aspects. In: Witold, A and Maciaszek, LA and Kowalczyk, R and Speck, A, (eds.) Business Process, Services Computing and Intelligent Service Management. (pp. 225 - 226).

Binkley, D; Harman, M; (2009) Identifying 'Linchpin Vertices' that Cause Large Dependence Clusters. In: 2009 NINTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. (pp. 89 - 98). IEEE COMPUTER SOC

C

Clark, D; Lano, K; Onunkun, T; (2009) An Information Flow Analysis of B Specifications and Refinements.

D

Durillo, JJ; Zhang, Y; Alba, E; Nebro, AJ; (2009) A Study of the Multi-Objective Next Release Problem. In: Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09). (pp. 49 - 58). IEEE

F

Finkelstein, A; Harman, M; Mansouri, SA; Ren, J; Zhang, YY; (2009) A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making. REQUIR ENG , 14 (4) 231 - 245. 10.1007/s00766-009-0075-y.

G

Gold, N; (2009) Service-Oriented Software in the Humanities: A Software Engineering Perspective. Digital Humanities Quarterly , 3 , Article 4.

Gueorguiev, S; Harman, M; Antoniol, G; (2009) Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering. In: Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009. (pp. 1673 - 1680).

H

Harman, M; (2009) Message from the general chair. Proceedings - 1st International Symposium on Search Based Software Engineering, SSBSE 2009 10.1109/SSBSE.2009.4.

Harman, M; Binkley, D; Gallagher, K; Gold, N; Krinke, J; (2009) Dependence Clusters in Source Code. ACM T PROGR LANG SYS , 32 (1) , Article 1. 10.1145/1596527.1596528.

Harman, M; Islam, F; Xie, T; Wappler, S; (2009) Automated Test Data Generation for Aspect-Oriented Programs. In: AOSD'09: 8TH INTERNATIONAL CONFERENCE ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT. (pp. 185 - 196). ASSOC COMPUTING MACHINERY

Harman, M; Krinke, J; Ren, J; Yoo, S; (2009) Search based data sensitivity analysis applied to requirement engineering. In: Raidl, G and Rothlauf, F, (eds.) Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009. (pp. 1681 - 1688). ACM: New York, US.

Harman, M; Li, Z; McMinn, P; Offutt, J; Clark, J; (2009) TAIC PART 2007 and Mutation 2007 special issue editorial. J SYST SOFTWARE , 82 (11) 1753 - 1754. 10.1016/j.jss.2009.06.028.

Harman, M; Mansouri, SA; Zhang, Y; (2009) Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications.

Hierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, J; ... Zedan, H; + view all (2009) Using Formal Specifications to Support Testing. ACM COMPUT SURV , 41 (2) , Article 9. 10.1145/1459352.1459354.

J

Jia, Y; Binkley, D; Harman, M; Krinke, J; Matsushita, M; (2009) KClone: A proposed approach to fast precise code clone detection. In: (Proceedings) Third International Workshop on Detection of Software Clones (IWSC).

Jia, Y; Harman, M; (2009) Higher Order Mutation Testing. In: INFORMATION AND SOFTWARE TECHNOLOGY. (pp. 1379 - 1393). ELSEVIER SCIENCE BV

L

Lakhotia, K; McMinn, P; Harman, M; (2009) Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet? 2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009 95 - 104. 10.1109/TAICPART.2009.15.

Lakhotia, K; McMinn, P; Harman, M; (2009) Automated Test Data Generation for Coverage: Haven’t We Solved This Problem Yet? In: Testing: Academic and Industrial Conference - Practice and Research Techniques, 2009. TAIC PART ’09. (pp. 95 -104 - 95 -104).

Langdon, WB; (2009) A CUDA SIMT Interpreter for Genetic Programming. : Strand, WC2R 2LS, UK.

Langdon, WB; (2009) Scaling of Program Functionality. Genetic Programming and Evolvable Machines , 10 , Article 1. 10.1007/s10710-008-9065-y.

Langdon, WB; (2009) A Fast High Quality Pseudo Random Number Generator for nVidia CUDA. In: Wilson, G, (ed.) CIGPU workshop at GECCO. (pp. 2511 - 2513). ACM: Montreal.

Langdon, WB; Harman, M; Jia, Y; (2009) Multi Objective Higher Order Mutation Testing with Genetic Programming. In: 2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009. (pp. 21 - 29). IEEE COMPUTER SOC

Langdon, WB; Harman, M; Jia, Y; (2009) Multi objective higher order mutation testing with GP. In: Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009. (pp. 1945 - 1945).

Langdon, WB; Harrison, AP; (2009) Evolving DNA motifs to Predict GeneChip Probe Performance. Algorithms in Molecular Biology , 4 , Article 6. 10.1186/1748-7188-4-6. Gold open access

Langdon, WB; Rowsell, J; Harrison, AP; (2009) Creating Regular Expressions as mRNA Motifs with GP to Predict Human Exon Splitting. : Strand, London, WC2R 2LS, UK.

Langdon, WB; Upton, GJG; Harrison, AP; (2009) Probes containing runs of guanine provide insights into the biophysics and bioinformatics of Affymetrix GeneChips. Briefings in Bioinformatics , 10 , Article 3. 10.1093/bib/bbp018.

M

McMinn, P; Binkley, D; Harman, M; (2009) Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing. ACM T SOFTW ENG METH , 18 (3) , Article 11. 10.1145/1525880.1525884.

Mu, C; Clark, D; (2009) An Interval-based Abstraction for Quantifying Information Flow. Electr. Notes Theor. Comput. Sci. , 253 , Article 3. 10.1016/j.entcs.2009.10.009.

Mu, C; Clark, D; (2009) Automatically Compute Information Flow Quantity via Probabilistic Semantics. Journal of Information Systems Security , 5 , Article 4.

Mu, C; Clark, D; (2009) Quantitative Analysis of Secure Information Flow via Probabilistic Semantics. In: ARES. (pp. 49 - 57). IEEE Computer Society

N

Nguyen, CD; Perini, A; Tonella, P; Miles, S; Harman, M; Luck, M; (2009) Evolutionary testing of autonomous software agents. In: Sierra, C and Castelfranchi, C and Decker, KS and Sichman, JS, (eds.) AAMAS (1). (pp. 521 - 528). IFAAMAS

Y

Yoo, S; Harman, M; (2009) Regression Testing Minimisation, Selection and Prioritisation - A Survey.

Yoo, S; Harman, M; Tonella, P; Susi, A; (2009) Clustering Test Cases to Achieve Effective & Scalable Prioritisation Incorporating Expert Knowledge. In: ISSTA 2009: INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS. (pp. 201 - 211). ASSOC COMPUTING MACHINERY

Yoo, S; Harman, M; Ur, S; (2009) Measuring and Improving Latency to Avoid Test Suite Wear Out. In: Proceedings of the Interntional Conference on Software Testing, Verification and Validation Workshop (ICSTW 2009). (pp. 101-110 - 101-110). IEEE Computer Society Press

Yoo, S; Harman, M; Ur, S; (2009) Measuring and Improving Latency to Avoid Test Suite Wear Out. In: ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS. (pp. 101 - 110). IEEE COMPUTER SOC

Z

Zhao, R; Li, Z; (2009) Boundary Value Testing Using Integrated Circuit Fault Detection Rule. In: TAIC-PART ’09: Proceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques. (pp. 3 - 12). IEEE Computer Society: Washington, DC, USA.

This list was generated on Sun Apr 13 04:54:43 2014 BST.