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 and Langdon, WB and Cunningham, P and Arno, MJ (2009) Unexpected presence of mycoplasma probes on human microarrays. BioTechniques , 47 , Article 6. 10.2144/000113271.

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

Androutsopoulos, K and Clark, D and Harman, M and Li, Z and 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 and Clark, D and Harman, M and Li, Z and 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 and Gold, N and Harman, M and Li, Z and 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 and Gold, N and Harman, M and Li, Z and 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 and Gold, N and Harman, M (2009) Maintaining WS-BPEL Workflows Using Aspects. In: Abramowicz, W and Maciaszek, LA and Kowalczyk, R and Speck, A, (eds.) BPSC. (pp. 225 - 226). GI

Bao, CH and Gold, N and 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 and 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 and Lano, K and Onunkun, T (2009) An Information Flow Analysis of B Specifications and Refinements.

D

Durillo, JJ and Zhang, Y and Alba, E and 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 and Harman, M and Mansouri, SA and Ren, J and 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 and Harman, M and 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 vii - x.

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

Harman, M and Islam, F and Xie, T and 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 and Krinke, J and Ren, J and 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 and Li, Z and McMinn, P and Offutt, J and 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 and Mansouri, SA and Zhang, Y (2009) Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications.

Hierons, RM and Bogdanov, K and Bowen, JP and Cleaveland, R and Derrick, J and Dick, J and Gheorghe, M and Harman, M and Kapoor, K and Krause, P and Luttgen, G and Simons, AJH and Vilkomir, S and Woodward, MR and Zedan, H (2009) Using Formal Specifications to Support Testing. ACM COMPUT SURV , 41 (2) , Article 9. 10.1145/1459352.1459354.

J

Jia, Y and Binkley, D and Harman, M and Krinke, J and 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 and Harman, M (2009) Higher Order Mutation Testing. In: INFORMATION AND SOFTWARE TECHNOLOGY. (pp. 1379 - 1393). ELSEVIER SCIENCE BV

L

Lakhotia, K and McMinn, P and 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).

Lakhotia, K and McMinn, P and Harman, M (2009) Automated Test Data Generation for Coverage: Haven’t We Solved This Problem Yet? Testing: Academic and Industrial Conference - Practice and Research Techniques, 2009. TAIC PART ’09. 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 and Harman, M and 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 and Harman, M and 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 and Harrison, AP (2009) Evolving DNA motifs to Predict GeneChip Probe Performance. Algorithms in Molecular Biology , 4 , Article 6. 10.1186/1748-7188-4-6.
An open access publication

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

Langdon, WB and Upton, GJG and 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 and Binkley, D and 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 and 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 and Clark, D (2009) Automatically Compute Information Flow Quantity via Probabilistic Semantics. Journal of Information Systems Security , 5 , Article 4.

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

N

Nguyen, CD and Perini, A and Tonella, P and Miles, S and Harman, M and 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 and Harman, M (2009) Regression Testing Minimisation, Selection and Prioritisation - A Survey.

Yoo, S and Harman, M and Tonella, P and 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 and Harman, M and 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 and Harman, M and 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 and 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 Wed May 22 09:47:00 2013 BST.