{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:59:26Z","timestamp":1725638366993},"reference-count":21,"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-3","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T18:10:22Z","timestamp":1322935822000},"source":"Crossref","is-referenced-by-count":0,"title":["Behavioral System Models versus Models of Testing Strategies in Functional Test Generation"],"prefix":"10.1201","author":[{"given":"Antti","family":"Huima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2011,12,2]]},"reference":[{"volume-title":"\u00dc. (1991). An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours","author":"Aho A. V.","key":"p_1"},{"volume-title":"Model-Driven Testing Using the UML Testing Profile","year":"2007","author":"Baker P.","key":"p_2"},{"key":"p_3","series-title":"Lecture Notes in Computer Science, Pages: 49-69.","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"Barnett M.","year":"2005"},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1287\/opre.29.6.1039"},{"key":"p_5","unstructured":"Bringmann, E., and Kr\u00e4mer, A. (2006). Systematic testing of the continuous behavior of automotive systems. InInternational Conference on Software Engineering, Pages: 13-20. ACM."},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2005.11.003"},{"key":"p_9","doi-asserted-by":"crossref","unstructured":"Dulz, W., and Zhen, F. (2003). MaTeLo-statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3. InThird International Conference On Quality Software, pages336-342. IEEE.","DOI":"10.1109\/QSIC.2003.1319119"},{"journal-title":"IEEE Transactions on Software Engineering, SE-10(4):438-444.","year":"1984","author":"Duran J. W.","key":"p_10"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01580113"},{"key":"p_12","unstructured":"Fredriksson, H. (2009). Experiences from using model based testing in general and with Qtronic in particular. In Fritzson, P., Krus, P., and Sandahl, K., editors, 3rd MODPROD Workshop on Model-Based Product Development. See http:\/\/www.modprod.liu.se\/workshop 2009."},{"key":"p_13","unstructured":"Ghosh, S., and Mathur, A. P. (1999). Issues in testing distributed component-based systems. InFirst International ICSE Workshop on Testing Distributed Component-Based Systems."},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.06.017"},{"key":"p_15","unstructured":"Huima A. (2007).Implementing Conformiq Qtronic.InAlexandre Petrenko et al., editor,Testing of Software and Communicating Systems, number 4581\/2007in LNCS, Pages:1-12. Springer: Berlin\/Heidelberg."},{"volume-title":"Complexity of Computer Computations, Pages: 85-103","author":"Karp R. M.","key":"p_16"},{"key":"p_19","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/7.4.308","volume":"7","author":"Nelder J. A.","year":"1965","journal-title":"The Computer Journal"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1145\/322276.322287"},{"volume-title":"Computational Complexity","author":"Papadimitriou C. H.","key":"p_22"},{"key":"p_23","unstructured":"Pretschner, A. (2005). Model-based testing in practice. InProc. Formal Methods 2005, number 3582 in LNCS, Pages: 537-541. Springer."},{"volume-title":"Practical Model-Based Testing: A Tools Approach. Morgan Kauffman","year":"2006","author":"Utting M.","key":"p_25"},{"volume-title":"http:\/\/www.cs.waikato.ac.nz\/ marku\/mbt\/modeljunit\/","year":"2009","author":"Utting M.","key":"p_26"},{"key":"p_27","first-page":"39","author":"Veanes M.","year":"2008","journal-title":"Pages"}],"container-title":["Computational Analysis, Synthesis, & Design Dynamic Systems","Model-Based Testing for Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T07:31:14Z","timestamp":1561015874000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crcnetbase.com\/doi\/abs\/10.1201\/b11321-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,15]]},"ISBN":["9781439818459","9781439818473"],"references-count":21,"alternative-id":["10.1201\/b11321-3","10.1201\/CRCMODBASDES","10.1201\/b11321"],"URL":"https:\/\/doi.org\/10.1201\/b11321-3","relation":{},"ISSN":["2154-9826"],"issn-type":[{"type":"print","value":"2154-9826"}],"subject":[],"published":{"date-parts":[[2011,9,15]]}}}