• Publications
  • Influence
Software fault interactions and implications for software testing
TLDR
Exhaustive testing of computer software is intractable, but empirical studies of software failures suggest that testing can in some cases be effectively exhaustive. Expand
  • 685
  • 39
  • PDF
Experimental Models for Validating Technology
TLDR
A taxonomy for software engineering experimentation that describes twelve different experimental approaches for demonstrating the validity of new techniques. Expand
  • 578
  • 26
  • PDF
Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric
................................................................................................ iii
  • 353
  • 25
  • PDF
FAILURE MODES IN MEDICAL DEVICE SOFTWARE: AN ANALYSIS OF 15 YEARS OF RECALL DATA
TLDR
This paper presents an analysis of software-related failures of medical devices that caused no death or injury but led to recalls by the manufacturers. Expand
  • 192
  • 11
  • PDF
Experimental validation in software engineering
TLDR
We developed a 12-model classification scheme for performing experimentation within the software development domain and found that the method appears to work. Expand
  • 212
  • 6
  • PDF
Experimental Validation of New Software Technology
TLDR
When to apply a new technology in an organization is a critical decision for every software development organization. Expand
  • 68
  • 3
Reference information for the software verification and validation process
TLDR
Software verification'and validation (V&V) is an aid in determining that the software requirements are implemented correctly and completely and are traceable to system requirements. Expand
  • 55
  • 3
  • PDF
Culture Conflicts in Software Engineering Technology Transfer
TLDR
We discuss a study conducted among a large group of computer software professionals in order to understand what techniques can be used to support the introduction of new technologies and to understand the biases and opinions of those charged with researching, developing or implementing those new technologies. Expand
  • 38
  • 3
  • PDF
Using the Unravel Program Slicing Tool to Evaluate High Integrity Software
TLDR
This paper describes a program slicing tool, unravel, that can assist in the evaluation of high integrity software by using program slices to extract a single computation from a program for examination and test. Expand
  • 14
  • 2
  • PDF
Validating the Benefit of New Software Technology
[This abstract is based on the editor's abstract.] The software engineering research community develops methods of demonstrating the effectiveness of new software, and the corporate world exploresExpand
  • 8
  • 2
  • PDF