{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:59:24Z","timestamp":1725638364167},"reference-count":52,"publisher":"CRC Press","isbn-type":[{"type":"print","value":"9781439818459"},{"type":"electronic","value":"9781439818473"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9,15]]},"DOI":"10.1201\/b11321-6","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T18:10:22Z","timestamp":1322935822000},"source":"Crossref","is-referenced-by-count":6,"title":["Automated Statistical Testing for Embedded Systems"],"prefix":"10.1201","author":[{"given":"Jesse","family":"Poore","sequence":"first","affiliation":[]},{"given":"Lan","family":"Lin","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Eschbach","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Bauer","sequence":"additional","affiliation":[]}],"member":"301","published-online":{"date-parts":[[2011,12,2]]},"reference":[{"key":"p_1","unstructured":"Alam, M.S. et al. (1997). Assessing software reliability performance under highly critical but infrequent event occurrences. InProc. 8thInt. Symp. on Reliability Eng., Pages: 294-307. Albuquerque, NM."},{"volume-title":"Information Theory","author":"Ash R.","key":"p_2"},{"key":"p_3","unstructured":"Bauer, T. et al. (2007). From requirements to statistical testing of embedded systems. InProc. 4thInt. Workshop on Software Eng. for Automotive Sys., Pages: 3-9. Minneapolis, MN."},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1239\/jap\/1034082127"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1239\/jap\/1077134668"},{"key":"p_6","unstructured":"Bouwmeester, L., Broadfoot, G.H., and Hopcroft, P.J. (2009). Compliance test framework. InProc. 2ndWorkshop on Model-Based Testing in Practice, Pages: 97-106. Enscede, NL."},{"key":"p_7","unstructured":"Broadfoot, G.H. and Broadfoot, P.J. (2003). Academia and industry meet: Some experiences of formal methods in practice. InProc. IEEE Computer Soc. 10thAsia-Pacific Software Eng. Conf., Pages: 49-59. Chiangmai, Thailand."},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1080\/03610910701790517"},{"key":"p_9","doi-asserted-by":"publisher","DOI":"10.1109\/32.210303"},{"volume-title":"Sequence-based specification of real-time embedded systems. Ph. D. dissertation","year":"2010","author":"Carter J.M.","key":"p_10"},{"key":"p_11","unstructured":"Carter, J.M., Lin, L., and Poore, J.H. (2008). Automated functional testing of Simulink control models. InProc. 1stWorkshop on Model-Based Testing in Practice, Pages: 41-50. Berlin, Germany."},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1109\/32.605761"},{"volume-title":"Statistics, Testing, and Defense Acquisition: New Approaches and Methodological Improvements","author":"Cohen M.L.","key":"p_13"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.2307\/2289319"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.2307\/1271179"},{"volume-title":"Innovations in Software Engineering for Defense Systems","author":"Dalal S.R.","key":"p_16"},{"key":"p_17","unstructured":"Donohue, S.K., and Dugan, J.B. (2003). Modeling the \"good enough to release\" decision using V& V preference structures and Bayesian belief networks. InProc. Annual Reliability and Maintainability Symp., Pages: 568-573. Tampa, FL."},{"key":"p_18","first-page":"15","volume":"47","author":"Ehrlich W.K.","year":"1998","journal-title":"Appl. Statist."},{"key":"p_19","doi-asserted-by":"publisher","DOI":"10.1109\/18.243461"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1142\/S021853930300097X"},{"volume-title":"Algorithmic Graph Theory","author":"Gibbons A.M.","key":"p_22"},{"key":"p_23","doi-asserted-by":"publisher","DOI":"10.1109\/24.855535"},{"key":"p_24","first-page":"2","volume":"11","author":"Gutjahr W.J.","year":"1997","journal-title":"and Informational Sci."},{"key":"p_25","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(99)00052-8"},{"key":"p_27","doi-asserted-by":"publisher","DOI":"10.1016\/0378-3758(96)85327-4"},{"key":"p_28","doi-asserted-by":"publisher","DOI":"10.1109\/12.980013"},{"volume-title":"Finite Markov Chains","year":"1960","author":"Kemeny J.G.","key":"p_29"},{"volume-title":"Information Theory and Statistics","author":"Kullback S.","key":"p_30"},{"key":"p_31","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1057\/palgrave.jors.2600384","volume":"48","author":"Leung Y.-W.","year":"1997","journal-title":"Journal of the Operational Research Society"},{"key":"p_32","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.1989.0007"},{"key":"p_33","unstructured":"Littlewood, B., and Strigini, L. (2000). Software reliability and dependability: A roadmap. InProc. Conf. on the Future of Software Eng., Pages: 175-188. Limerick, Ireland."},{"key":"p_34","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1111\/1467-9884.00265","volume":"50","author":"McDaid K.","year":"2001","journal-title":"The Statistician"},{"key":"p_35","doi-asserted-by":"publisher","DOI":"10.1109\/32.120314"},{"volume-title":"Software Reliability Engineering","author":"Musa J.","key":"p_36"},{"key":"p_37","first-page":"165","volume":"8","author":"Nair V.N.","year":"1998","journal-title":"Statistica Sinica"},{"key":"p_38","first-page":"40","volume":"10","author":"Oshana R.","year":"1997","journal-title":"Embedded Systems Programming"},{"key":"p_39","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2003.809657"},{"key":"p_40","first-page":"636","volume":"23","author":"Parnas D.","year":"1990","journal-title":"Comm. Assoc. Computing Machin."},{"volume-title":"Crosstalk (DoD software engineering journal-newsletter)","year":"1998","author":"Poore J.H.","key":"p_41"},{"key":"p_42","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(00)00101-4"},{"key":"p_43","unstructured":"Prowell, S.J. (2003). JUMBL: A tool for model-based statistical testing. InProc. 36thAnn. Hawaii Int. Conf. on System Sci., Pages: 337-345. Big Island, HI."},{"key":"p_44","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1199071"},{"volume-title":"Mod. Stat. and Mathematical Methods in Reliability, ed. Wilson, A. et al., chap. 27","year":"2005","author":"Prowell S.J.","key":"p_45"},{"volume-title":"Cleanroom Software Engineering: Technology and Process","author":"Prowell S.J.","key":"p_46"},{"key":"p_50","unstructured":"Sayre, K., and Poore, J.H. (2007). Automated testing of generic computational science libraries. InProc. 40thAnn. Hawaii Int. Conf. on System Sci., Pages: 277-285. Big Island, HI."},{"key":"p_51","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1996.0039"},{"key":"p_53","doi-asserted-by":"publisher","DOI":"10.1081\/SAP-120020433"},{"key":"p_54","unstructured":"Vilkomir, S., Swain, T., and Poore, J.H. (2008). Combinatorial test case selection with Markovian usage models. InProc. IEEE Computer Soc. 5thInt. Conf. on Information Technol.: New Generations, Pages: 3-8. Las Vegas, NE."},{"key":"p_55","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(00)00102-6"},{"key":"p_56","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250106"},{"key":"p_57","doi-asserted-by":"publisher","DOI":"10.1145\/151299.151326"},{"key":"p_58","doi-asserted-by":"publisher","DOI":"10.1109\/32.328991"}],"container-title":["Computational Analysis, Synthesis, & Design Dynamic Systems","Model-Based Testing for Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,6,11]],"date-time":"2023-06-11T11:39:53Z","timestamp":1686483593000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crcnetbase.com\/doi\/abs\/10.1201\/b11321-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,15]]},"ISBN":["9781439818459","9781439818473"],"references-count":52,"alternative-id":["10.1201\/b11321-6","10.1201\/CRCMODBASDES","10.1201\/b11321"],"URL":"https:\/\/doi.org\/10.1201\/b11321-6","relation":{},"ISSN":["2154-9826"],"issn-type":[{"type":"print","value":"2154-9826"}],"subject":[],"published":{"date-parts":[[2011,9,15]]}}}