On the public citation graph

Correction to 'Certifying the reliability of software' (Jan. 1986 3-11)

https://doi.org/10.1109/32.21765
0 signed · 62 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1109/32.21765openalex-snapshot
Correction to 'Certifying the reliability of software' (Jan. 1986 3-11)
inferredcites →https://doi.org/10.1109/tse.1986.6312914openalex-snapshot
Certifying the reliability of software

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-7091-9123-1_2openalex-snapshot
Software Validation by Means of Statistical Testing: Retrospect and Future Direction
inferred← citeshttps://doi.org/10.1109/24.52617openalex-snapshot
A general theory of software-reliability modeling
inferred← citeshttps://doi.org/10.1109/24.58722openalex-snapshot
Empirically based analysis of failures in software systems
inferred← citeshttps://doi.org/10.1109/32.121755openalex-snapshot
X-ware reliability and availability modeling
inferred← citeshttps://doi.org/10.1109/32.256853openalex-snapshot
In-process evaluation for software inspection and test
inferred← citeshttps://doi.org/10.1109/32.328991openalex-snapshot
A Markov chain model for statistical software testing
inferred← citeshttps://doi.org/10.1109/32.489081openalex-snapshot
A binary Markov process model for random testing
inferred← citeshttps://doi.org/10.1109/32.90433openalex-snapshot
A method for software reliability analysis and prediction application to the TROPICO-R switching system
inferred← citeshttps://doi.org/10.1109/32.90436openalex-snapshot
The KAT (knowledge-action-transformation) approach to the modeling and evaluation of reliability and availability growth
inferred← citeshttps://doi.org/10.1109/32.9047openalex-snapshot
An approach to software product testing
inferred← citeshttps://doi.org/10.1109/52.207234openalex-snapshot
Planning and certifying software system reliability
inferred← citeshttps://doi.org/10.1109/52.268956openalex-snapshot
Cleanroom process model
inferred← citeshttps://doi.org/10.1109/52.406760openalex-snapshot
Practical steps toward quality development
inferred← citeshttps://doi.org/10.1109/52.50774openalex-snapshot
Applying reliability measurement: a case study
inferred← citeshttps://doi.org/10.1109/cmpeur.1991.257382openalex-snapshot
From random testing of hardware to statistical testing of software
inferred← citeshttps://doi.org/10.1109/cmpeur.1991.257407openalex-snapshot
Software reliability modelling: achievements and limitations
inferred← citeshttps://doi.org/10.1109/cmpsac.1988.17141openalex-snapshot
A case study in cleanroom software engineering: the IBM COBOL Structuring Facility
inferred← citeshttps://doi.org/10.1109/csee.1998.658294openalex-snapshot
Software engineering at a distance
inferred← citeshttps://doi.org/10.1109/ftcs.1991.146694openalex-snapshot
An experimental study on software structural testing: deterministic versus random input generation
inferred← citeshttps://doi.org/10.1109/hicss.1992.183251openalex-snapshot
Certifying the correctness of software
inferred← citeshttps://doi.org/10.1109/hicss.1992.183252openalex-snapshot
Extended semantics for box structures
inferred← citeshttps://doi.org/10.1109/hicss.1992.183256openalex-snapshot
Statistical testing for cleanroom software engineering
inferred← citeshttps://doi.org/10.1109/hicss.1992.183257openalex-snapshot
Incremental implementation of cleanroom practices
inferred← citeshttps://doi.org/10.1109/hicss.1992.183258openalex-snapshot
OS/2 cleanroom environment: a progress report on a cleanroom tools development project
inferred← citeshttps://doi.org/10.1109/hicss.1996.495407openalex-snapshot
Input domain partitioning in software testing
inferred← citeshttps://doi.org/10.1109/hicss.1997.663180openalex-snapshot
Techniques For Safety Critical Software Development
inferred← citeshttps://doi.org/10.1109/hicss.1998.656297openalex-snapshot
Techniques For Safety Critical Software Development
inferred← citeshttps://doi.org/10.1109/icacci.2018.8554566openalex-snapshot
Safety Critical Embedded Software: Significance and Approach to Reliability
inferred← citeshttps://doi.org/10.1109/icc.1993.397351openalex-snapshot
Software reliability prediction from the telecommunications carrier perspective
inferred← citeshttps://doi.org/10.1109/icse.1993.346035openalex-snapshot
Coverage measurement experience during function test
inferred← citeshttps://doi.org/10.1109/icse.1993.346060openalex-snapshot
Cleanroom software engineering for zero-defect software
inferred← citeshttps://doi.org/10.1109/icse.1998.671393openalex-snapshot
Defect content estimations from review data
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00042openalex-snapshot
Operation is the Hardest Teacher: Estimating DNN Accuracy Looking for Mispredictions
inferred← citeshttps://doi.org/10.1109/icsi.1990.138725openalex-snapshot
Software engineering for expert systems: a 'proof' that software engineering really works
inferred← citeshttps://doi.org/10.1109/ieeestd.1989.122630openalex-snapshot
IEEE Guide for the Use of IEEE Standard Dictionary of Measures to Produce Reliable Software
inferred← citeshttps://doi.org/10.1109/issre.1991.145362openalex-snapshot
A data collection environment for software reliability research
inferred← citeshttps://doi.org/10.1109/issre.1991.145384openalex-snapshot
On the determination of optimum software release time
inferred← citeshttps://doi.org/10.1109/issre.1992.285849openalex-snapshot
A method proposal for early software reliability estimation
inferred← citeshttps://doi.org/10.1109/issre.1993.624272openalex-snapshot
Engineering reliable software
inferred← citeshttps://doi.org/10.1109/issre.1993.624293openalex-snapshot
Experience in software reliability: From data collection to quantitative evaluation
inferred← citeshttps://doi.org/10.1109/issre.1993.624296openalex-snapshot
On the need for simulation for better characterization of software reliability
inferred← citeshttps://doi.org/10.1109/issre.1994.341358openalex-snapshot
Assessment of a sampling method for measuring safety-critical software reliability
inferred← citeshttps://doi.org/10.1109/issre.1994.341379openalex-snapshot
Effect of test set size and block coverage on the fault detection effectiveness
inferred← citeshttps://doi.org/10.1109/issre.1996.558688openalex-snapshot
Sensitivity of reliability growth models to operational profile errors
inferred← citeshttps://doi.org/10.1109/issre.2016.50openalex-snapshot
On Adaptive Sampling-Based Testing for Software Reliability Assessment
inferred← citeshttps://doi.org/10.1109/ms.1986.229478openalex-snapshot
Structured Programming: Retrospect and Prospect
inferred← citeshttps://doi.org/10.1109/ms.1987.231413openalex-snapshot
Cleanroom Software Engineering
inferred← citeshttps://doi.org/10.1109/qrs.2018.00017openalex-snapshot
Probabilistic Sampling-Based Testing for Accelerated Reliability Assessment
inferred← citeshttps://doi.org/10.1109/rams.1994.291129openalex-snapshot
Technologies for improving the dependability of software-intensive systems: review of NASA experience
inferred← citeshttps://doi.org/10.1109/sess.1995.525966openalex-snapshot
Quantifying the reliability of software: statistical testing based on a usage model
inferred← citeshttps://doi.org/10.1109/test.1993.470703openalex-snapshot
On the evaluation of software inspections and tests
inferred← citeshttps://doi.org/10.1109/tr.2013.2257051openalex-snapshot
Combining Operational and Debug Testing for Improving Reliability
inferred← citeshttps://doi.org/10.1109/tse.1987.233525openalex-snapshot
Cleanroom Software Development: An Empirical Evaluation
inferred← citeshttps://doi.org/10.1109/tse.2015.2491931openalex-snapshot
RELAI Testing: A Technique to Assess and Improve Software Reliability
inferred← citeshttps://doi.org/10.1109/tsmc.1987.4309028openalex-snapshot
Systems Engineering for Software Productivity
inferred← citeshttps://doi.org/10.1109/wsc.2001.977366openalex-snapshot
Usage testing of military simulation systems
inferred← citeshttps://doi.org/10.1147/jrd.2019.2942288openalex-snapshot
FactSheets: Increasing trust in AI services through supplier's declarations of conformity
inferred← citeshttps://doi.org/10.5555/257572.257575openalex-snapshot
Cleanroom software engineering for zero-defect software
inferred← citeshttps://doi.org/10.5555/257572.257635openalex-snapshot
Coverage measurement experience during function test
showing the first 59 of 60 · page through all 60
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.