close
1.

図書

図書
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…
2.

図書

図書
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
3.

図書

図書
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
4.

図書

図書
sponsored by IEEE Computer Society, Rliability Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  xii, 357 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼