The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings 13th International Symposium on Software Reliability Engineering (2002)
Annapolis, MD, USA
Nov. 12, 2002 to Nov. 15, 2002
ISBN: 0-7695-1763-3
TABLE OF CONTENTS
Preface (PDF)
pp. ix
Reviewers (PDF)
pp. xii
Session 1A: Testing with Formal Methods
Tim Menzies , West Virginia University
David Owen , West Virginia University
Bojan Cukic , West Virginia University
pp. 15
Session 2A: Reliability Modeling
Wen-Li Wang , Penn State University, Behrend College Erie
Mei-Hwa Chen , State University of New York at Albany
pp. 41
Kirk Sayre , University of Tennessee
Jesse Poore , University of Tennessee
pp. 53
Session 3A: Failure Detection and Recovery
Christof Fetzer , AT&T Labs - Research
Zhen Xiao , AT&T Labs - Research
pp. 102
Session 1B: Assessment of Testing
James B. Michael , Naval Postgraduate School
Bernard J. Bossuyt , Naval Postgraduate School
Byron B. Snyder , Naval Postgraduate School
pp. 117
Chin-Yu Huang , National Taiwan University
Jung-Hua Lo , National Taiwan University
Sy-Yen Kuo , National Taiwan University
Michael R. Lyu , The Chinese University of Hong Kong
pp. 129
Osamu Mizuno , Osaka University
Eijiro Shigematsu , Osaka University
Yasunari Takagi , Osaka Univeristy
Tohru Kikuno , Osaka University
pp. 139
Session 2B: High Availability Software Maintenance
Lizhou Yu , University of Victoria
Gholamali C. Shoja , University of Victoria
Hausi A. Müller , University of Victoria
Anand Srinivasan , University of Victoria
pp. 149
Yun Liu , Duke University
Kishor S. Trivedi , Duke University
Yue Ma , Motorola Inc.
James J. Han , Motorola Inc.
Haim Levendel , Motorola Inc.
pp. 159
Hiroyuki Okamura , Hiroshima University
Satoshi Miyahara , Hiroshima University
Tadashi Dohi , Hiroshima University
pp. 171
Session 1C: Testing Technologies
Ponrudee Netisopakul , Case Western Reserve University
Lee White , Case Western Reserve University
John Morris , University of Western Australia
Daniel Hoffman , University of Victoria
pp. 183
Rodger T. Alexander , Colorado State University
Jeff Offutt , George Mason University
James M. Bieman , Colorado State University
pp. 207
Session 2C: System Analysis
Dingding Lu , Iowa State University
Robyn R. Lutz , Iowa State University and Jet Propulsion Laboratory
pp. 231
Ganesh J. Pai , Universtiy of Virginia
Joanne Bechta Dugan , University of Virginia
pp. 243
Session 1D: Practical Experience with Testing
Marc Fisher II , Oregon State University
Dalai Jin , Oregon State University
Gregg Rothermel , Oregon State Universtiy
Margaret Burnett , Oregon State University
pp. 257
G. Antoniol , University of Sannio
L.C. Briand , Carleton University
M. Di Penta , Universtiy of Sannio
Y. Labiche , Carleton University
pp. 269
Satya Kanduri , University of Nebraska - Lincoln
Sebastian Elbaum , University of Nebraska - Lincoln
pp. 280
Session 2D: Reliability Prediction and Analysis
Peter G. Bishop , Adelard and Centre for Software Reliability
Robin E. Bloomfield , Adelard and Centre for Software Reliability
pp. 295
Yu Lei , The University of Texas at Arlington
Kuo-Chung Tai , North Carolina State University
pp. 316
Session 1E: Software Mutation
João Durães , Polytechnic Institute of Coimbra,
Henrique Madeira , University of Coimbra
pp. 329
Roger T. Alexander , Colorado State University
James M. Bieman , Colorado State University
Sudipto Ghosh , Colorado State University
Bixia Ji , Colorado State Universtiy
pp. 341
Yu-Seung Ma , Korea Adv Inst of Sci & Tech
Yong-Rae Kwon , Korea Adv Inst of Sci & Tech
Jeff Offutt , George Mason University
pp. 352
Session 2E: Reliability Assessment
Farokh B. Bastani , Univ. of Texas at Dallas
Sung Kim , Univ. of Texas at Dallas
I-Ling Yen , Univ. of Texas at Dallas
Ing-Ray Chen , Virginia Tech
pp. 367
João W. Cangussu , University of Texas at Dallas
Aditya P. Mathur , Purdue University
Raymond A. DeCarlo , Purdue University
pp. 377
John C. Munson , University of Idaho
Allen P. Nikora , California Institute of Technology
pp. 388
Author Index (PDF)
pp. 397
38 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool