• T
  • TAICPART-MUTATION
  • 2007
  • Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)
Advanced Search 
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)
Cumberland Lodge, Windsor, United Kingdom
September 10-September 14
ISBN: 0-7695-2984-4
Table of Contents
Introduction
Paper Session 1 - Automatic Test Case Generation
Daryl Shannon, University of Texas at Austin
Sukant Hajra, University of Texas at Austin
Alison Lee, University of Texas at Austin
Daiqian Zhan, University of Texas at Austin
Sarfraz Khurshid, University of Texas at Austin
pp. 13-22
Stefan Wappler, Technical University of Berlin
Andre Baresel, QVI Tech GmbH, Germany
Joachim Wegener, Berner & Mattner, E.-v.-Kreibig-Str. 3 80807 Munich, Germany
pp. 23-34
Paper Session 2 - Techniques, Methods and Tools
Paper Session 3 - Model-Based Testing
Paul Baker, Motorola?s Corporate Software Engineering Tools and Technology Group
Clive Jervis, Motorola?s Corporate Software Engineering Tools and Technology Group
pp. 47-54
Paper Session 4 - PhD Papers
Eduardo Aranha, Federal University of Pernambuco
Paulo Borba, 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
Marc Roper, University of Strathclyde, Glasgow, UK
pp. 77-81
Paper Session 5 - Fault Localisation and Prediction
Rui Abreu, Delft University of Technology
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
Posters
Arun Bahulkar, Tata Research Development & Design Centre, A division of Tata Consultancy Services
Rahul Kelkar, Tata Research Development & Design Centre, A division of Tata Consultancy Services
pp. 133
Xin Feng, University of Limerick, Ireland
David Lorge Parnas, University of Limerick, Ireland
T.H. Tse, University of Limerick, Ireland
pp. 134
Svetoslav Ganov, University of Texas at Austin
Sarfraz Khurshid, University of Texas at Austin
Dewayne Perry, University of Texas at Austin
pp. 135
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
Paper Session 1 - Model-Based Mutation
Paper Session 2 - Mutation Analysis Tools
Sean A. Irvine, Reel Two Ltd.
Tin Pavlinic, Reel Two Ltd.
Leonard Trigg, Reel Two Ltd.
John G. Cleary, Reel Two Ltd.
Stuart Inglis, Reel Two Ltd.
Mark Utting, University of Waikato
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
Laurie Williams, North Carolina State University
pp. 193-202
Mark Hampton, Chief Technology Officer, Certess Inc.
Stephane Petithomme, Manager, Software Development, 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
Thomas Dean, Queen?s University
Scott Knight, Royal Military College of Canada
pp. 223-232
Author Index
Usage of this product signifies your acceptance of the Terms of Use.