{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:00:48Z","timestamp":1725897648129},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360619"},{"type":"electronic","value":"9783642360626"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36062-6_54","type":"book-chapter","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T12:39:20Z","timestamp":1361277560000},"page":"538-546","source":"Crossref","is-referenced-by-count":0,"title":["Mathematical and Implementation Challenges Associated with Testing of the Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Pawel","family":"Skruch","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"54_CR1","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1145\/356876.356879","volume":"14","author":"W. Adrion","year":"1982","unstructured":"Adrion, W., Brandstad, J., Cherniabsky, J.: Validation, Verification and Testing of Computer Software. Computing Surveys\u00a014, 159\u2013192 (1982)","journal-title":"Computing Surveys"},{"key":"54_CR2","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, Boston (1990)","edition":"2"},{"key":"54_CR3","volume-title":"Black-Box Testing. Techniques for Functional Testing of Software and Systems","author":"B. Beizer","year":"1995","unstructured":"Beizer, B.: Black-Box Testing. Techniques for Functional Testing of Software and Systems. John Willey & Sons, New York (1995)"},{"key":"54_CR4","volume-title":"Software Engineering Economics","author":"B. Boehm","year":"1981","unstructured":"Boehm, B.: Software Engineering Economics. Prentice Hall, Englewood Cliffs (1981)"},{"key":"54_CR5","unstructured":"International Software Testing Qualifications Board (ISTQB): Standard Glossary of Terms Used in Software Testing, Version 2.1 (2010), \n                    \n                      http:\/\/www.astqb.org"},{"key":"54_CR6","volume-title":"Testing Computer Software","author":"C. Kaner","year":"1995","unstructured":"Kaner, C., Faulk, J., Nguyen, H.Q.: Testing Computer Software, 2nd edn. John Willey & Sons, New York (1995)","edition":"2"},{"key":"54_CR7","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"27","author":"N.G. Leveson","year":"1993","unstructured":"Leveson, N.G., Turner, C.S.: An Investigation of the Therac-25 Accidents. IEEE Computer\u00a027, 18\u201341 (1993)","journal-title":"IEEE Computer"},{"key":"54_CR8","unstructured":"Lions, J.L.: ARIANE 5. Flight 501 Failure. Ariane 501 Inquiry Board Report. Technical report, Paris, France (1996)"},{"key":"54_CR9","volume-title":"The Art of Software Testing","author":"G. Myers","year":"2004","unstructured":"Myers, G.: The Art of Software Testing, 2nd edn. John Willey & Sons, New York (2004)","edition":"2"},{"key":"54_CR10","unstructured":"National Institute of Standards & Technology, U.S. Department of Commerce: The Physiology of the Grid: The Economic Impacts of Inadequate Infrastructure for Software Testing, Final Report. Technical report, North Carolina, USA (2002)"},{"key":"54_CR11","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1093\/comjnl\/7.4.308","volume":"7","author":"J.A. Nelder","year":"1965","unstructured":"Nelder, J.A., Mead, R.: A Simplex Method for Function Minimization. The Computer Journal\u00a07, 308\u2013313 (1965)","journal-title":"The Computer Journal"},{"key":"54_CR12","volume-title":"Software Testing","author":"R. Patton","year":"2005","unstructured":"Patton, R.: Software Testing, 2nd edn. Sams, Indianapolis (2005)","edition":"2"},{"key":"54_CR13","first-page":"11","volume":"25","author":"R. Skeel","year":"1992","unstructured":"Skeel, R.: Roundoff Error and the Patriot Missile. Society for Industrial and Applied Mathematics (SIAM) News\u00a025, 11 (1992)","journal-title":"Society for Industrial and Applied Mathematics (SIAM) News"},{"key":"54_CR14","doi-asserted-by":"publisher","first-page":"174","DOI":"10.2478\/s13531-011-0015-8","volume":"1","author":"P. Skruch","year":"2011","unstructured":"Skruch, P.: A Coverage Metric to Evaluate Tests for Continuous-Time Dynamic Systems. Central European Journal of Engineering\u00a01, 174\u2013180 (2011)","journal-title":"Central European Journal of Engineering"},{"key":"54_CR15","unstructured":"The Institute of Electrical and Electronics Engineers, Inc.: IEEE Standard Glossary of Software Engineering Terminology, IEEE Std 610.12-1990 (1990), \n                    \n                      http:\/\/www.standards.ieee.org"},{"key":"54_CR16","first-page":"759","volume":"64","author":"J. Ziegler","year":"1942","unstructured":"Ziegler, J., Nichols, N.: Optimum Settings for Automatic Controllers. Transactions of ASME\u00a064, 759\u2013768 (1942)","journal-title":"Transactions of ASME"}],"container-title":["IFIP Advances in Information and Communication Technology","System Modeling and Optimization"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36062-6_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T04:53:26Z","timestamp":1557550406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36062-6_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360619","9783642360626"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36062-6_54","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2013]]}}}