close
1.

図書
図書
1. Proceedings : the Ninth International Symposium on Software Reliability Engineering, Paderborn, Germany, November 4-7, 1998
sponsored by IEEE Computer Society Technical Council on Software Engineering(TCSE), IEEE Reliability Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1998  xi, 383 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Proceedings : the seventh International Symposium on Software Reliability Engineering, October 30-November 2, 1996, White Plains, New York
sponsored by IEEE Computer Society ; Organized by The Committee on Software Reliability Engineering of the IEEE Computer Society Technical Council on Software Engineering
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xviii, 383 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings : the eighth International Symposium on Software Reliability Engineering, November 2-5, 1997, Albuquerque, New Mexico (case studies)
sponsored by IEEE Computer Society Technical Committee on Software Engineering
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997  2 v. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Proceedings : the Sixth International Symposium on Software Reliability Engineering, October 24-27, 1995, Toulouse, France
sponsored by IEEE Computer Society Technical Committee on Software Engineering, LAAS-CNRS ; organized by IEEE Computer Society Subcommittee for Software Reliability Engineering, IEEE Computer Society Technical Committee on Software Engineering, SITEF ; in cooperation with the IEEE Reliability Society ; with the support of AT & T ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1995  xv, 394 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Proceedings, 16th International Symposium on Software Reliability Engineering : ISSRE 2005, 8-11 November 2005, Chicago, Illinois
sponsored by IEEE Computer Society, Rliability Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  xii, 357 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Proceedings : 10th International Symposium on Software Reliability Engineering, November 1-4, 1999, Boca Raton, Florida, USA
sponsored by Lucent Technologies ... [et al.] ; organized by the IEEE Computer Society Technical Council on Software Engineering and the IEEE Reliability Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  xii, 304 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Message from the General Chair
Conference Organization
Challenges and Solutions for 24/7 System Availability / A. Rivers ; T. Khoshgoftaar ; M. Vouk
Everything You Wanted to Know about SRE but Didn't Know Who to Ask / J. Musa ; W. Everett ; K. Kanoun ; A. Pasquini ; N. Scheidewind
Practical Issues in Implementing Software Reliability Measurement / A. Nikora ; N. Schneidewind ; J. Munson
Software Independent Verification and Validation (IVandV) Challenges / Dr. Lou Blazy
Tenth Anniversary Panel: A Look Back at the Ten Years of ISSRE
Software Reliability Techniques Models I
Confidence Interval Estimation of NHPP-Based Software Reliability Models / L. Yin ; K. Trivedi
Rare Failure-State in a Markov Chain Model for Software Reliability / M. Thomason ; J. Whittaker
Enhancing the Predictive Performance of the Littlewood Non-Homogeneous Poisson Process Software Reliability Growth Model Using Data Censoring Techniques / P. Keiller ; T. Mazzuchi
Reliability and Safety
Scenario-Based Reliability analysis of Component-Based Software / S. Yacoub ; B. Cukic ; H. Ammar
Building a System Failure Rate Estimator by Identifying Component Failure Rates / S. Kuball ; J. May ; G. Hughes
Applying Adaptive Safety Analysis Techniques / R. Lutz ; H-Y. Shaw
OO Testing and Modeling
An Exception Handling Mechanism for Developing Dependable Object-Oriented Software Based on a Meta-Level Approach / A. Garcia ; D. Beder ; C. Rubira
Software Reliability Modeling and Cost Estimation Incorporating Testing-Effort and Efficiency / C-Y. Huang ; J-H. Lo ; S-Y Kuo ; M. Lyu
Testing Object-Oriented Programs--An Integrated Approach / M-H. Chen ; H. Kao
Software Reliability Techniques Models II
A Measurement-Based Model for Estimation of Resource Exhaustion in Operational Software Systems / K. Vaidyanathan
A Stochastic Model of Human Errors in Software Development: Impact of Repair Times / C. Smidts
Exploring Cost and Reliability Tradeoffs in Architectural Alternatives Using a Genetic Algorithm / S. Wadekar ; S. Gokhale
Quality
Classification Tree Models of Software Quality Over Multiple Releases / E. Allen ; W. Jones ; J. Hudepohl
An Empirical Study of Experience-Based Software Defect Content Estimation Methods / H. Petersson ; C. Wohlin
Predicting Deviations in Software Quality by Using Relative Critical Value Deviation Metrics
Testing I
Using Simulation for Assessing the Real Impact of Test Coverage on Defect Coverage / L. Briand ; D. Pfahl
Efficient Regression Testing of Multi-Panel Systems / C. Williams ; A. Paradkar
An Approach to Testing COTS Software for Robustness to Operating System Exceptions and Errors / A. Ghosh ; M. Schmid
Software Development and Testing Methodology Used for Subscriber Digital Concentrator ACK-2000 / M. Popovic ; V. Kovacevic
Testing Process Guidance for Resource Constrained Software Testing
Robustness Testing of a Distributed Simulation Backplane / K. Fernsler ; P. Koopman
Increased Software Reliability through Input Validation Analysis and Testing / J. Hayes ; A. Offutt
Mutation Testing Applied to Validate Specifications Based on Statecharts / S. Fabbri ; J. Maldonado ; T. Sugeta ; P. Masiero
Software Reliability Techniques Models III
Developing a High-Quality Software Tool for Fault Tree Analysis / J. Dugan ; K. Sullivan ; D. Coppit
Failure Correlation in Software Reliability Models / K. Goseva-Popstojanova
Cost of Software Design Diversity: An Empirical Evaluation
Keynote
Rapid Business Value Delivery through Software Engineering / Rama Munikoti
Plenary Speaker
SRE at Microsoft / J. Tierney
Testing OO Software
Generating Test Cases from an OO Model with an AI Planning System / M. Scheetz ; A. von Mayrhauser ; R. France ; E. Dahlman ; A. Howe
Efficient Strategies for Integration and Regression Testing of OO Systems / T. Jeron ; J-M. Jezequel ; Y. Le Traon ; P. Morel
Regression Testing on Object-Oriented Programs / Y. Wu
Early Quality Prediction
Experience Report on Early Software Reliability Prediction and Estimation / C. Smith ; C. Uber
Requirements Volatility and Defect Density / Y. Malaiya ; J. Denton
Deriving a Fault Architecture from Defect History / J. Wang ; M. Ohlsson
Author Index
Foreword
Message from the General Chair
Conference Organization
7.

図書
図書
7. Proceedings : 11th International Symposium on Software Reliability Engineering : ISSRE 2000, October 8-11, 2000, San Jose, California, USA (: case ; : microfiche)
sponsored by Reliable Software Technologies, Telcordia Technologies, IBM Corp. ; organized by the IEEE Computer Society Technical Council on Software Engineering and the IEEE Reliability Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000  x, 377 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Organizing Committee
Program Committee
Keynote
Discard the Bathtub Model for the Shower Model / Mike Prowse
Panel
Everything You Wanted to Know About Software Reliability Engineering but Didn't Know Who to Ask / John Musa
Papers by Sessions
OO Methods
Building Trust into OO Components Using a Genetic Analogy / B. Baudry ; V. Le Hanh ; J. Jezequel ; Y. Le Traon
Criteria for Testing Polymorphic Relationships / R. Alexander ; J. Offut
Thresholds for Object--Oriented Measures / S. Benlarbi ; K. El Emam ; N. Goel ; S. Rai
Modeling
Heuristic Self-Organization Algorithms for Software Reliability Assessment and their Applications / T. Dohi ; S. Osaki ; K. Trivedi
Estimating the Failure Rate of Evolving Software Systems / D. Jeske ; M. Qureshi
Module Size Distribution and Defect Density / Y. Malaiya ; J. Denton
Quantitative Software Reliability Modeling from Testing to Operation / C.-Y. Huang ; S.-Y. Kuo ; M. Lyu ; J.-H. Lo
Testing I
Structural Testing of Web Applications / C.-H. Liu ; D. Kung ; P. Hsia ; C.-T. Hsu
Evaluation of Regressive Methods for Automated Generation of Test Trajectories / B. Taylor ; B. Cukic
Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences / L. White ; H. Almezen
Quantitative Methods
Assessing the Cost-Effectiveness of Inspections by Combining Project Data and Expert Opinion / L. Briand ; B. Freimut ; F. Vollei
Contributing to the Bottom Line: Optimizing Reliability-Cost-Schedule Tradeoff and Architecture Scalability through Test Technology / D. Boyd ; D. Cura ; W. Ehrlich ; R. Gotberg ; R. Hariharan ; P. Reeser
How to Measure the Impact of Specific Development Practices on Fielded Defect Density / A. Neufelder
Testability
Analyzing Testability on Data Flow Designs / F. Oaubdesselam ; C. Robach
A Software Falsifier / D. Brand
Planner Based Error Recovery Testing / A. von Mayrhauser ; M. Scheetz ; E. Dahlman ; A. Howe
Risk Assessment
Improving Tree-Based Models of Software Quality with Principal Components Analysis / T. Khoshgoftaar ; R. Shan ; E. Allen
A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics / S. Yacoub ; H. Ammar ; T. Robinson
Testing Nondeterminate Systems / T. Menzies ; H. Singh ; J. Powell
Measures
On the Repeatability of Metric Models and Metrics Across Software Builds / N. Schneidewind
Ranking Software Engineering Measures Related to Reliability Using Expert Opinion / M. Li ; C. Smidts ; R. Brill
Modeling Fault-Prone Modules of Subsystems / V. Thaker
Safety
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees / D. Coppit ; K. Sullivan ; J. Dugan
Extending Fault Trees with an AND-THEN Gate / P. Wijayarathna ; M. Maekawa
Risk Bands--A Novel Feature of Safecharts / N. Nissanke ; H. Dammag
Testing II
SALT--An Integrated Environment to Automate Generation of Function Tests for APIs / A. Paradkar
Assessing the Sensitivity to Usage Profile Changes in Test Planning / A. Wesslen ; P. Runeson ; B. Regnell
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications / S. Sze
Software Reliability and Maintenance Concept Used for Automatic Call Distributor MEDIO ACD / M. Popovic ; V. Kovacevic
Theory
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools / J. Aleman ; A. Alvarez
Formal Limits on Determining Reliabilities of Component-Based Software Systems / M. Kappes ; R. Klemm ; C. Kintala
Software Black Box: An Alternative Mechanism for Failure Analysis / S. Elbaum ; J. Munson
Author Index
Foreword
Organizing Committee
Program Committee
8.

図書
図書
8. Proceedings : 12th International Symposium on Software Reliability Engineering : ISSRE 2001, 27-30 November, Hong Kong, China (: case)
sponsored by IEEE Computer Society, IEEE Reliability Society ; in cooperation with the Chinese University of Hong Kong ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiii, 363 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Forword
Organizers
Reviewers
Component Based Systems / Session 1A.：
An Approach to Higher Reliability Using Software Components / H. Jin ; P. Santhanam
A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems / H. Singh ; V. Cortellessa ; B. Cukic ; E. Gunel ; V. Bharadwaj
Comparison of Architecture-Based Software Reliability Models / K. Goseva-Popstojanova ; A. Mathur ; K. Trivedi
Testing GUI Software / Session 1B.：
Finite-State Testing and Analysis of Graphical User Interfaces / F. Belli
Incorporating Software Reliability Engineering into the Test Process for an Extensive GUI-Based Network Management System / D. Donovan ; C. Dislis ; R. Murphy ; S. Unger ; C. Kenneally ; J. Young ; L. Sheehan
User-Based Testing of GUI Sequences and Their Interactions / L. White ; H. Almezen ; N. Alzeidi
Software Fault Models and Prediction / Session 2A.：
An Application of Zero-Inflated Poisson Regression for Software Fault Prediction / T. Khoshgoftaar ; K. Gao ; R. Szabo
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications / A. Ibrahim ; H. Ammar ; S. Yacoub
A Fault Model for Subtype Inheritance and Polymorphism / J. Offutt ; R. Alexander ; Y. Wu ; Q. Xiao ; C. Hutchinson
Reliable Wireless and Mobile Systems / Session 2B.：
Modeling and Analysis of Using Memory Management Unit to Improve Software Reliability / S.-J. Chang ; P. Kapauan
Modeling and Verifying Strong Cache Consistency for Mobile Data Access / J. Wei ; S.-C. Cheung ; H. Zhou ; X. Wang ; J. Li ; Y.-l. Feng
Recovery Proxy for Wireless Applications / B. Yao ; W. Fuchs
Fault Tolerant Distributed Software Systems / Session 3A.：
Estimation of Software Diversity by Fault Simulation and Failure Searching / L. Chen ; J. May ; G. Hughes
Fault Tolerant Distributed Information Systems / J. Knight ; M. Elder
Increasing the Reliability of Three-Tier Applications / W. Zhao ; L. Moser ; P. Melliar-Smith
Low-Cost Flexible Software Fault Tolerance for Distributed Computing / A. Tai ; K. Tso ; W. Sanders ; L. Alkalai ; S. Chau
Software Reliability Growth Modeling / Session 3B.：
A Simulation Based Trainer for Software Reliability Modeling / E. Jones ; A. Rembert
Analysis of Hypergeometric Distribution Software Reliability Model / T. Dohi ; N. Wakana ; S. Osaki
Discrete Equations and Software Reliability Growth Models / D. Satoh ; S. Yamada
Modelling the Fault Correction Process / N. Schneidewind
Testing Internet and Multimedia Systems / Session 4A.：
An Auto-Generating Tool for the MPEG-2 Formatted Test Data: ATEP / B. Choi ; S. Yeum ; T. Gwak ; B. Min
Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis / S. Lee
Toward Generic Timing Tests for Distributed Multimedia Software Systems / S. Cheung ; S. Chanson ; Z. Xu
Formal Approaches / Session 4B.：
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication / J. Zhou ; K.-c. Tai
Feedback Control of the Software Test Process Through Measurements of Software Reliability / J. Cangussu ; R. DeCarlo
Tool Support for Production Use of Formal Techniques / K. Hanks ; S. Travis
Software Testing Experiments / Session 5A.：
An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study / P. Chevalley ; P. Thevenod-Fosse
Evaluating the Software Test Strategy for the 2000 Sydney Olympics / K. Bassin ; S. Biyani
Coverage and Testing Strategies / Session 5B.：
Coverage Analysis for Message Flows / N. Aizenbud-Reshef
Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles / L. Briand ; Y. Labiche ; Y. Wang
Software Architecture / Session 6A.：
Automated and Portable Native Code Isolation / G. Czajkowski ; L. Daynes ; M. Wolczko
Deriving Tests From Software Architectures / Z. Jin
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs / F. Bastani ; I.-L. Yen ; K. Sung ; J. Linn ; K. Rao
Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability / B. Baudry ; Y. Sunye ; J.-M. Jezequel
Measurement Field Data and Experience / Session 6B.：
Accounting for Realities When Estimating the Field Failure Rate of Software / D. Jeske ; X. Zhang ; L. Pham
Defect Content Estimation for Two Reviewers / C. Wohlin ; H. Petersson ; M. Host ; P. Runeson
Measurement-Based Availability of Unix Systems in a Distributed Environment / C. Simache ; M. Kaaniche
Quantitative Evaluation and Operative Usage of Interactive Systems / A. Pasquini ; A. Rizzo ; L. Save ; M. Sujan
Author Index
Forword
Organizers
Reviewers
9.

図書
図書
9. Proceedings, 14th International Symposium on Software Reliability Engineering : ISSRE 2003, 17-20 November 2003, Denver, Colorado
sponsored by IEEE Computer Society, IEEE Reliability Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xiv, 492 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Welcome from the Program Committee Co-Chairs
Organizing Committee
Program Committee
Reviewers
Test Effectiveness I / Session 1A：
Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection / P. Runeson ; A. Andrews
A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing / L. C. Briand ; Y. Labiche ; Y. Wang
Optimal Resource Allocation for the Quality Control Process / P. Jalote ; B. Vishal
Test-Driven Development as a Defect-Reduction Practice / L. Williams ; E. M. Maximilien ; M. Vouk
Requirements Analysis / Session 1B：
Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project / J. Huffman Hayes
A New Software Testing Approach Based on Domain Analysis of Specifications and Programs / R. Zhao ; M. R. Lyu ; Y. Min
Static Specification Analysis for Termination of Specification-Based Data Structure Repair / B. Demsky ; M. Rinard
Requirements by Contracts Allow Automated System Testing / C. Nebut ; F. Fleurey ; Y. Le Traon ; J.-M. Jezequel
Test Effectiveness II / Session 2A：
Coverage Criteria for Logical Expressions / P. Ammann ; J. Offutt ; H. Huang
Anomalies as Precursors of Field Failures / S. Elbaum ; S. Kanduri ; A. Amschler Andrews
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering / Z. Huang ; S. K. S. Sze ; X. Cai
Secure Systems / Session 2B：
Forensic Analysis for Tamper Resistant Software / H. Jin ; J. Lotspiech
A Framework for Tamper Detection Marking of Mobile Applications / M. Jochen ; L. M. Marvel ; L. L. Pollock
High-Assurance Synthesis of Security Services from Basic Microservices / S. Kim ; F. B. Bastani ; I-L. Yen ; I.-R. Chen
Formal Reliability Analysis / Session 2C：
Shared Semantic Domains for Computational Reliability Engineering / D. Coppit ; R. R. Painter ; K. J. Sullivan
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications / A. Sinha ; C. S. Smidts ; A. Moran
Thoroughness of Specification-Based Testing of Synchronous Programs / I. Parissis ; J. Vassy
Empirical Studies and Tools / Session 3A：
Automating the Analysis of Voting Systems / S. Yacoub ; X. Lin ; S. Simske ; J. Burns
A Bayesian Belief Network for Assessing the Likelihood of Fault Content / S. Amasaki ; Y. Takagi ; O. Mizuno ; T. Kikuno
An Exploratory Study of Component Reliability Using Unit Testing / R. Torkar ; S. Mankefors ; K. Hansson ; A. Jonsson
Software Reliability Modeling / Session 3B：
Using a Log-Normal Failure Rate Distribution for Worst Case Bound Reliability Prediction / P. G. Bishop ; R. E. Bloomfield
An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling / H. Okamura ; Y. Watanabe ; T. Dohi
Fault Correction Profiles / N. F. Schneidewind
Empirical Studies / Session 4A：
Early Warning of Failures through Alarm Analysis--A Case Study in Telcom Voice Mail Systems / D. Levy ; R. Chillarege
Reducing Wasted Development Time via Continuous Testing / D. Saff ; M. D. Ernst
User-Oriented Reliability Modeling for a Web System / W.-L. Wang ; M.-H. Tang
Architectural Approaches I / Session 4B：
Assessing Uncertainty in Reliability of Component-Based Software Systems / K. Goseva-Popstojanova ; S. Kamavaram
When Does It Pay to Make Software More Reliable? / E. Stoker ; J. Bechta Dugan
Test Adequacy Assessment for UML Design Model Testing / S. Ghosh ; R. France ; C. Braganza ; N. Kawane ; O. Pilskalns
Panel Position Statement / Session 4C：
Open Source Software--A Recipe for Vulnerable Software, or The Only Way to Keep the Bugs and the Bad Guys Out? / S. Bagchi ; H. Madeira
Software Testing / Session 5A：
A Parameterized Cost Model to Order Classes for Class-Based Testing of C++ Applications / B. A. Malloy ; P. J. Clarke ; E. L. Lloyd
Exploiting Symmetries to Test Programs / A. Gotlieb
Non-Intrusive Debug Technique for Embedded Programming / L. J. Moore ; A. R. Moya
Architectural Analysis II / Session 5B：
Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components / H. Ma ; F. Bastani ; K. Cooper
Augmenting Simulated Annealing to Build Interaction Test Suites / M. B. Cohen ; C. J. Colbourn ; A. C. H. Ling
DARX--A Framework for the Fault-Tolerant Support of Agent Software / O. Marin ; M. Bertier ; P. Sens
Metrics / Session 6A：
Investigating Java Type Analyses for the Receiver-Classes Testing Criterion / P.-L. Brunelle ; E. Merlo ; G. Antoniol
Incremental Dynamic Impact Analysis for Evolving Software Systems / J. Law ; G. Rothermel
A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test Cases / D. Leon ; A. Podgurski
Probabilistic Analysis / Session 6B：
Integrating Software into PRA / B. Li ; M. Li ; S. Ghose ; C. Smidts
New Quality Estimations in Random Testing / A. Boklund
Maximizing Interval Reliability in Operational Software System with Rejuvenation / H. Suzuki ; N. Kaio ; K. S. Trivedi
Author Index
Preface
Welcome from the Program Committee Co-Chairs
Organizing Committee
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼