The Community for Technology Leaders
RSS Icon
Subscribe
2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) (2003)
Denver, Colorado
Nov. 17, 2003 to Nov. 21, 2003
ISBN: 0-7695-2007-3
TABLE OF CONTENTS
Preface (PDF)
pp. ix
pp. xii
Reviewers (PDF)
pp. xiii
Session 1A: Test Effectiveness I
Per Runeson , Lund University, Sweden
Anneliese Andrews , Washington State University, Pullman, WA
pp. 3
L. C. Briand , Carleton University, Ottawa, Canada
Y. Labiche , Carleton University, Ottawa, Canada
Y. Wang , Carleton University, Ottawa, Canada
pp. 14
Pankaj Jalote , Indian Institute of Technology Kanpur, India
Bijendra Vishal , Indian Institute of Technology Kanpur, India
pp. 26
Laurie Williams , North Carolina State University
E. Michael Maximilien , IBM Corporation and North Carolina State University
Mladen Vouk , North Carolina State University
pp. 34
Session 1B: Requirements Analysis
Ruilian Zhao , Beijing University of Chemical Technology
Michael R. Lyu , Chinese University of Hong Kong
Yinghua Min , Chinese Academy of Sciences in Beijing
pp. 60
Brian Demsky , Massachusetts Institute of Technology
Martin Rinard , Massachusetts Institute of Technology
pp. 71
Cl?mentine Nebut , IRISA, France
Franck Fleurey , IRISA, France
Yves Le Traon , IRISA, France
Jean-Marc J?z?quel , IRISA, France
pp. 85
Session 2A: Test Effectiveness II
Paul Ammann , George Mason University, Fairfax, VA
Jeff Offutt , George Mason University, Fairfax, VA
Hong Huang , George Mason University, Fairfax, VA
pp. 99
Sebastian Elbaum , University of Nebraska - Lincoln, Nebraska
Satya Kanduri , University of Nebraska - Lincoln, Nebraska
Anneliese Amschler Andrews , Washington State University, Pullman, WA
pp. 108
Michael R. Lyu , The Chinese University of Hong Kong
Zubin Huang , The Chinese University of Hong Kong
Sam K. S. Sze , The Chinese University of Hong Kong
Xia Cai , The Chinese University of Hong Kong
pp. 119
Session 2B: Secure Systems
Hongxia Jin , IBM Almaden Research Center, San Jose, CA
Jeffery Lotspiech , IBM Almaden Research Center, San Jose, CA
pp. 133
Mike Jochen , University of Delaware
Lisa M. Marvel , U.S. Army Research Laboratory
Lori L. Pollock , University of Delaware
pp. 143
Sung Kim , Univ. of Texas at Dallas
Farokh B. Bastani , Univ. of Texas at Dallas
I-Ling Yen , Univ. of Texas at Dallas
Ing-Ray Chen , Virginia Tech (VPI&SU)
pp. 154
Session 2C: Formal Reliability Analysis
David Coppit , The College of William and Mary
Robert R. Painter , The College of William and Mary
Kevin J. Sullivan , The University of Virginia
pp. 169
A. Sinha , University of Maryland
C. S. Smidts , University of Maryland
A. Moran , Galois Connections Inc.
pp. 181
Ioannis Parissis , Laboratoire LSR - IMAG
J?r? Vassy , Laboratoire LSR - IMAG
pp. 191
Session 3A: Empirical Studies and Tools
Sherif Yacoub , Hewlett-Packard Laboratories, Palo Alto, CA
Xiaofan Lin , Hewlett-Packard Laboratories, Palo Alto, CA
Steve Simske , Hewlett-Packard Laboratories, Palo Alto, CA
John Burns , Hewlett-Packard Laboratories, Palo Alto, CA
pp. 203
Sousuke Amasaki , Osaka University, Japan
Yasunari Takagi , OMRON Corporation, Japan
Osamu Mizuno , Osaka University, Japan
Tohru Kikuno , Osaka University, Japan
pp. 215
R. Torkar , University of Trollh?ttan/Uddevalla
S. Mankefors , University of Trollh?ttan/Uddevalla
K. Hansson , University of Trollh?ttan/Uddevalla
A. Jonsson , University of Trollh?ttan/Uddevalla
pp. 227
Session 3B: Software Reliability Modeling
Peter G. Bishop , Adelard and Centre for Software Reliability
Robin E. Bloomfield , Adelard and Centre for Software Reliability
pp. 237
Hiroyuki Okamura , Hiroshima University
Yasuhiro Watanabe , Hiroshima University
Tadashi Dohi , Hiroshima University
pp. 246
Norman F. Schneidewind , Naval Postgraduate School
pp. 257
Session 4A: Empirical Studies
Dorron Levy , Comverse Technology Inc., and Chillarege Inc.
Ram Chillarege , Comverse Technology Inc., and Chillarege Inc.
pp. 271
David Saff , MIT Computer Science & Artificial Intelligence Lab
Michael D. Ernst , MIT Computer Science & Artificial Intelligence Lab
pp. 281
Wen-Li Wang , Penn State University, Behrend College Erie
Mei-Huei Tang , Gannon University
pp. 293
Session 4B: Architectural Approaches I
Katerina Goseva-Popstojanova , West Virginia University, Morgantown
Sunil Kamavaram , West Virginia University, Morgantown
pp. 307
Ed Stoker , University of Virginia
Joanne Bechta Dugan , University of Virginia
pp. 321
Sudipto Ghosh , Colorado State University, Fort Collins
Robert France , Colorado State University, Fort Collins
Conrad Braganza , Colorado State University, Fort Collins
Nilesh Kawane , Colorado State University, Fort Collins
Anneliese Andrews , Washington State University, Pullman, WA
Orest Pilskalns , Washington State University, Pullman, WA
pp. 332
Session 4C: Panel Position Statement
Session 5A: Software Testing
Brian A. Malloy , Clemson University, SC
Peter J. Clarke , Florida International University, Miami
Errol L. Lloyd , University of Delaware, Newark
pp. 353
Arnaud Gotlieb , IRISA / INRIA, France
pp. 365
Linda J. Moore , University of Colorado at Denver
Angelica R. Moya , University of Colorado at Denver
pp. 375
Session 5B: Architectural Analysis II
Hui Ma , University of Texas at Dallas
I-Ling Yen , University of Texas at Dallas
Farokh Bastani , University of Texas at Dallas
Kendra Cooper , University of Texas at Dallas
pp. 383
Myra B. Cohen , University of Auckland, New Zealand
Charles J. Colbourn , Arizona State University, Tempe
Alan C. H. Ling , University of Vermont, Burlington
pp. 394
Olivier Marin , University of Le Havre; University Paris 6 - CNRS
Marin Bertier , University Paris 6 - CNRS
Pierre Sens , INRIA, France
pp. 406
Session 6A: Metrics
Pierre-Luc Brunelle , ?cole Polytechnique, Montr?al, Canada
Ettore Merlo , ?cole Polytechnique, Montr?al, Canada
Giuliano Antoniol , University of Sannio, Benevento, Italy
pp. 419
James Law , Oregon State University, Corvallis
Gregg Rothermel , Oregon State University, Corvallis
pp. 430
David Leon , Case Western Reserve University, Cleveland, OH
Andy Podgurski , Case Western Reserve University, Cleveland, OH
pp. 442
Session 6B: Probabilistic Analysis
Bin Li , University of Maryland, College Park
Ming Li , University of Maryland, College Park
Susmita Ghose , University of Maryland, College Park
Carol Smidts , University of Maryland, College Park
pp. 457
S. Mankefors , University of Trollh?ttan/Uddevalla
R. Torkar , University of Trollh?ttan/Uddevalla
A. Boklund , University of Trollh?ttan/Uddevalla
pp. 468
Hiroyuki Suzuki , Hiroshima University
Tadashi Dohi , Hiroshima University
Naoto Kaio , Hiroshima Shudo University
Kishor S. Trivedi , Duke University
pp. 479
Author Index (PDF)
pp. 491
62 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool