Corpus ID: 17263615

A Time/Structure Based Model for Estimating Software Reliability

  title={A Time/Structure Based Model for Estimating Software Reliability},
  author={A. Mathur and J. R. Horgan and Mei-Hwa Chen and V. Rego},
Estimation of the probability of software failure during a speciied exposure period, also known as reliability, has long been an important subject of research. [...] Key Method A common characteristic of both the approaches is that they incorporate features of testing e.g. data ow or mutation testing, during the integration test phase of the software development cycle. While the pure structure based approach requires the use of certain testing methods, the time/structure based approach does not. We expect these…Expand
Effect of code coverage on software reliability measurement
An empirical study of the correlation between code coverage and reliability estimation
Mutation testing framework for software reliability model analysis and reliability estimation
TERSE: A tool for evaluating software reliability models
Software reliability growth with test coverage
How do we collect data for software reliability estimation?
Software Reliability Modeling with Integrated Test Coverage
  • Jinxia An, Jihong Zhu
  • Computer Science
  • 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement
  • 2010
Improving model-based verification of embedded systems by analyzing component dependences
  • S. Siegl, Philipp Caliebe
  • Computer Science
  • 2011 6th IEEE International Symposium on Industrial and Embedded Systems
  • 2011


Software Reliability Models: Assumptions, Limitations, and Applicability
  • A. Goel
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 1985
Software reliability measurement
  • J. Musa
  • Computer Science
  • J. Syst. Softw.
  • 1980
Some Graphical Aids for Deciding When to Stop Testing Software
A User-Oriented Software Reliability Model
  • R. Cheung
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 1980
A Formal Evaluation of Data Flow Path Selection Criteria
Software reliability - measurement, prediction, application
  • G. Tamkovich
  • Medicine
  • California state journal of medicine
  • 1989
A torture test for TEX
Automatic Test Analysis for C Programs," Mem- orandum, Bell Communications Research (Bellcore) internal memorandum, TM-TSV-017980
  • 1990