• Publications
  • Influence
Test set size minimization and fault detection effectiveness: a case study in a space application
An important question in software testing is whether it is reasonable to apply coverage based criteria as a filter to reduce the size of a test set. An empirical study was conducted using a test setExpand
  • 95
  • 10
The SQUID approach to defining a quality model
This paper describes an attempt to use the approach developed by the SQUIDproject, which was part of the ESPRIT 3 programme, to define the software quality requirements of the Telescience project.Expand
  • 65
  • 6
Test set size minimization and fault detection effectiveness: A case study in a space application
Abstract An important question in software testing is whether it is reasonable to apply coverage-based criteria as a filter to reduce the size of a test set. An empirical study was conducted using aExpand
  • 91
  • 5
Sensitivity of reliability-growth models to operational profile errors vs. testing accuracy [software testing]
This paper investigates: 1) the sensitivity of reliability-growth models to errors in the estimate of the operational profile (OP); and 2) the relation between this sensitivity and the testingExpand
  • 80
  • 5
A Method for Software Quality Planning, Control, and Evaluation
Squid is a method and a tool for quality assurance and a control that allows a software development organization to plan and control product quality during development. The Telescience softwareExpand
  • 90
  • 4
A binomial software reliability model based on coverage of structural testing criteria
A new approach to software reliability modeling is discussed where variables indirectly related with software reliability are used to provide additional information for the modeling process. PreviousExpand
  • 9
  • 2
Sensitivity of reliability growth models to operational profile errors
The estimation of the operational profile is one of the key factors during the use of software reliability growth models. However, the operational profile can be very difficult to estimate inExpand
  • 29
  • 1
  • PDF
Formal tasks and systems models as a tool for specifying and assessing automation designs
Designing interactive computing systems in such a way that as much functions as possible are automated has been the driving direction of research and engineering both in aviation and in computerExpand
  • 23
  • 1
  • PDF
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
An experiment was conducted to evaluate an inter-procedural test adequacy criterion named Interface Mutation. Program SPACE, developed for the European Space Agency (ESA), was used in thisExpand
  • 19
  • 1
Perils Of Software Reliability Modeling
Using arguments based on an analysis of the state of the art in the eld of software reliability estimation and related practice, we warn practitioners that the road to reliability estimation isExpand
  • 9
  • 1