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: B | C | D | G | H | K | L | P | S | T | Y | Z
Number of items: 40.

B

Bellon, S; Koschke, R; Antoniol, G; Krinke, J; Merlo, E; (2007) Comparison and evaluation of clone detection tools. IEEE T SOFTWARE ENG , 33 (9) 577 - 591. 10.1109/TSE.2007.70725.

Binkley, D; Gold, N; Harman, M; (2007) An empirical study of static program slice size. ACM Transactions on Software Engineering and Methodology (TOSEM) , 16 , Article 2.

Binkley, D; Gold, N; Harman, M; (2007) An empirical study of static program slice size. ACM T SOFTW ENG METH , 16 (2) , Article 8. 10.1145/1217295.1217297.

Bouillon, P; Krinke, J; Meyer, N; Steimann, F; (2007) EZUNIT: A framework for associating failed unit tests with potential programming errors. In: Concas, G and Damiani, E and Scotto, M and Succi, G, (eds.) Agile Processes in Software Engineering and Extreme Programming, Proceedings. (pp. 101 - 104). SPRINGER-VERLAG BERLIN

C

Clark, D; Danicic, S; Giacobazzi, R; (2007) Special issue on Programming Language Interference and Dependence. J. Log. Algebr. Program. , 72 , Article 2. 10.1016/j.jlap.2007.02.006.

Clark, D; Hunt, S; (2007) Non-Interference For Interactive Programs. UNSPECIFIED, Kongens Lyngby, Denmark.

Clark, D; Hunt, S; Malacaria, P; (2007) A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security , 15 , Article 3.

D

Danicic, S; Harman, M; Hierons, R; Howroyd, J; Laurence, MR; (2007) Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. THEOR COMPUT SCI , 373 (1-2) 1 - 18. 10.1016/j.tcs.2006.10.001.

Danicic, S; Harman, M; Howroyd, J; Ouarbya, L; (2007) A non-standard semantics for program slicing and dependence analysis. J LOGIC ALGEBR PROGR , 72 (2) 191 - 206. 10.1016/j.jlap.2007.02.010.

Di Penta, M; Antoniol, G; Harman, M; Qureshi, F; (2007) The effect of communication overhead on software maintenance project staffing: A search-based approach. In: IEEE International Conference on Software Maintenance, ICSM. (pp. 315 - 324).

Di Penta, M; Harman, M; Antoniol, G; Qureshi, F; (2007) The effect of communication overhead on software maintenance project staffing: a search-based approach. In: 2007 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE. (pp. 64 - 73). IEEE

Dunn, S; Gold, N; Hughes, L; (2007) CHIMERA: A Service Oriented Computing Approach for Archaeological Research. In: Computer Applications and Quantitative Methods in Archaeology. : Berlin.

G

Guo, Q; Hierons, RA; Harman, M; Derderian, K; (2007) Heuristics for fault diagnosis when testing from finite state machines. SOFTW TEST VERIF REL , 17 (1) 41 - 57. 10.1002/stvr.352.

H

Hammer, C; Nodes, F; Krinke, J; (2007) Intransitive noninterference in dependence graphs. In: Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. (pp. 119 - 128).

Harman, M; (2007) A message from the TAIC PART 2007 and mutation 2007 general chair. Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007 10.1109/TAICPART.2007.4344089.

Harman, M; (2007) Automated test data generation using search based software engineering. In: Proceedings - International Conference on Software Engineering.

Harman, M; (2007) The current state and future of search based software engineering. In: Briand, LC and Wolf, AL, (eds.) FOSE 2007: FUTURE OF SOFTWARE ENGINEERING. (pp. 342 - 357). IEEE COMPUTER SOC

Harman, M; (2007) Search based software engineering for program comprehension. In: Wong, K and Stroulia, E and Tonella, P, (eds.) ICPC 2007: 15TH IEEE INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION, PROCEEDINGS. (pp. 3 - 13). IEEE COMPUTER SOC

Harman, M; Hassoun, Y; Lakhotia, K; McMinn, P; Wegener, J; (2007) The impact of input domain reduction on search-based test data generation. In: 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007. (pp. 155 - 164).

Harman, M; Lakhotia, K; McMinn, P; (2007) A Multi-Objective Approach To Search-Based Test Data Generation. In: GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. (pp. 1098 - 1105). ASSOC COMPUTING MACHINERY

Harman, M; McMinn, P; (2007) A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation. In: 2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07. (pp. 73 - 83).

Harman, M; Tratt, L; (2007) Pareto Optimal Search Based Refactoring at the Design Level. In: GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. (pp. 1106 - 1113). ASSOC COMPUTING MACHINERY

K

Krinke, J; (2007) Changes to Code Clones in Evolving Software. In: Softwaretechnik-Trends.

Krinke, J; (2007) Information flow and taint analysis with dependence graphs. In: Proceedings International Workshop on Code Based Software Security Assessments (CoBaSSA). (pp. 6 - 9).

Krinke, J; (2007) A study of consistent and inconsistent changes to code clones. In: DiPenta, M and Maletic, JI, (eds.) 14TH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. (pp. 170 - 178). IEEE COMPUTER SOC

Krinke, J; (2007) Statement-level cohesion metrics and their visualization. In: Korel, B and Godfrey, MW, (eds.) SEVENTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. (pp. 37 - 46). IEEE COMPUTER SOC

L

Langdon, WB; (2007) A SIMD interpreter for Genetic Programming on GPU Graphics Cards. : Colchester, UK.

Langdon, WB; (2007) PRNG Random Numbers on GPU. : University of Essex Wivenhoe Park, Colchester CO4 3SQ, UK.

Langdon, WB; (2007) The Cg Tutorial, Fernando and Kilgard, Addison-Wesley nVidia ISBN 0-321-19496-9. Computer Graphics Forum , 26 , Article 4.

Langdon, WB; Poli, R; (2007) Evolving Problems to Learn about Particle Swarm Optimisers and other Search Algorithms. IEEE Transactions on Evolutionary Computation , 11 , Article 5. 10.1109/TEVC.2006.886448.

Lano, K; Clark, D; (2007) Direct Semantics of Extended State Machines. Journal of Object Technology , 6 , Article 9. 10.5381/jot.2007.6.9.a2.

Li, Z; Harman, M; Hierons, R; (2007) Meta-heuristic Search Algorithms for Regression Test Case Prioritization. IEEE Transactions on Software Engineering , 33 , Article 4.

Li, Z; Harman, M; Hierons, RM; (2007) Search algorithms for regression test case prioritization. IEEE T SOFTWARE ENG , 33 (4) 225 - 237.

P

Poli, R; Langdon, WB; McPhee, NF; Koza, JR; (2007) Genetic Programming An Introductory Tutorial and a Survey of Techniques and Applications. : UK.

S

Spanoudakis, G; Kloukinas, C; Androutsopoulos, K; (2007) Towards Security Monitoring Patterns. In: APPLIED COMPUTING 2007, VOL 1 AND 2. (pp. 1518 - 1525). ASSOC COMPUTING MACHINERY

Spiro, N; Gold, N; Rink, J; (2007) In Search of Motive: Identification of Repeated Patterns in Performance and Their Structural Context. In: Inaugural International Conference on Music Communication Science (ICoMCS). (pp. 152 - 154). : Sydney, Australia.

Spiro, N; Gold, N; Rink, J; (2007) Performance motives: analysis and comparison of performance timing repetitions using pattern matching and Formal Concept Analysis. In: Williamon, A and Coimbra, D, (eds.) International Symposium on Performance Science. (pp. 175 - 180). : Porto.

T

Tomassini, M; Luthi, L; Giacobini, M; Langdon, WB; (2007) The Structure of the Genetic Programming Collaboration Network. Genetic Programming and Evolvable Machines , 8 , Article 1. 10.1007/s10710-006-9018-2.

Y

Yoo, S; Harman, M; (2007) Pareto efficient multi-objective test case selection. In: 2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07. (pp. 140 - 150).

Z

Zhang, YY; Harman, M; Mansouri, SA; (2007) The Multi-Objective Next Release Problem. In: GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. (pp. 1129 - 1136). ASSOC COMPUTING MACHINERY

This list was generated on Sun Jul 20 05:58:05 2014 BST.