Mark Harman

	2012
213		Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Roberto Tiella, Paolo Tonella: Crawlability Metrics for Web Applications. ICST 2012: 151-160
212		Paolo Tonella, Alessandro Marchetto, Duy Cu Nguyen, Yue Jia, Kiran Lakhotia, Mark Harman: Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs. ICST 2012: 21-30
211		Cu D. Nguyen, Simon Miles, Anna Perini, Paolo Tonella, Mark Harman, Michael Luck: Evolutionary testing of autonomous software agents. Autonomous Agents and Multi-Agent Systems 25(2): 260-283 (2012)
210		Phil McMinn, Mark Harman, Kiran Lakhotia, Youssef Hassoun, Joachim Wegener: Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation. IEEE Trans. Software Eng. 38(2): 453-477 (2012)
209		Shin Yoo, Mark Harman: Regression testing minimization, selection and prioritization: a survey. Softw. Test., Verif. Reliab. 22(2): 67-120 (2012)
208		Shin Yoo, Mark Harman: Test data regeneration: generating new test data from existing test data. Softw. Test., Verif. Reliab. 22(3): 171-201 (2012)
	2011
207		Nadia Alshahwan, Mark Harman: Automated web application testing using search based software engineering. ASE 2011: 3-12
206		Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos: Symbolic search-based testing. ASE 2011: 53-62
205		Tanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, Yarden Nir-Buchbinder: Future Internet Testing with FITTEST. CSMR 2011: 355-358
204		Jungsup Oh, Mark Harman, Shin Yoo: Transition coverage testing for simulink/stateflow models using messy genetic algorithms. GECCO 2011: 1851-1858
203		Kelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li: Model projection: simplifying models in response to restricting the environment. ICSE 2011: 291-300
202		Mark Harman, Yue Jia, William B. Langdon: Strong higher order mutation-based test data generation. SIGSOFT FSE 2011: 212-222
201		Mustafa Bozkurt, Mark Harman: Automatically generating realistic test input from web services. SOSE 2011: 13-24
200		Jian Ren, Mark Harman, Massimiliano Di Penta: Cooperative Co-evolutionary Optimization of Software Project Staff Assignments and Job Scheduling. SSBSE 2011: 127-141
199		Mark Harman: SBSE: Introduction and Motivation. SSBSE 2011: 16
198		Shin Yoo, Mark Harman, Shmuel Ur: Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards. SSBSE 2011: 219-236
197		David Binkley, Mark Harman, Kiran Lakhotia: FlagRemover: A testability transformation for transforming loop-assigned flags. ACM Trans. Softw. Eng. Methodol. 20(3): 12 (2011)
196		Juan José Durillo, Yuanyuan Zhang, Enrique Alba, Mark Harman, Antonio J. Nebro: A study of the bi-objective next release problem. Empirical Software Engineering 16(1): 29-60 (2011)
195		Mark Harman: Software Engineering Meets Evolutionary Computation. IEEE Computer 44(10): 31-39 (2011)
194		Kata Praditwong, Mark Harman, Xin Yao: Software Module Clustering as a Multi-Objective Search Problem. IEEE Trans. Software Eng. 37(2): 264-282 (2011)
193		Yue Jia, Mark Harman: An Analysis and Survey of the Development of Mutation Testing. IEEE Trans. Software Eng. 37(5): 649-678 (2011)
192		Yuanyuan Zhang, Mark Harman, Anthony Finkelstein, S. Afshin Mansouri: Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation. Information & Software Technology 53(7): 761-773 (2011)
191		Alessandro Marchetto, Roberto Tiella, Paolo Tonella, Nadia Alshahwan, Mark Harman: Crawlability metrics for automated web testing. STTT 13(2): 131-149 (2011)
190		Massimiliano Di Penta, Mark Harman, Giuliano Antoniol: The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical study. Softw., Pract. Exper. 41(5): 495-519 (2011)
189		Sebastian Danicic, Richard W. Barraclough, Mark Harman, John Howroyd, Ákos Kiss, Michael R. Laurence: A unifying theory of control dependence and its application to arbitrary program structures. Theor. Comput. Sci. 412(49): 6809-6842 (2011)
	2010
188		Mark Harman: Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization. FASE 2010: 1-12
187		Yuanyuan Zhang, Enrique Alba, Juan José Durillo, Sigrid Eldh, Mark Harman: Today/future importance analysis. GECCO 2010: 1357-1364
186		Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn, Shin Yoo: Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem. ICST Workshops 2010: 182-191
185		Ruilian Zhao, Mark Harman, Zheng Li: Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models. ICST Workshops 2010: 222-231
184		Mark Harman, Yue Jia, William B. Langdon: A Manifesto for Higher Order Mutation Testing. ICST Workshops 2010: 80-89
183		Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux: FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ICTSS 2010: 142-157
182		William B. Langdon, Mark Harman: Evolving a CUDA kernel from an nVidia template. IEEE Congress on Evolutionary Computation 2010: 1-8
181		Nicolas Gold, Jens Krinke, Mark Harman, David Binkley: Issues in clone classification for dataflow languages. IWSC 2010: 83-84
180		Mark Harman, Phil McMinn, Jerffeson Teixeira de Souza, Shin Yoo: Search Based Software Engineering: Techniques, Taxonomy, Tutorial. LASER Summer School 2010: 1-59
179		Syed S. Islam, Jens Krinke, David Binkley, Mark Harman: Coherent dependence clusters. PASTE 2010: 53-60
178		Mark Harman: The relationship between search based software engineering and predictive modeling. PROMISE 2010: 1
177		Mark Harman: Why Source Code Analysis and Manipulation Will Always be Important. SCAM 2010: 7-19
176		Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Estimating the feasibility of transition paths in extended finite state machines. Autom. Softw. Eng. 17(1): 33-56 (2010)
175		Mark Harman: Automated patching techniques: the fix is in: technical perspective. Commun. ACM 53(5): 108 (2010)
174		Mark Harman, Phil McMinn: A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search. IEEE Trans. Software Eng. 36(2): 226-247 (2010)
173		Mark Harman, S. Afshin Mansouri: Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering. IEEE Trans. Software Eng. 36(6): 737-741 (2010)
172		Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li: An alternative characterization of weak order dependence. Inf. Process. Lett. 110(21): 939-943 (2010)
171		David Binkley, Mark Harman, Youssef Hassoun, Syed S. Islam, Zheng Li: Assessing the impact of global variables on program dependence and dependence clusters. Journal of Systems and Software 83(1): 96-107 (2010)
170		Kiran Lakhotia, Phil McMinn, Mark Harman: An empirical investigation into branch coverage for C programs using CUTE and AUSTIN. Journal of Systems and Software 83(12): 2379-2391 (2010)
169		William B. Langdon, Mark Harman, Yue Jia: Efficient multi-objective higher order mutation testing with genetic programming. Journal of Systems and Software 83(12): 2416-2430 (2010)
168		Shin Yoo, Mark Harman: Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation. Journal of Systems and Software 83(4): 689-701 (2010)
167		Richard W. Barraclough, David Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya: A trajectory-based strict semantics for program slicing. Theor. Comput. Sci. 411(11-13): 1372-1386 (2010)
	2009
166		Cu D. Nguyen, Anna Perini, Paolo Tonella, Simon Miles, Mark Harman, Michael Luck: Evolutionary testing of autonomous software agents. AAMAS (1) 2009: 521-528
165		Mark Harman, Fayezin Islam, Tao Xie, Stefan Wappler: Automated test data generation for aspect-oriented programs. AOSD 2009: 185-196
164		Connie Haoying Bao, Nicolas Gold, Mark Harman: Maintaining WS-BPEL Workflows Using Aspects. BPSC 2009: 225-226
163		Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt: Control Dependence for Extended Finite State Machines. FASE 2009: 216-230
162		Stefan Gueorguiev, Mark Harman, Giuliano Antoniol: Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering. GECCO 2009: 1673-1680
161		Mark Harman, Jens Krinke, Jian Ren, Shin Yoo: Search based data sensitivity analysis applied to requirement engineering. GECCO 2009: 1681-1688
160		William B. Langdon, Mark Harman, Yue Jia: Multi objective higher order mutation testing with GP. GECCO 2009: 1945-1946
159		Mark Harman: The SBSE Approach to Automated Optimization of Verification and Testing. Haifa Verification Conference 2009: 3
158		Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li, Laurence Tratt: A theoretical and empirical study of EFSM dependence. ICSM 2009: 287-296
157		Shin Yoo, Mark Harman, Paolo Tonella, Angelo Susi: Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge. ISSTA 2009: 201-212
156		David Binkley, Mark Harman: Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters. SCAM 2009: 89-98
155		Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Paolo Tonella: Improving Web Application Testing using testability measures. WSE 2009: 49-58
154		Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan: Using formal specifications to support testing. ACM Comput. Surv. 41(2): (2009)
153		Mark Harman, David Binkley, Keith Gallagher, Nicolas Gold, Jens Krinke: Dependence clusters in source code. ACM Trans. Program. Lang. Syst. 32(1): (2009)
152		Phil McMinn, David Binkley, Mark Harman: Empirical evaluation of a nesting testability transformation for evolutionary testing. ACM Trans. Softw. Eng. Methodol. 18(3): (2009)
151		Yue Jia, Mark Harman: Higher Order Mutation Testing. Information & Software Technology 51(10): 1379-1393 (2009)
150		Mark Harman, Zheng Li, Phil McMinn, Jeff Offutt, John A. Clark: TAIC PART 2007 and Mutation 2007 special issue editorial. Journal of Systems and Software 82(11): 1753-1754 (2009)
149		Anthony Finkelstein, Mark Harman, S. Afshin Mansouri, Jian Ren, Yuanyuan Zhang: A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making. Requir. Eng. 14(4): 231-245 (2009)
	2008
148		Robert M. Hierons, Jonathan P. Bowen, Mark Harman: Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers Springer 2008
147		David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi, Joachim Wegener: Dependence Anti Patterns. ASE Workshops 2008: 25-34
146		Mark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper: Testability Transformation - Program Transformation to Improve Testability. Formal Methods and Testing 2008: 320-344
145		Kiran Lakhotia, Mark Harman, Phil McMinn: Handling dynamic data structures in search based testing. GECCO 2008: 1759-1766
144		Mark Harman, Nadia Alshahwan: Automated Session Data Repair for Web Application Regression Testing. ICST 2008: 298-307
143		Anthony Finkelstein, Mark Harman, S. Afshin Mansouri, Jian Ren, Yuanyuan Zhang: "Fairness Analysis" in Requirements Assignments. RE 2008: 115-124
142		Yuanyuan Zhang, Anthony Finkelstein, Mark Harman: Search Based Requirements Optimisation: Existing Work and Challenges. REFSQ 2008: 88-94
141		David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi: Evaluating Key Statements Analysis. SCAM 2008: 121-130
140		Yue Jia, Mark Harman: Constructing Subtle Faults Using Higher Order Mutation Testing. SCAM 2008: 249-258
139		Tao Jiang, Mark Harman, Youssef Hassoun: Analysis of Procedure Splitability. WCRE 2008: 247-256
138		Walter J. Gutjahr, Mark Harman: Search-based software engineering. Computers & OR 35(10): 3049-3051 (2008)
137		Tao Jiang, Nicolas Gold, Mark Harman, Zheng Li: Locating dependence structures using search-based slicing. Information & Software Technology 50(12): 1189-1209 (2008)
136		Massimiliano Di Penta, Giuliano Antoniol, Mark Harman: Special Issue on Search-Based Software Maintenance. Journal of Software Maintenance 20(5): 317-319 (2008)
135		David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi: An empirical study of the relationship between the concepts expressed in source code and dependence. Journal of Systems and Software 81(12): 2287-2298 (2008)
134		Mark Harman, Zheng Li, Phil McMinn: Editorial: Testing practice and research. Softw. Test., Verif. Reliab. 18(2): 69-70 (2008)
	2007
133		Mark Harman: Automated Test Data Generation using Search Based Software Engineering. AST 2007: 1-2
132		Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Joachim Wegener: The impact of input domain reduction on search-based test data generation. ESEC/SIGSOFT FSE 2007: 155-164
131		Mark Harman: The Current State and Future of Search Based Software Engineering. FOSE 2007: 342-357
130		Kiran Lakhotia, Mark Harman, Phil McMinn: A multi-objective approach to search-based test data generation. GECCO 2007: 1098-1105
129		Mark Harman, Laurence Tratt: Pareto optimal search based refactoring at the design level. GECCO 2007: 1106-1113
128		Yuanyuan Zhang, Mark Harman, S. Afshin Mansouri: The multi-objective next release problem. GECCO 2007: 1129-1137
127		Mark Harman: Search Based Software Engineering for Program Comprehension. ICPC 2007: 3-13
126		Massimiliano Di Penta, Mark Harman, Giuliano Antoniol, Fahim Qureshi: The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach. ICSM 2007: 315-324
125		Shin Yoo, Mark Harman: Pareto efficient multi-objective test case selection. ISSTA 2007: 140-150
124		Mark Harman, Phil McMinn: A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation. ISSTA 2007: 73-83
123		David Binkley, Mark Harman, Jens Krinke: Empirical study of optimization techniques for massive slicing. ACM Trans. Program. Lang. Syst. 30(1): (2007)
122		David Binkley, Nicolas Gold, Mark Harman: An empirical study of static program slice size. ACM Trans. Softw. Eng. Methodol. 16(2): (2007)
121		Zheng Li, Mark Harman, Robert M. Hierons: Search Algorithms for Regression Test Case Prioritization. IEEE Trans. Software Eng. 33(4): 225-237 (2007)
120		Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya: A non-standard semantics for program slicing and dependence analysis. J. Log. Algebr. Program. 72(2): 191-206 (2007)
119		Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian: Heuristics for fault diagnosis when testing from finite state machines. Softw. Test., Verif. Reliab. 17(1): 41-57 (2007)
118		Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence: Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. Theor. Comput. Sci. 373(1-2): 1-18 (2007)
	2006
117		David Binkley, Mark Harman, Jens Krinke: Beyond Program Slicing, 06.11. - 11.11.2005 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
116		Mark Harman: Search-Based Software Engineering for Maintenance and Reengineering. CSMR 2006: 311
115		Kiarash Mahdavi, Nicolas Gold, Zheng Li, Mark Harman: Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding. Duplication, Redundancy, and Similarity in Software 2006
114		Mark Harman, Alexandros Skaliotis, Kathleen Steinhöfel, Paul Baker: Search--based approaches to the component selection and prioritization problem. GECCO 2006: 1951-1952
113		Paul Baker, Mark Harman, Kathleen Steinhöfel, Alexandros Skaliotis: Search Based Approaches to Component Selection and Prioritization for the Next Release Problem. ICSM 2006: 176-185
112		Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi: Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding. ICSM 2006: 310-319
111		Phil McMinn, Mark Harman, David Binkley, Paolo Tonella: The species per path approach to SearchBased test data generation. ISSTA 2006: 13-24
110		Mark Harman: Search Based Software Engineering. International Conference on Computational Science (4) 2006: 740-747
109		Keith Gallagher, David Binkley, Mark Harman: Stop-List Slicing. SCAM 2006: 11-20
108		David Binkley, Mark Harman, Jens Krinke: Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation. SCAM 2006: 43-52
107		David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi: An Empirical Study of Executable Concept Slice Size. WCRE 2006: 103-114
106		Mark Harman, Sue Black, Paolo Tonella: Workshop Introduction Astrenet Aspect Analysis. WCRE 2006: 323
105		Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. Comput. J. 49(3): 331-344 (2006)
104		John Derrick, Mark Harman, Robert M. Hierons: Guest Editorial. Formal Asp. Comput. 18(1): 1-2 (2006)
103		David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya: A formal relationship between program slicing and partial evaluation. Formal Asp. Comput. 18(2): 103-119 (2006)
102		David Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella: Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects. IEEE Trans. Software Eng. 32(9): 698-717 (2006)
101		Mark Harman, Arun Lakhotia, David Binkley: Theory and algorithms for slicing unstructured programs. Information & Software Technology 48(7): 549-565 (2006)
100		Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian: Improving test quality using robust unique input/output circuit sequences (UIOCs). Information & Software Technology 48(8): 696-707 (2006)
99		Tom Dean, Mark Harman, Rainer Koschke, Michael L. Van de Vanter: Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop. Journal of Systems and Software 79(9): 1217-1218 (2006)
98		David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel: A formalisation of the relationship between forms of program slicing. Sci. Comput. Program. 62(3): 228-252 (2006)
97		David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel: Theoretical foundations of dynamic program slicing. Theor. Comput. Sci. 360(1-3): 23-41 (2006)
	2005
96		David Binkley, Mark Harman, Jens Krinke: 05451 Abstracts Collection -- Beyond Program Slicing. Beyond Program Slicing 2005
95		Mark Harman, David Binkley, Jens Krinke: 05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar. Beyond Program Slicing 2005
94		Mark Harman, Stephen Swift, Kiarash Mahdavi: An empirical study of the robustness of two module clustering fitness functions. GECCO 2005: 1029-1036
93		Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. GECCO 2005: 1081-1082
92		David Binkley, Mark Harman: Locating Dependence Clusters and Dependence Pollution. ICSM 2005: 177-186
91		Giuliano Antoniol, Massimiliano Di Penta, Mark Harman: Search-Based Techniques Applied to Optimization of Project Planning for a Massive Maintenance Project. ICSM 2005: 240-249
90		David Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella: Automated Refactoring of Object Oriented Code into Aspects. ICSM 2005: 27-36
89		Bogdan Korel, Luay Ho Tahat, Mark Harman: Test Prioritization Using System Models. ICSM 2005: 559-568
88		Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, R. Gupta, Q. Zhang: Data Dependence Based Testability Transformation in Automated Test Generation. ISSRE 2005: 245-254
87		David Binkley, Mark Harman: Forward slices are smaller than backward slices. SCAM 2005: 15-24
86		David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel: Minimal Slicing and the Relationships Between Forms of Slicing. SCAM 2005: 45-56
85		Deji Fatiregun, Mark Harman, Robert M. Hierons: Search-Based Amorphous Slicing. WCRE 2005: 3-12
84		Robert M. Hierons, Mark Harman, Chris Fox: Branch-Coverage Testability Transformation for Unstructured Programs. Comput. J. 48(4): 421-436 (2005)
83		Sebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence: Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. Comput. J. 48(6): 737-748 (2005)
82		Mark Harman, Bogdan Korel, Panagiotis K. Linos: Guest Editorial: Special Issue on Software Maintenance and Evolution. IEEE Trans. Software Eng. 31(10): 801-803 (2005)
81		Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward: ConSUS: a light-weight program conditioner. Journal of Systems and Software 77(3): 241-262 (2005)
80		Nicolas E. Gold, Mark Harman, David Binkley, Robert M. Hierons: Unifying program slicing and concept assignment for higher-level executable source code extraction. Softw., Pract. Exper. 35(10): 977-1006 (2005)
	2004
79		Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund K. Burke, Paul J. Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andrew M. Tyrrell: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I Springer 2004
78		Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund K. Burke, Paul J. Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andrew M. Tyrrell: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II Springer 2004
77		Konstantinos Adamopoulos, Mark Harman, Robert M. Hierons: How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution. GECCO (2) 2004: 1338-1349
76		Giuliano Antoniol, Massimiliano Di Penta, Mark Harman: Search-Based Techniques for Optimizing Software Project Resource Allocation. GECCO (2) 2004: 1425-1426
75		Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). GECCO (2) 2004: 1429-1430
74		Mark Harman, Joachim Wegener: Getting Results from Search-Based Approaches to Software Engineering. ICSE 2004: 728-729
73		Giuliano Antoniol, Massimiliano Di Penta, Mark Harman: A Robust Search-Based Approach to Project Management in the Presence of Abandonment, Rework, Error and Uncertainty. IEEE METRICS 2004: 172-183
72		Mark Harman, John A. Clark: Metrics Are Fitness Functions Too. IEEE METRICS 2004: 58-69
71		André Baresel, David Binkley, Mark Harman, Bogdan Korel: Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. ISSTA 2004: 108-118
70		Sebastian Danicic, Andrea De Lucia, Mark Harman: Building Executable Union Slices using Conditioned Slicing. IWPC 2004: 89-99
69		David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya: Formalizing Executable Dynamic and Forward Slicing. SCAM 2004: 43-52
68		Deji Fatiregun, Mark Harman, Robert M. Hierons: Evolving Transformation Sequences using Genetic Algorithms. SCAM 2004: 66-75
67		Mark Harman, David Binkley, Ranjit Singh, Robert M. Hierons: Amorphous Procedure Extraction. SCAM 2004: 85-94
66		Lin Hu, Mark Harman, Robert M. Hierons, David Binkley: Loop Squashing Transformations for Amorphous Slicing. WCRE 2004: 152-160
65		David Binkley, Mark Harman: A survey of empirical results on program slicing. Advances in Computers 62: 105-178 (2004)
64		Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya: Syntax-Directed Amorphous Slicing. Autom. Softw. Eng. 11(1): 27-61 (2004)
63		Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper: Testability Transformation. IEEE Trans. Software Eng. 30(1): 3-16 (2004)
62		David Binkley, Mark Harman: Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables. IEEE Trans. Software Eng. 30(11): 715-735 (2004)
61		John A. Clark, Mark Harman, Robert M. Hierons: Editorial: Software testing in the United Kingdom. Softw. Test., Verif. Reliab. 14(3): 165-166 (2004)
60		Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: ConSIT: a fully automated conditioned program slicer. Softw., Pract. Exper. 34(1): 15-46 (2004)
59		David Binkley, Liz Burd, Mark Harman, Paolo Tonella: Introduction. Software Quality Journal 12(4): 293-295 (2004)
58		Robert M. Hierons, Mark Harman: Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. Theor. Comput. Sci. 323(1-3): 191-233 (2004)
	2003
57		Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russell K. Standish, Graham Kendall, Stewart W. Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasa Jonoska, Julian F. Miller: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I Springer 2003
56		Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russell K. Standish, Graham Kendall, Stewart W. Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasa Jonoska, Julian F. Miller: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II Springer 2003
55		Andrea De Lucia, Mark Harman, Robert M. Hierons, Jens Krinke: Unions of Slices Are Not Slices. CSMR 2003: 363-367
54		Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian: Computing Unique Input/Output Sequences Using Genetic Algorithms. FATES 2003: 164-177
53		Deji Fatiregun, Mark Harman, Robert M. Hierons: Search Based Transformations. GECCO 2003: 2511-2512
52		Kiarash Mahdavi, Mark Harman, Robert M. Hierons: Finding Building Blocks for Software Clustering. GECCO 2003: 2513-2514
51		David Binkley, Mark Harman: An Empirical Study of Predicate Dependence Levels and Trends. ICSE 2003: 330-340
50		Kiarash Mahdavi, Mark Harman, Robert M. Hierons: A Multiple Hill Climbing Approach to Software Module Clustering. ICSM 2003: 315-324
49		David Binkley, Mark Harman: A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity. ICSM 2003: 44-53
48		David Binkley, Mark Harman: Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. SCAM 2003: 203-
47		Robert M. Hierons, Mark Harman, Harbhajan Singh: Automatically Generating Information from a Z Specification to Support the Classification Tree Method. ZB 2003: 388-407
46		John A. Clark, José Javier Dolado, Mark Harman, Robert M. Hierons, Bryan F. Jones, M. Lumkin, Brian S. Mitchell, Spiros Mancoridis, K. Rees, Marc Roper, Martin J. Shepperd: Formulating software engineering as a search problem. IEE Proceedings - Software 150(3): 161-175 (2003)
45		José Javier Dolado, Mark Harman, Mari Carmen Otero, Lin Hu: An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension. IEEE Trans. Software Eng. 29(7): 665-670 (2003)
44		Keith Gallagher, Mark Harman, Sebastian Danicic: Guaranteed inconsistency avoidance during software evolution. Journal of Software Maintenance 15(6): 393-416 (2003)
43		Mark Harman, David Binkley, Sebastian Danicic: Amorphous program slicing. Journal of Systems and Software 68(1): 45-64 (2003)
42		Michael R. Laurence, Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd: Equivalence of conservative, free, linear program schemas is decidable. Theor. Comput. Sci. 290(1): 831-862 (2003)
	2002
41		Yoga Sivagurunathan, Mark Harman, Bala Sivagurunathan: Slice-Based Dynamic Memory Modelling - A Case Study. COMPSAC 2002: 351-356
40		Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause: FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104
39		Mark Harman, Robert M. Hierons, Mark Proctor: A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. GECCO 2002: 1351-1358
38		Mark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer: Improving Evolutionary Testing By Flag Removal. GECCO 2002: 1359-1366
37		Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener: A Post-Placement Side-Effect Removal Algorithm. ICSM 2002: 2-11
36		Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel: Evolutionary Testing Supported by Slicing and Transformation. ICSM 2002: 285
35		Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya: An Interprocedural Amorphous Slicer for WSL. SCAM 2002: 105-114
34		Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener: VADA: A Transformation-Based System for Variable Dependence Analysis. SCAM 2002: 55-64
33		Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu: Mechanized Operational Semantics of WSL. SCAM 2002: 73-82
32		Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu: Weakest Precondition for General Recursive Programs Formalized in Coq. TPHOLs 2002: 332-348
31		Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward: ConSUS: A Scalable Approach to Conditioned Slicing. WCRE 2002: 109-118
30		Mark Harman, Nicolas Gold, Robert M. Hierons, David Binkley: Code Extraction Algorithms which Unify Slicing and Concept Assignment. WCRE 2002: 11-21
29		Lahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox: A Denotational Interprocedural Program Slicer. WCRE 2002: 181-
28		Kiarash Mahdavi, Mark Harman: Book Review: Automatic Re-Engineering of Software Using Genetic Programming. Genetic Programming and Evolvable Machines 3(2): 219-221 (2002)
27		Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang: Source code analysis and manipulation. Information & Software Technology 44(13): 717-720 (2002)
26		Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi: Conditioned slicing supports partition testing. Softw. Test., Verif. Reliab. 12(1): 23-28 (2002)
	2001
25		Mark Harman, Bryan F. Jones: SEMINAL: Software Engineering Using Metaheuristic INnovative Algorithms. ICSE 2001: 762-763
24		Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd: Pre/Post Conditioned Slicing. ICSM 2001: 138-147
23		Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang: Side-Effect Removal Transformation. IWPC 2001: 310-322
22		Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. IWPC 2001: 89-97
21		Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox: Node Coarsening Calculi for Program Slicing. WCRE 2001: 25-34
20		Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang: GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. WCRE 2001: 271-280
19		Mark Harman, Bryan F. Jones: Search-based software engineering. Information & Software Technology 43(14): 833-839 (2001)
18		Mark Harman, Bryan F. Jones: Software engineering using metaheuristic innovative algorithms: workshop report. Information & Software Technology 43(14): 905-907 (2001)
17		Mark Harman: Software Engineering. Software Focus 2(2): 80 (2001)
16		Mark Harman, Robert M. Hierons: An overview of program slicing. Software Focus 2(3): 85-92 (2001)
	2000
15		Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic: ConSIT: A Conditioned Program Slicer. ICSM 2000: 216-
14		David Binkley, L. Ross Raszewski, Christopher Smith, Mark Harman: An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool. IWPC 2000: 161-170
13		Sebastian Danicic, Mark Harman: Espresso: A Slicer Generator. SAC (2) 2000: 831-839
12		Robert M. Hierons, Mark Harman: Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine. Formal Asp. Comput. 12(6): 423-442 (2000)
	1999
11		Mark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic: Program Simplification as a Means of Approximating Undecidable Propositions. IWPC 1999: 208-217
10		Robert M. Hierons, Mark Harman, Sebastian Danicic: Using Program Slicing to Assist in the Detection of Equivalent Mutants. Softw. Test., Verif. Reliab. 9(4): 233-262 (1999)
	1998
9		Mark Harman, Yoga Sivagurunathan, Sebastian Danicic: Analysis of Dynamic Memory Access Using Amorphous Slicing. ICSM 1998: 336-
8		Mark Harman, Keith Brian Gallagher: Program slicing. Information & Software Technology 40(11-12): 577-581 (1998)
7		Mark Harman, Sebastian Danicic: A new algorithm for slicing unstructured programs. Journal of Software Maintenance 10(6): 415-441 (1998)
	1997
6		Yoga Sivagurunathan, Mark Harman, Sebastian Danicic: Slicing, I/O and the Implicit State. AADEBUG 1997: 59-68
5		Mark Harman, Sebastian Danicic: Amorphous Program Slicing. WPC 1997: 70-79
	1996
4		Mark Harman, Dan Simpson, Sebastian Danicic: Slicing Programs in the Presence of Errors. Formal Asp. Comput. 8(4): 490-497 (1996)
	1995
3		Sebastian Danicic, Mark Harman, Yoga Sivagurunathan: A Parallel Algorithm for Static Program Slicing. Inf. Process. Lett. 56(6): 307-313 (1995)
2		Mark Harman, Sebastian Danicic: Using Program Slicing to Simplify Testing. Softw. Test., Verif. Reliab. 5(3): 143-162 (1995)
	1993
1		Mark Harman, Sebastian Danicic: Projecting Functional Models of Imperative Programs. SIGPLAN Notices 28(11): 33-41 (1993)

Coauthor Index

1	Konstantinos Adamopoulos	[77]
2	Enrique Alba (Enrique Alba Torres)	[187] [196]
3	Nadia Alshahwan	[144] [155] [191] [207] [213]
4	Torben Amtoft (Torben Amtoft Hansen)	[172]
5	Kelly Androutsopoulos	[158] [163] [172] [203]
6	Giuliano Antoniol	[73] [76] [91] [126] [136] [162] [190]
7	P. Apirukvorapinit	[88]
8	Arthur I. Baars	[206]
9	Paul Baker	[113] [114]
10	Wolfgang Banzhaf	[78] [79]
11	Connie Haoying Bao	[164]
12	André Baresel	[36] [38] [63] [71] [146]
13	Richard W. Barraclough	[167] [189]
14	Hans-Georg Beyer	[56] [57] [78] [79]
15	David Binkley	[11] [14] [30] [43] [48] [49] [51] [59] [62] [64] [65] [66] [67] [69] [71] [80] [86] [87] [90] [92] [95] [96] [97] [98] [101] [102] [103] [107] [108] [109] [111] [117] [122] [123] [135] [141] [146] [147] [152] [153] [156] [167] [171] [179] [181] [197] [203]
16	Sue Black	[106]
17	Kirill Bogdanov	[40] [154]
18	Jonathan P. Bowen	[40] [148] [154]
19	Mustafa Bozkurt	[201]
20	Elizabeth Burd (Liz Burd)	[59]
21	Edmund K. Burke	[78] [79]
22	Erick Cantú-Paz	[56] [57]
23	Mariano Ceccato	[90] [102]
24	S. Chung	[88]
25	David Clark	[163] [172] [203]
26	John A. Clark (John Andrew Clark)	[40] [46] [61] [72] [150]
27	Rance Cleaveland	[154]
28	Sebastian Danicic	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [13] [15] [21] [22] [24] [29] [31] [34] [35] [36] [42] [43] [44] [60] [64] [69] [70] [81] [83] [86] [97] [98] [103] [118] [120] [167] [189]
29	Mohammed Daoudi	[26] [29] [31] [35] [64] [81]
30	Paul J. Darwen	[78] [79]
31	Dipankar Dasgupta	[56] [57] [78] [79]
32	Lawrence Davis	[56] [57]
33	Tom Dean	[99]
34	Kalyanmoy Deb	[56] [57] [78] [79]
35	Karnig Derderian	[54] [75] [93] [100] [105] [119] [176]
36	John Derrick	[104] [154]
37	Jeremy Dick	[154]
38	José Javier Dolado	[37] [45] [46]
39	Kathryn A. Dowsland	[56] [57]
40	Juan José Durillo	[187] [196]
41	Sigrid Eldh	[187]
42	Deji Fatiregun	[53] [68] [85]
43	Anthony Finkelstein	[142] [143] [149] [192]
44	Dario Floreano	[78] [79]
45	James A. Foster	[56] [57] [78] [79]
46	Chris Fox	[11] [15] [21] [22] [24] [26] [29] [31] [34] [36] [60] [81] [83] [84]
47	Keith Brian Gallagher (Keith Gallagher)	[8] [44] [109] [153]
48	Marian Gheorghe	[154]
49	Nicolas Gold (Nicolas E. Gold)	[30] [80] [107] [112] [115] [122] [135] [137] [141] [147] [153] [158] [164] [181] [203]
50	Stefan Gueorguiev	[162]
51	Qiang Guo	[54] [75] [93] [100] [105] [119] [176]
52	R. Gupta	[88]
53	Walter J. Gutjahr	[138]
54	Tibor Gyimóthy	[69] [86] [97] [98]
55	Jonathan de Halleux	[183]
56	Youssef Hassoun	[132] [139] [171] [206] [210]
57	Robert M. Hierons	[10] [11] [12] [15] [16] [21] [22] [24] [26] [30] [34] [36] [37] [38] [39] [40] [42] [46] [47] [50] [52] [53] [54] [55] [58] [60] [61] [63] [66] [67] [68] [75] [77] [80] [81] [83] [84] [85] [93] [100] [104] [105] [118] [119] [121] [146] [148] [154] [167] [176]
58	Owen Holland	[78] [79]
59	John Howroyd	[21] [24] [31] [42] [81] [83] [103] [118] [120] [189]
60	Lin Hu	[20] [23] [27] [32] [33] [34] [35] [36] [37] [38] [45] [63] [64] [66] [146]
61	Fayezin Islam	[165]
62	Syed S. Islam	[171] [179]
63	Yue Jia	[140] [151] [160] [169] [184] [193] [202] [212]
64	Tao Jiang	[137] [139]
65	Bryan F. Jones	[18] [19] [25] [46]
66	Natasa Jonoska (Natasha Jonoska)	[56] [57]
67	Kalpesh Kapoor	[154]
68	Graham Kendall	[56] [57]
69	Sung Gon Kim	[186]
70	Ákos Kiss	[69] [86] [97] [98] [167] [189]
71	Bogdan Korel	[71] [82] [86] [88] [89] [97] [98] [146]
72	Rainer Koschke	[99]
73	Paul Krause	[40] [154]
74	Jens Krinke	[55] [95] [96] [108] [117] [123] [153] [161] [179] [181]
75	Arun Lakhotia	[101]
76	Kiran Lakhotia	[130] [132] [145] [170] [183] [186] [197] [206] [210] [212]
77	William B. Langdon	[160] [169] [182] [184] [202]
78	Kevin Lano	[203]
79	Pier Luca Lanzi	[78] [79]
80	Michael R. Laurence	[21] [42] [83] [118] [189]
81	Mike Laurence	[167]
82	Zheng Li	[107] [112] [115] [121] [134] [135] [137] [141] [147] [150] [158] [163] [171] [172] [185] [203]
83	Panagiotis K. Linos	[82]
84	Andrea De Lucia	[55] [70]
85	Michael Luck	[166] [211]
86	M. Lumkin	[46]
87	Gerald Lüttgen	[154]
88	Kiarash Mahdavi	[28] [50] [52] [94] [107] [112] [115] [135] [141] [147]
89	Spiros Mancoridis	[46]
90	S. Afshin Mansouri	[128] [143] [149] [173] [192]
91	Alessandro Marchetto	[155] [191] [212] [213]
92	Phil McMinn	[111] [124] [130] [132] [134] [145] [146] [150] [152] [170] [174] [180] [186] [206] [210]
93	Simon Miles	[166] [211]
94	Julian Francis Miller (Julian F. Miller)	[56] [57]
95	Brian S. Mitchell	[46]
96	Malcolm Munro	[20] [23] [27] [32] [33] [35] [37] [64]
97	Antonio J. Nebro (Antonio José Nebro)	[196]
98	Duy Cu Nguyen (Cu D. Nguyen)	[166] [211] [212]
99	Yarden Nir-Buchbinder (Yarden Nir)	[205]
100	Una-May O'Reilly	[56] [57]
101	A. Jefferson Offutt (Jeff Offutt)	[150]
102	Jungsup Oh	[204]
103	Mari Carmen Otero	[37] [45]
104	Lahcen Ouarbya	[26] [29] [31] [35] [64] [69] [81] [103] [120] [167]
105	Massimiliano Di Penta	[73] [76] [91] [126] [136] [190] [200]
106	Anna Perini	[166] [211]
107	Riccardo Poli	[78] [79]
108	Mitchell A. Potter	[56] [57]
109	Kata Praditwong	[194]
110	I. S. W. B. Prasetya (Ignatius Sri Wishnu Brata Prasetya, Wishnu Prasetya)	[205]
111	Mark Proctor	[39]
112	Elisa Puoskari	[205]
113	Fahim Qureshi	[126]
114	L. Ross Raszewski	[14]
115	K. Rees	[46]
116	Jian Ren	[143] [149] [161] [200]
117	Filippo Ricca	[90] [102]
118	Marc Roper	[46] [63] [146]
119	Rajkumar Roy	[56] [57]
120	Alan C. Schultz	[56] [57]
121	Martin J. Shepperd	[46]
122	Anthony J. H. Simons	[154]
123	Dan Simpson	[4]
124	Harbhajan Singh	[47]
125	Ranjit Singh	[67]
126	Bala Sivagurunathan	[41]
127	Yoga Sivagurunathan	[3] [6] [9] [41]
128	Alexandros Skaliotis	[113] [114]
129	Christopher Smith	[14]
130	Jerffeson Teixeira de Souza	[180]
131	Lee Spector	[78] [79]
132	Russell K. Standish	[56] [57]
133	Kathleen Steinhöfel	[113] [114]
134	Harmen Sthamer	[36] [38] [63]
135	Angelo Susi	[157]
136	Stephen Swift	[94]
137	Luay Ho Tahat	[89]
138	Andrea Tettamanzi	[78] [79]
139	Dirk Thierens	[78] [79]
140	Roberto Tiella	[191] [213]
141	Nikolai Tillmann	[183]
142	Paolo Tonella	[59] [90] [102] [106] [111] [155] [157] [166] [191] [205] [206] [211] [212] [213]
143	Laurence Tratt	[129] [158] [163]
144	Andrew M. Tyrrell (Andy M. Tyrrell)	[78] [79]
145	Shmuel Ur	[198]
146	Michael L. Van de Vanter	[99]
147	Sergiy A. Vilkomir	[154]
148	Tanja E. J. Vos	[205] [206]
149	Stefan Wappler	[165]
150	Martin P. Ward	[31] [81]
151	Joachim Wegener	[34] [36] [37] [56] [57] [63] [74] [132] [147] [205] [210]
152	Stewart W. Wilson	[56] [57]
153	Martin R. Woodward	[154]
154	Tao Xie	[165]
155	Xin Yao	[194]
156	Shin Yoo	[125] [157] [161] [168] [180] [186] [198] [204] [208] [209]
157	Hussein Zedan (Hussein S. M. Zedan)	[154]
158	Q. Zhang	[88]
159	Xingyuan Zhang	[20] [23] [27] [32] [33] [35] [37] [64]
160	Yuanyuan Zhang	[128] [142] [143] [149] [187] [192] [196]
161	Ruilian Zhao	[185]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page