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 | K | L | M | S | W | Z
Number of items: 53.

A

Adamopoulos, K; Harman, M; Hierons, RM; (2004) How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution. In: Deb, K and Poli, R and Banzhaf, W and Beyer, HG and Burke, E and Darwen, P and Dasgupta, D and Floreano, D and Foster, O and Harman, M and Holland, O and Lanzi, PL and Spector, L and Tettamanzi, A and Thierens, D and Tyrrell, A, (eds.) GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS. (pp. 1338 - 1349). SPRINGER-VERLAG BERLIN

Antoniol, G; Di Penta, M; Harman, M; (2004) A robust search-based approach to project management in the presence of abandonment, rework, error and uncertainty. In: 10TH INTERNATIONAL SYMPOSIUM ON SOFTWARE METRICS, PROCEEDINGS. (pp. 172 - 183). IEEE COMPUTER SOC

Antoniol, G; Di Penta, M; Harman, M; (2004) Search-based techniques for optimizing software project resource allocation. In: Deb, K and Poli, R and Banzhaf, W and Beyer, HG and Burke, E and Darwen, P and Dasgupta, D and Floreano, D and Foster, O and Harman, M and Holland, O and Lanzi, PL and Spector, L and Tettamanzi, A and Thierens, D and Tyrrell, A, (eds.) GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS. (pp. 1425 - 1426). SPRINGER-VERLAG BERLIN

B

Baresel, A; Harman, M; Binkley, D; Korel, B; (2004) Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach. In: ISSTA 2004 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis. (pp. 108 - 118).

Binkley, D; Burd, L; Harman, M; Tonella, P; (2004) Source Code Analysis and Manipulation - Introduction. In: SOFTWARE QUAL J. (pp. 293 - 295). KLUWER ACADEMIC PUBL

Binkley, D; Danicic, S; Gyimothy, T; Harman, M; Kiss, A; Ouarbya, L; (2004) Formalizing executable dynamic and forward slicing. In: FOURTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. (pp. 43 - 52). IEEE COMPUTER SOC

Binkley, D; Harman, M; (2004) A survey of empirical results on program slicing. ADV COMPUT , 62 105 - 178.

Binkley, D; Harman, M; (2004) Analysis and visualization of predicate dependence on formal parameters and global variables. IEEE T SOFTWARE ENG , 30 (11) 715 - 735.

Bouillon, P; Krinke, J; (2004) A platform for teaching distributed software engineering. In: (Proceedings) Cooperative Support for Distributed Software Engineering Processes. (pp. 139 - 144).

Bouillon, P; Krinke, J; (2004) Using Eclipse in distant teaching of software engineering. In: Burke, MG, (ed.) ETX. (pp. 22 - 26). ACM

Breu, S; Krinke, J; (2004) Aspect mining using event traces. In: 19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS. (pp. 310 - 315). IEEE COMPUTER SOC

C

Clark, D; Hunt, S; Malacaria, P; (2004) Non-Interference For Weak Observers. UNSPECIFIED, Verona, Italy.

Clark, D; Hunt, S; Malacaria, P; (2004) Quantified Interference: Information Theory and Information Flow. UNSPECIFIED

Clark, J; Harman, M; Hierons, R; (2004) Software testing in the United Kingdom. SOFTW TEST VERIF REL , 14 (3) 165 - 166. 10.1002/stvr.302.

Corney, DPA; Buxton, BF; Langdon, WB; Jones, DT; (2004) BioRAT: Extracting biological information from full-length papers. Bioinformatics , 20 (17) 3206 - 3213. 10.1093/bioinformatics/bth386.

D

Danicic, S; De Lucia, A; Harman, M; (2004) Building executable union slices using conditioned slicing. In: IWPC 2004: 12TH IEEE INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS. (pp. 89 - 97). IEEE COMPUTER SOC

Derderian, K; Hierons, RM; Harman, M; Guo, Q; (2004) Input sequence generation for testing of Communicating Finite State Machines (CFSMs). In: Deb, K and Poli, R and Banzhaf, W and Beyer, HG and Burke, E and Darwen, P and Dasgupta, D and Floreano, D and Foster, O and Harman, M and Holland, O and Lanzi, PL and Spector, L and Tettamanzi, A and Thierens, D and Tyrrell, A, (eds.) GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS. (pp. 1429 - 1430). SPRINGER-VERLAG BERLIN

F

Fatiregun, D; Harman, M; Hierons, RM; (2004) Evolving transformation sequences using genetic algorithms. In: FOURTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. (pp. 65 - 74). IEEE COMPUTER SOC

Fatiregun, D; Harman, M; Hierons, RM; (2004) Evolving Transformation Sequences using Genetic Algorithms. In: SCAM. (pp. 66 - 75). IEEE Computer Society

Fox, C; Danicic, S; Harman, M; Hierons, RM; (2004) CONSIT: a fully automated conditioned program slicer. SOFTWARE PRACT EXPER , 34 (1) 15 - 46. 10.1002/spe.556.

G

Gold, N; Bennett, K; (2004) Program comprehension for web services. In: Program Comprehension, Workshop Proceedings. (pp. 151 - 160).

Gold, N; Mohan, A; Knight, C; Munro, M; (2004) Understanding service-oriented software. IEEE Software , 21 (2) 71 - 77. 10.1109/MS.2004.1270766.

Guo, Q; Hierons, RM; Harman, M; Derderian, K; (2004) Computing unique input/output sequences using genetic algorithms. In: Petrenko, A and Ulrich, A, (eds.) FORMAL APPROACHES TO SOFTWARE TESTING. (pp. 164 - 177). SPRINGER-VERLAG BERLIN

H

Harman, M; Binkley, D; Singh, R; Hierons, RM; (2004) Amorphous procedure extraction. In: FOURTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. (pp. 85 - 94). IEEE COMPUTER SOC

Harman, M; Clark, J; (2004) Metrics are fitness functions too. In: 10TH INTERNATIONAL SYMPOSIUM ON SOFTWARE METRICS, PROCEEDINGS. (pp. 58 - 69). IEEE COMPUTER SOC

Harman, M; Hu, L; Hierons, R; Wegener, J; Sthamer, HS; Baresel, A; Roper, M; (2004) Testability transformation. IEEE T SOFTWARE ENG , 30 (1) 3 - 16.

Harman, M; Hu, L; Munro, M; Zhang, X; Binkley, D; Danicic, S; ... Ouarbya, L; + view all (2004) Syntax-Directed Amorphous Slicing. In: Automated Software Engineering. (pp. 27 - 61).

Harman, M; Korel, B; (2004) Message from the program chairs. IEEE International Conference on Software Maintenance, ICSM

Harman, M; Wegener, J; (2004) Getting results from search-based approaches to software engineering. In: ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS. (pp. 728 - 729). IEEE COMPUTER SOC

Hierons, RM; Harman, M; (2004) Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. THEOR COMPUT SCI , 323 (1-3) 191 - 233. 10.1016/j.tcs.2004.04.002.

Hu, L; Harman, M; Hierons, RM; Binkley, D; (2004) Loop squashing transformations for amorphous slicing. In: 11TH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. (pp. 152 - 160). IEEE COMPUTER SOC

K

Krinke, J; (2004) Advanced slicing of sequential and concurrent programs. IEEE COMPUTER SOC

Krinke, J; (2004) Advanced slicing of sequential and concurrent programs. In: Proceedings of the 20th IEEE International Conference on Software Maintenance. (pp. 464 - 468). IEEE Computer Society

Krinke, J; (2004) Context-sensitivity matters, but context does not. In: FOURTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. (pp. 29 - 35). IEEE COMPUTER SOC

Krinke, J; (2004) Slicing, chopping, and path conditions with barriers. SOFTWARE QUALITY JOURNAL , 12 (4) 339 - 360.

Krinke, J; (2004) Textual vs. graphical visualization of fine-grained dependences. In: (Proceedings) 6. Workshop Software-Reengineering.

Krinke, J; (2004) Visualization of program dependence and slices. In: 20TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. (pp. 168 - 177). IEEE COMPUTER SOC

Krinke, J; (2004) Advanced slicing of sequential and concurrent programs. In: Wagner, D, (ed.) Ausgezeichnete Informatikdissertationen 2003. (101 - 110). Köllen Verlag: Bonn, Germany.

Krinke, J; Breu, S; (2004) Control-flow-graph-based aspect mining. In: (Proceedings) Workshop on Aspect Reverse Engineering.

L

Langdon, WB; (2004) Genetic Algorithms--Principles and Perspectives: {A} Guide to {GA} Theory. Knowledge Engineering Review , 19 (2) 185 - 186.

Langdon, WB; (2004) Lindenmayer Systems Fractals Evolved by Pfeiffer 10 September – 9 November 2003.

Langdon, WB; (2004) Global distributed evolution of L-systems fractals. In: Keijzer, M and O'Reilly, U and Lucas, S, (eds.) Genetic Programming: 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004. Proceedings. (349 - 358). Springer-Verlag GmbH

Langdon, WB; Banzhaf, W; (2004) Repeated Sequences in Linear GP Genomes. In: Keijzer, M, (ed.) (Proceedings) Late Breaking Papers at the 2004 Genetic and Evolutionary Computation Conference. AAAI, 445 Burgess Drive, Menlo Park, CA 94025: Seattle, Washington, USA.

Langdon, WB; Barrett, SJ; (2004) Genetic programming in data mining for drug discovery. In: Ghosh, A and Jain, L, (eds.) Evolutionary Computing in Data Mining. (211 - 235). Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Langdon, WB; Buxton, BF; (2004) Genetic Programming for Mining DNA Chip data from Cancer Patients. Genetic Programming and Evolvable Machines , 5 , Article 3. 10.1023/B:GENP.0000030196.55525.f7.

M

Mohan, A; Gold, N; (2004) Programming style changes in evolving source code. In: Program Comprehension, Workshop Proceedings. (pp. 236 - 240).

Mohan, A; Gold, N; Layzell, P; (2004) An approach to understanding program comprehensibility using spatial complexity, concept assignment and typographical style. In: IEEE International Conference on Software Maintenance, ICSM. (pp. 530 - 530).

Mohan, A; Gold, N; Layzell, P; (2004) An initial approach to assessing program comprehensibility using spatial complexity, number of concepts and typographical style. In: Proceedings - Working Conference on Reverse Engineering, WCRE. (pp. 246 - 255).

S

Society, IEEEC; (2004) Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP 2003). Institute of Electrical & Electronics Engineers(IEEE)

W

Wright, A; Poli, R; Stephens, C; Langdon, WB; Pulavarty, S; (2004) An estimation of distribution algorithm based on maximum entropy. In: GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS. (pp. 343 - 354).

Z

Zeller, A; Krinke, J; (2004) Open-Source-Programmierwerkzeuge - Versionskontrolle, Konstruktion, Testen, Fehlersuche (2. Aufl.). dpunkt.verlag

This list was generated on Sun Apr 13 04:53:51 2014 BST.