{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:42:11Z","timestamp":1694630531651},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[1979,8,1]],"date-time":"1979-08-01T00:00:00Z","timestamp":302313600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer"],"published-print":{"date-parts":[[1979,8]]},"DOI":"10.1109\/mc.1979.1658847","type":"journal-article","created":{"date-parts":[[2007,9,4]],"date-time":"2007-09-04T16:35:32Z","timestamp":1188923732000},"page":"10-18","source":"Crossref","is-referenced-by-count":11,"title":["Program Testing Techniques for Nuclear Reactor Protection Systems"],"prefix":"10.1109","volume":"12","author":[{"family":"Geiger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Gmeiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Trauboth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Voges","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref38","author":"beltracchi","year":"1976","journal-title":"IAEA\/NPPCI Specialists' Meeting on Use of Computers for Protection Systems and Automatic Control"},{"key":"ref33","article-title":"some steps toward formal and automated aids to software requirements analysis and design","author":"boehm","year":"1974","journal-title":"2nd IFIP Congress"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/355602.361309"},{"key":"ref31","author":"gmeiner","year":"1979","journal-title":"IFAC Workshop SAFECOMP 1979"},{"key":"ref30","first-page":"620","article-title":"a methodology for the development and validation of critical software for nuclear power plants","author":"long","year":"1977","journal-title":"Proc Compsac"},{"key":"ref37","article-title":"programmierhilfe-makros fur strukturierte programmierung","year":"0"},{"key":"ref36","year":"1974","journal-title":"Pascal?User Manual and Report Lecture Notes in Computer Science 18"},{"key":"ref35","year":"1976","journal-title":"IFTRAN Structured Programming Preprocessors for FORTRAN"},{"key":"ref34","article-title":"towards a formal language for functional specifications","author":"berthaud","year":"1977","journal-title":"IFIP TC2 Working Conference on Constructing Quality Software"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/356599.356602"},{"key":"ref11","article-title":"sadat an automated testing tool","author":"amschler","year":"1978","journal-title":"Workshop on Software Testing and Test Documentation"},{"key":"ref12","article-title":"sadata system for the automatic execution and evaluation of tests","author":"seifert","year":"1976","journal-title":"KfK- Ext"},{"key":"ref13","year":"1975","journal-title":"RXVP FORTRAN automated verification system"},{"key":"ref14","author":"gannon","year":"1977","journal-title":"JAVS?Final Report"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312872"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1977.217782"},{"key":"ref17","article-title":"optimal software test planning through automated network analysis","author":"krause","year":"1973","journal-title":"Record IEEE Symposium on Computer Software Reliability"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808473"},{"key":"ref19","article-title":"automatic case analysis of programs","author":"howden","year":"1975","journal-title":"Proc Computer Science and Statistics"},{"key":"ref28","author":"quirk","year":"1977","journal-title":"UKAEA"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-66599-8_38"},{"key":"ref27","author":"taylor","year":"1977","journal-title":"IAEA\/NPPCI Specialists' Meeting on Software Reliability"},{"key":"ref3","first-page":"606","article-title":"aspects of design, test and validation of the software for a computerized reactor protection system","author":"voges","year":"1976","journal-title":"Proc Int Conf Softw Eng"},{"key":"ref6","author":"dahl","year":"1972","journal-title":"Structured Programming"},{"key":"ref29","article-title":"reliability and architecture of plant safety systems","author":"cooper","year":"1977","journal-title":"UKAEA Harwell"},{"key":"ref5","author":"voges","year":"1975","journal-title":"Proposal of Programming Standards for a Computerized Protection System"},{"key":"ref8","author":"kopetz","year":"1976","journal-title":"Computer Monographien"},{"key":"ref7","author":"kernighan","year":"1974","journal-title":"The Elements of Programming Style"},{"key":"ref2","article-title":"computerized safeguarding of nuclear power plants: a case for reliable software","author":"nehmer","year":"1977","journal-title":"IFIP TC2 Working Conference on Constructing Quality Software"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/3-540-06786-8_260","author":"ramamoorthy","year":"1974","journal-title":"Lecture Notes on Computer Science 12"},{"key":"ref1","author":"j\ufffdngst","year":"1976","journal-title":"IAEA\/ NPPCI Specialists' Meeting on Use of Computers for Protection Systems and Automatic Control"},{"key":"ref20","first-page":"111","article-title":"structured testing","volume":"23","author":"walsh","year":"1977","journal-title":"Datamation"},{"key":"ref22","first-page":"131","article-title":"comparison between a permanently wired and a freely programmed reactor protection program","volume":"18","author":"schrufer","year":"1972","journal-title":"Atom und Strom"},{"key":"ref21","article-title":"principles of reliability assessment for computerized safety systems","author":"hoermann","year":"1974","journal-title":"CSNI Specialist Meeting on the Development and Application of Reliability Techniques to Nuclear Plant"},{"key":"ref24","author":"ehrenberger","year":"1973","journal-title":"Third European Seminar on Real-Time Programming"},{"key":"ref23","first-page":"611","article-title":"programanalysis a method for the verification of software for the control of a nuclear reactor","author":"ehrenberger","year":"1976","journal-title":"Proc Int Conf Softw Eng"},{"key":"ref26","author":"de agostino","year":"1977","journal-title":"IAEA\/NPPCI Specialists' Meeting on Software Reliability"},{"key":"ref25","author":"ehrenberger","year":"1977","journal-title":"private communication"}],"container-title":["Computer"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/2\/34733\/01658847.pdf?arnumber=1658847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:56:46Z","timestamp":1641988606000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1658847\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,8]]},"references-count":38,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/mc.1979.1658847","relation":{},"ISSN":["0018-9162"],"issn-type":[{"value":"0018-9162","type":"print"}],"subject":[],"published":{"date-parts":[[1979,8]]}}}