The Community for Technology Leaders
RSS Icon
Subscribe
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (2007)
Cumberland Lodge, Windsor, United Kingdom
Sept. 10, 2007 to Sept. 14, 2007
ISBN: 0-7695-2984-4
TABLE OF CONTENTS
Introduction
Preface (PDF)
pp. ix
Organization (PDF)
pp. xiii
pp. xiv
pp. xv
Paper Session 1 - Automatic Test Case Generation
Sukant Hajra , University of Texas at Austin
Daryl Shannon , University of Texas at Austin
Daiqian Zhan , University of Texas at Austin
Sarfraz Khurshid , University of Texas at Austin
pp. 13-22
Andre Baresel , QVI Tech GmbH, Germany
Stefan Wappler , Technical University of Berlin
pp. 23-34
Paper Session 2 - Techniques, Methods and Tools
Paul Gerrard , Principal, Gerrard Consulting, UK
pp. 40-46
Paper Session 3 - Model-Based Testing
Paul Baker , Motorola?s Corporate Software Engineering Tools and Technology Group
pp. 47-54
Florentin Ipate , University of Pitesti
pp. 55-66
Paper Session 4 - PhD Papers
Eduardo Aranha , Federal University of Pernambuco
pp. 67-71
Andrea Arcuri , University of Birmingham, UK
Xin Yao , University of Birmingham, UK
pp. 72-76
Konstantinos Liaskos , University of Strathclyde, Glasgow, UK
pp. 77-81
Liang Huang , University of Sheffield
Mike Holcombe , University of Sheffield
pp. 82-88
Paper Session 5 - Fault Localisation and Prediction
Peter Zoeteweij , Delft University of Technology
Arjan J.C. van Gemund , Delft University of Technology
pp. 89-98
David Binkley , Loyola College
Henry Feild , Loyola College
Dawn Lawrie , Loyola College
Maurizio Pighin , Universita? degli Studi di Udine
pp. 99-110
Paper Session 6 - Constraint-Based Testing and Constraint Solving
Florence Charreteur , IRISA/Univ. de Rennes 1, France
Bernard Botella , CEA LIST, France
Arnaud Gotlieb , IRISA/INRIA
pp. 111-120
Matthew B. Dwyer , University of Nebraska
Jiangfan Shi , University of Nebraska
pp. 121-132
Posters
Arun Bahulkar , Tata Research Development & Design Centre, A division of Tata Consultancy Services
pp. 133
Xin Feng , University of Limerick, Ireland
T.H. Tse , University of Limerick, Ireland
pp. 134
Sarfraz Khurshid , University of Texas at Austin
Svetoslav Ganov , University of Texas at Austin
pp. 135
Dipak S Pagrut , Test Lead, Tech Mahindra Limited, Marol, Mumbai (India)
pp. 136
Danhua Shao , University of Texas at Austin, Austin
Sarfraz Khurshid , University of Texas at Austin, Austin
Dewayne E. Perry , University of Texas at Austin, Austin
pp. 137
Introduction
Organization (PDF)
pp. xx
pp. xxi
pp. xxii
Paper Session 1 - Model-Based Mutation
Robert M. Hierons , Brunel University
Mercedes G. Merayo , Brunel University
pp. 141-150
Gordon Fraser , Graz University of Technology
Franz Wotawa , Graz University of Technology
pp. 161-168
Paper Session 2 - Mutation Analysis Tools
Tin Pavlinic , Reel Two Ltd.
Leonard Trigg , Reel Two Ltd.
John G. Cleary , Reel Two Ltd.
Stuart Inglis , Reel Two Ltd.
Sean A. Irvine , Reel Two Ltd.
pp. 169-175
Michael Ellims , Pi Shurlok/OpenUniversity
Darrel Ince , Open University
Marian Petre , Open University
pp. 185-192
Paper Session 3 - Experimentation with Mutation
Ben H. Smith , North Carolina State University
pp. 193-202
Mark Hampton , Chief Technology Officer, Certess Inc.
pp. 203-209
Jeremy S. Bradbury , University of Ontario Institute of Technology
James R. Cordy , Queen?s University
Juergen Dingel , Queen?s University
pp. 210-222
Paper Session 4 - Mutation for Security Testing
Songtao Zhang , Queen?s University
Scott Knight , Royal Military College of Canada
pp. 223-232
Yves Le Traon , GET ENST-Bretagne
Benoit Baudry , IRISA- 35042 Rennes
pp. 233-242
Author Index
Author Index (PDF)
pp. 243
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool