{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:26:46Z","timestamp":1750746406675},"reference-count":43,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5722,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw: Pract. Exper."],"published-print":{"date-parts":[[2000,1]]},"DOI":"10.1002\/(sici)1097-024x(200001)30:1<61::aid-spe292>3.0.co;2-9","type":"journal-article","created":{"date-parts":[[2002,9,10]],"date-time":"2002-09-10T20:54:33Z","timestamp":1031691273000},"page":"61-79","source":"Crossref","is-referenced-by-count":65,"title":["Automated test-data generation for exception conditions"],"prefix":"10.1002","volume":"30","author":[{"given":"N.","family":"Tracey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Clark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Mander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"McDermid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB1","unstructured":"Denis Howe. The free on-line dictionary of computing. http:\/\/wombat.doc.ic.ac.uk."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB2","volume-title":"Safeware: System Safety and Computers","author":"Leveson","year":"1995","unstructured":"Safeware: System Safety and Computers; Addison Wesley, 1995."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB3","author":"Toy","year":"1981","unstructured":"Fault-tolerant design of local ESS processors. The Theory and Practice of Reliable System Design, 1981."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB4","author":"Lions","year":"1996","unstructured":"Ariane 5: Flight 501 failure report. Technical report, ESA\/CNES, July 1996."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB5","year":"1995","unstructured":"ISO\/IEC 8652:1995. Ada 95: Language Reference Manual, 1995."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB6","author":"McHugh","year":"1984","unstructured":"Towards efficient code from verfied programs. Technical Report 40, Institute for Computer Science, University of Texas, March 1984."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB7","volume-title":"Software Testing Techniques","author":"Beizer","year":"1990","unstructured":"Software Testing Techniques, 2nd edn.; Thomson Computer Press, 1990."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB8","first-page":"209","volume-title":"International Symposium on Software Testing and Analysis","author":"Korel","year":"1996","unstructured":"Automated test data generation for programs with procedures. International Symposium on Software Testing and Analysis; ACM\/SIGSOFT, 1996; 209-215."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB9","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1093\/comjnl\/41.2.98","volume":"41","author":"Jones","year":"1998","journal-title":"The Computer Journal"},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB10","author":"Boyer","year":"1975","unstructured":"SELECT - a formal system for testing and debugging programs by symbolic execution. Proceedings International Conference on Reliable Software, 1975; 234-245."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSE.1976.233817","author":"Clarke","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB12","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/151257.151258","volume":"2","author":"Demillo","year":"1993","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB13","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"King","year":"1976","journal-title":"Communications of the ACM"},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB14","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/TSE.1976.233835","volume":"SE-2","author":"Ramamoorthy","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB15","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TSE.1976.233818","volume":"SE-2","author":"Miller","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB16","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"Ferguson","year":"1996","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB17","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"Korel","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB18","first-page":"71","volume-title":"18th International Conference on Software Engineering","author":"Korel","year":"1996","unstructured":"Assertion oriented automated test data generation. 18th International Conference on Software Engineering; IEEE, 1996; 71-80."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB19","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1109\/32.624304","volume":"23","author":"Gallagher","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB20","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1049\/sej.1996.0040","volume":"11","author":"Jones","year":"1996","journal-title":"Software Engineering Journal"},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB21","author":"Xanthakis","year":"1992","unstructured":"Application des algorithmes genetiques au test des logiciels. Proceedings of 5th International Conference on Software Engineering, 1992; 625-638."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB22","author":"Watkins","year":"1995","unstructured":"The automatic generation of test data using genetic algorithms. Proceedings of the 4th Software Quality Conference, 1995; 2:300-309."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB23","first-page":"65","volume-title":"Genetic Algorithms in Engineering Systems: Innovations and Applications","author":"Jones","year":"1995","unstructured":"Generating test-data for Ada procedures using gentic algorithms. Genetic Algorithms in Engineering Systems: Innovations and Applications; IEEE, September 1995; 65-70."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB24","author":"Clark","year":"1997","unstructured":"Solving constraints in LAW. LAW\/D5.1.1(E), European Commission - DG III Industry, 1997. Legacy Assessment Workbench Feasibility Assessment."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB25","first-page":"73","volume-title":"International Symposium on Software Testing and Analysis","author":"Tracey","year":"1998","unstructured":"Automated program flaw finding using simulated annealing. International Symposium on Software Testing and Analysis; ACM\/SIGSOFT, 1998; 73-81."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB26","first-page":"169","volume-title":"International Workshop on Dependable Computing and Its Applications","author":"Tracey","year":"1998","unstructured":"The way forward for unifying dynamic test case generation: The optimisation-based approach. International Workshop on Dependable Computing and Its Applications; IFIP, 1998; 169-180."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB27","volume-title":"Proceedings of the International Conference on Automated Software Engineering","author":"Tracey","year":"1998","unstructured":"An automated framework for structural test-data generation. Proceedings of the International Conference on Automated Software Engineering; IEEE, October 1998."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB28","volume-title":"Proceedings of the 17th International Conference on System Safety","author":"Tracey","year":"1999","unstructured":"Integrating safety analysis with automatic test-data generation for software safety verification. Proceedings of the 17th International Conference on System Safety; IEEE, August 1999."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB29","volume-title":"Graph Theory with Applications to Engineering and Computer Science","author":"Deo","year":"1974","unstructured":"Graph Theory with Applications to Engineering and Computer Science; Prentice-Hall, 1974."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB30","volume-title":"Software Fault Injection: Inoculating Programs Against Errors","author":"Voas","year":"1998","unstructured":"Software Fault Injection: Inoculating Programs Against Errors; Wiley, 1998."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB31","author":"Praxis Critical Systems","year":"1995","unstructured":"Praxis Critical Systems. Spark-Ada Documentation 2.0, 1995."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB32","volume-title":"High Integrity Ada: The SPARK Approach","author":"Barnes","year":"1997","unstructured":"High Integrity Ada: The SPARK Approach; Addison-Wesley, 1997."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB33","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1109\/32.6165","volume":"14","author":"Ntafos","year":"1988","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB34","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"Zhu","year":"1997","journal-title":"ACM Computing Surveys"},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB35","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"Kirkpatrick","year":"1983","journal-title":"Science"},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB36","volume-title":"Adaptation in Natural and Artificial Systems","author":"Holland","year":"1975","unstructured":"Adaptation in Natural and Artificial Systems; University of Michigan Press, 1975."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB37","volume-title":"Modern Heuristic Search Methods","author":"Rayward-Smith","year":"1996","unstructured":"(eds). Modern Heuristic Search Methods; Wiley, 1996."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB38","author":"MoD","year":"1997","unstructured":"MoD. 00-55 requirements of safety related software in defence equipment. Ministry of Defence, August 1997."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB39","author":"Radio Technical Commission for Aeronautics","year":"1992","unstructured":"Radio Technical Commission for Aeronautics. RTCS\/DO-178B: software considerations in airborne systems and equipment, December 1992."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB40","author":"IEC","year":"1997","unstructured":"IEC. 61508 - functional safety of electrical \/ electronic \/ programmble electronic safety-related systems. International Electrotechnical Commission, Draft Standard, December 1997."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB41","volume-title":"Proceedings of the 4th Australian Workshop on Safety Critical Systems and Software","author":"Tracey","year":"1999","unstructured":"Integrating automated testing with exception freeness proofs for safety critical systems. Proceedings of the 4th Australian Workshop on Safety Critical Systems and Software; The Australian Computer Society, 1999."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB42","author":"Chapman","year":"1997","unstructured":"Praxis critical systems. Personal communication, 1997."},{"key":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9-BIB43","author":"King","year":"1999","unstructured":"The value of verification: positive experience of industrial proof. Formal Methods 1999 Technical Symposium, 1999."}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F(SICI)1097-024X(200001)30:1%3C61::AID-SPE292%3E3.0.CO;2-9","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/(SICI)1097-024X(200001)30:1%3C61::AID-SPE292%3E3.0.CO;2-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T07:51:07Z","timestamp":1625125867000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,1]]}},"URL":"https:\/\/doi.org\/10.1002\/(sici)1097-024x(200001)30:1<61::aid-spe292>3.0.co;2-9","relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,1]]}}}