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 | D | G | H | K | L | M | O | P | S | V
Number of items: 46.

A

Antonio, G; Krinke, J; Tonella, P; (2006) Special issue on Source code analysis and manipulation. SCI COMPUT PROGRAM , 62 (3) 205 - 208. 10.1016/j.scico.2006.04.009.

B

Baker, P; Harman, M; Steinhofel, K; Skaliotis, A; (2006) Search based approaches to component selection and prioritization for the next release problem. In: Kawada, S, (ed.) ICSM 2006: 22nd IEEE International Conference on Software Maintenance, Proceedings. (pp. 176 - 185). IEEE COMPUTER SOC

Berman, L; Gallagher, K; Danicic, S; Gold, N; (2006) The sound of software: Using sonification to aid comprehension. In: IEEE International Conference on Program Comprehension. (pp. 225 - 226).

Binkley, D; Ceccato, M; Harman, M; Ricca, F; Tonella, P; (2006) Tool-supported refactoring of existing object-oriented code into aspects. In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. (pp. 698 - 717). IEEE COMPUTER SOC

Binkley, D; Danicic, S; Gyimothy, T; Harman, M; Kiss, A; Korel, B; (2006) A formalisation of the relationship between forms of program slicing. In: SCIENCE OF COMPUTER PROGRAMMING. (pp. 228 - 252). ELSEVIER SCIENCE BV

Binkley, D; Danicic, S; Gyimothy, T; Harman, M; Kiss, A; Korel, B; (2006) Theoretical foundations of dynamic program slicing. In: THEORETICAL COMPUTER SCIENCE. (pp. 23 - 41). ELSEVIER SCIENCE BV

Binkley, D; Danicic, S; Harman, M; Howroyd, J; Ouarbya, L; (2006) A formal relationship between program slicing and partial evaluation. In: Formal Asp. Comput. (pp. 103 - 119).

Binkley, D; Gold, N; Harman, M; Li, Z; Mahdavi, K; (2006) An empirical study of executable concept slice size. In: Werner, B, (ed.) 13TH WORKING CONFERENCE ON REVERSE ENGINEERING PROCEEDINGS. (pp. 103 - 112). IEEE COMPUTER SOC

Binkley, D; Harman, M; Krinke, J; (2006) Characterising, explaining, and exploiting the approximate nature of static analysis through animation. In: DiPenta, M and Moonen, L, (eds.) SIXTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. (pp. 43 - 52). IEEE COMPUTER SOC

Binkley, DW; Danicic, S; Harman, M; Howroyd, J; Ouarbya, L; (2006) A formal relationship between program slicing and partial evaluation. FORM ASP COMPUT , 18 (2) 103 - 119. 10.1007/s00165-0077-6.

D

Dean, T; Harman, M; Koschke, R; Van De Vanter, M; (2006) Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop. J SYST SOFTWARE , 79 (9) 1217 - 1218. 10.1016/j.jss.2006.02.039.

Derderian, K; Hierons, RM; Harman, M; Guo, Q; (2006) Automated unique input output sequence generation for conformance testing of FSMs. COMPUT J , 49 (3) 331 - 344. 10.1093/comjnl/bxl003.

Derrick, J; Harman, M; Hierons, RM; (2006) Formal Aspects of Computing: Guest Editorial. Formal Aspects of Computing , 18 (1) 1 - 2. 10.1007/s00165-005-0087-4.

Derrick, J; Harman, M; Hierons, RM; (2006) Guest editorial. FORM ASP COMPUT , 18 (1) 1 - 2. 10.1007/s00165-005-0087-4.

G

Gallagher, K; Binkley, D; Harman, M; (2006) Stop-list slicing. In: DiPenta, M and Moonen, L, (eds.) Sixth IEEE International Workshop on Source Code Analysis and Manipulation, Proceedings. (pp. 11 - 20). IEEE COMPUTER SOC

Gold, N; Harman, M; Li, Z; (2006) Allowing overlapping boundaries in source code using a search based approach to concept binding. In: Kawada, S, (ed.) ICSM 2006: 22nd IEEE International Conference on Software Maintenance, Proceedings. (pp. 310 - 319). IEEE COMPUTER SOC

Gold, N; Harman, M; Li, Z; Mahdavi, K; (2006) A Search Based Approach to Overlapping Concept Boundaries. In: 22nd International Conference on Software Maintenance (ICSM 06). (pp. 310 - 319). : Philadelphia, Pennsylvania, USA.

Gold, N; Harman, M; Li, Z; Mahdavi, K; (2006) Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding. In: ICSM. (pp. 310 - 319). IEEE Computer Society

Gold, N; Harman, M; Li, Z; Mahdavi, K; (2006) An Empirical Study of Executable Concept Slice Size DUPLICATE. In: $13^th$ Working Conference on Reverse Engineering (WCRE 06). (pp. 103 - 114). : Benevento, Italy.

Guo, Q; Hierons, RM; Harman, M; Derderian, K; (2006) Improving test quality using robust unique input/output circuit sequences (UIOCs). INFORM SOFTWARE TECH , 48 (8) 696 - 707. 10.1016/j.infsof.2005.08.001.

H

Hammer, C; Grimme, M; Krinke, J; (2006) Dynamic path conditions in dependence graphs. In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. (pp. 58 - 67).

Hammer, C; Krinke, J; Snelting, G; (2006) Information flow control for Java based on path conditions in dependence graphs. In: Proceedings of the IEEE International Symposium on Secure Software Engineering. (pp. 87 - 96).

Harman, M; (2006) Search-based software engineering for maintenance and reengineering. In: Proceedings of the 10th European Conference on Software Maintenance and Reengineering, Bari, Italy, 22-24 March 2006 (CSMR 2006). (pp. p. 311). IEEE Computer Society: Los Alamitos, US.

Harman, M; (2006) Search Based Software Engineering. In: Alexandrov, VN and VanAlbada, GD and Sloot, PMA and Dongarra, J, (eds.) COMPUTATIONAL SCIENCE - ICCS 2006, PT 4, PROCEEDINGS. (pp. 740 - 747). SPRINGER-VERLAG BERLIN

Harman, M; Black, S; Tonella, P; (2006) Workshop Introduction Astrenet Aspect Analysis. In: WCRE. (pp. 323 - 323). IEEE Computer Society

Harman, M; Black, S; Tonella, P; (2006) Astrenet Aspect Analysis workshop 2006. In: Werner, B, (ed.) 13th Working Conference on Reverse Engineering Proceedings. (pp. 323 - 323). IEEE COMPUTER SOC

Harman, M; Korel, B; Linos, P; Mockus, A; Shepperd, M; (2006) EMSE special issue from ICSM and Metrics. EMPIR SOFTW ENG , 11 (3) 333 - 334. 10.1007/s10664-006-9003-7.

Harman, M; Lakhotia, A; Binkley, D; (2006) Theory and algorithms for slicing unstructured programs. INFORM SOFTWARE TECH , 48 (7) 549 - 565. 10.1016/j.infsof.2005.06.001.

Harman, M; McMinn, P; (2006) Preface. Proceedings - Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2006 10.1109/TAIC-PART.2006.21.

Harman, M; Skaliotis, A; Steinhfel, K; (2006) Search-based approaches to the component selection and prioritization problem. In: Keijzer, M, (ed.) GECCO 2006: Genetic and Evolutionary Computation Conference, Vol 1 and 2. (pp. 1951 - 1952). ASSOC COMPUTING MACHINERY

K

Krinke, J; (2006) Effects of context on program slicing. JOURNAL OF SYSTEMS AND SOFTWARE , 79 (9) 1249 - 1260. 10.1016/j.jss.2006.02.040.

Krinke, J; (2006) Mining control flow graphs for crosscutting concerns. In: Werner, B, (ed.) 13TH WORKING CONFERENCE ON REVERSE ENGINEERING PROCEEDINGS. (pp. 334 - 342). IEEE COMPUTER SOC

L

Langdon, WB; (2006) Predicting Ten Thousand Bits from Ten Thousand Inputs. : Colchester, UK.

Langdon, WB; (2006) The Halting Probability in von Neumann Architectures. : UK.

Langdon, WB; (2006) Web Usage of the GP Bibliography. SIGEvolution newsletter of the ACM Special Interest Group on Genetic and Evolutionary Computation , 1 , Article 4.

Langdon, WB; Poli, R; (2006) Evolving Problems to Learn about Particle Swarm Optimisers and other Search Algorithms. : UK.

Lano, K; Androutsopoulos, K; Clark, D; (2006) Concurrency and Real time specifications in UML. In: Proceedings of MARTES workshop 2006 at MoDELS 2006 : International Workshop on Modeling and Analysis of Real-Time and Embedded Systems. Research report (Universitetet i Oslo. Institutt for informatikk

M

McMinn, P; Harman, M; Binkley, D; Tonella, P; (2006) The species per path approach to search-based test data generation. In: Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006. (pp. 13 - 23).

O

Ong, A; Clark, D; Kim, J; (2006) A hybridized ais for anomaly detection: Combining negative selection and association rules (extended abstract). Proceedings of AISB'06: Adaptation in Artificial and Biological Systems , 1 14 - 15.

P

Poli, R; Langdon, WB; (2006) Backward-chaining Evolutionary Algorithms. Artificial Intelligence , 170 , Article 11. 10.1016/j.artint.2006.04.003.

Poli, R; Langdon, WB; Dignum, S; (2006) On the Limiting Distribution of Program Sizes in Tree-based Genetic Programming.

Poli, R; Langdon, WB; Marrow, P; Kennedy, J; Clerc, M; Bratton, D; Holden, N; (2006) Communication, Leadership, Publicity and Group Formation in Particle Swarms. : UK.

Poli, R; Wright, AH; McPhee, NF; Langdon, WB; (2006) Emergent Behaviour, Population-based Search and Low-pass Filtering.

S

Snelting, G; Robschink, T; Krinke, J; (2006) Efficient path conditions in dependence graphs for software safety analysis. ACM T SOFTW ENG METH , 15 (4) 410 - 457.

V

Visaggio, G; Di Lucca, GA; Gold, N; (2006) Message from the Chairs. In: Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR.

This list was generated on Sun Jul 27 08:33:14 2014 BST.