EngineeringNuclear EngineeringSystems EngineeringNuclear Safety AnalysisRadiation ProtectionSafety EngineeringReactor InstrumentationReactor Protection SystemsReactor SafeguardsProtection System Verification And ValidationReactor ProtectionReactor Protection System ReliabilityReactor Protection System TestingSoftware Reliability AssessmentSoftware Reliability EngineeringSoftware Reliability TestingSoftware-based Protection Systems
The high-reliability software required for nuclear reactor protection systems cannot be validated by a single method. This approach combines several different but complementary techniques.
8
Olle Dahl, E. Dijkstra, C. A. R. Hoare · 1972 · 890 citations
Toward a theory of test data selection
John B. Goodenough, Susan L. Gerhart · 1975 · 92 citations