{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T05:34:44Z","timestamp":1738474484987,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540881933"},{"type":"electronic","value":"9783540881940"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88194-0_7","type":"book-chapter","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T14:56:21Z","timestamp":1224255381000},"page":"66-85","source":"Crossref","is-referenced-by-count":1,"title":["An Approach to Testing with Embedded Context Using Model Checker"],"prefix":"10.1007","author":[{"given":"Lihua","family":"Duan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jessica","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Conformance testing with labelled transition systems: Implementation relation and test generation. Computer Networks and ISDN Systems\u00a029, 49\u201379 (1996)","journal-title":"Computer Networks and ISDN Systems"},{"issue":"14","key":"7_CR2","doi-asserted-by":"publisher","first-page":"1236","DOI":"10.1016\/S0140-3664(96)01157-7","volume":"19","author":"A. Petrenko","year":"1996","unstructured":"Petrenko, A., Yevtushenko, N., von Bochmann, G., Dssouli, R.: Testing in context: framework and test derivation. Computer Communications\u00a019(14), 1236\u20131249 (1996)","journal-title":"Computer Communications"},{"issue":"3","key":"7_CR3","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T. Chow","year":"1978","unstructured":"Chow, T.: Testing software design modeled by finite-state machines. IEEE Trans. Software Eng.\u00a0SE-4(3), 178\u2013187 (1978)","journal-title":"IEEE Trans. Software Eng."},{"issue":"15","key":"7_CR4","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","volume":"4","author":"K. Sabnani","year":"1988","unstructured":"Sabnani, K., Dahbura, A.: A protocol test generation procedure. Computer Networks and ISDN Systems\u00a04(15), 285\u2013297 (1988)","journal-title":"Computer Networks and ISDN Systems"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Hennie, F.: Fault detecting experiments for sequential circuits. In: Proc. of 5th Ann. Symp. Switching Circuit Theory and Logical Design, pp. 95\u2013110 (1964)","DOI":"10.1109\/SWCT.1964.8"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","volume-title":"Formal Approaches to Software Testing","author":"M. van der Bijl","year":"2004","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J.: Compositional testing with ioco. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 86\u2013100. Springer, Heidelberg (2004)"},{"issue":"12","key":"7_CR7","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1016\/S0950-5849(03)00060-0","volume":"45","author":"R.M. Hierons","year":"2003","unstructured":"Hierons, R.M., Ural, H.: UIO sequence based checking sequences for distributed test architectures. Information and Software Technology\u00a045(12), 793\u2013803 (2003)","journal-title":"Information and Software Technology"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/11430230_11","volume-title":"Testing of Communicating Systems","author":"J. Chen","year":"2005","unstructured":"Chen, J., Hierons, R.M., Ural, H., Yenigun, H.: Eliminating redundant tests in a checking sequence. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol.\u00a03502, pp. 146\u2013158. Springer, Heidelberg (2005)"},{"issue":"6","key":"7_CR9","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1109\/T-C.1970.222975","volume":"19","author":"G. Gonenc","year":"1970","unstructured":"Gonenc, G.: A method for the design of fault detection experiments. IEEE Trans. Computers\u00a019(6), 551\u2013558 (1970)","journal-title":"IEEE Trans. Computers"},{"issue":"1","key":"7_CR10","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/12.559807","volume":"46","author":"H. Ural","year":"1997","unstructured":"Ural, H., Wu, X., Zhang, F.: On minimizing the lengths of checking sequences. IEEE Transactions on Computers\u00a046(1), 93\u201399 (1997)","journal-title":"IEEE Transactions on Computers"},{"issue":"8","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines \u2014 a survey. Proceedings of The IEEE\u00a084(8), 1090\u20131123 (1996)","journal-title":"Proceedings of The IEEE"},{"issue":"5","key":"7_CR12","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR13","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: UPPAAL - a tool suite for automatic verification of real-time systems. In: Proc. of the DIMACS\/SYCON workshop on Hybrid systems III: verification and control: verification and control, pp. 232\u2013243 (1995)","DOI":"10.1007\/BFb0020949"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Lima, L.P., Cavalli, A.R.: A progmatic approach to generating test sequences for embedded systems. In: Proc. of 10th International Workshop on Testing of Communicating Systems, pp. 125\u2013140 (1997)","DOI":"10.1007\/978-0-387-35198-8_18"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Yevtushenko, N., von Bochmann, G.: Fault models for testing in context. In: Proc. of Internation Conference on Formal Techniques for Networked and Distributed Systems, pp. 125\u2013140 (1996)","DOI":"10.1007\/978-0-387-35079-0_10"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Yevtushenko, N.: Testing faults in embedded components. In: Proc. of 10th International Workshop on Testing of Communicating Systems, pp. 272\u2013287 (1997)","DOI":"10.1007\/978-0-387-35198-8_17"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/11754008_16","volume-title":"Testing of Communicating Systems","author":"K. El-Fakih","year":"2006","unstructured":"El-Fakih, K., Petrenko, A., Yevtushenko, N.: FSM test translation through context. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 245\u2013258. Springer, Heidelberg (2006)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-540-30232-2_12","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"K. El-Fakih","year":"2004","unstructured":"El-Fakih, K., Yevtushenko, N.: Fault propagation by equation solving. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 185\u2013198. Springer, Heidelberg (2004)"},{"issue":"4","key":"7_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1082983.1083283","volume":"30","author":"C. Robinson-Mallett","year":"2005","unstructured":"Robinson-Mallett, C., Liggesmeyer, P., Mcke, T., Goltz, U.: Generating optimal distinguishing sequences with a model checker. ACM SIGSOFT Software Engineering Notes\u00a030(4), 1\u20137 (2005)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"7_CR21","volume-title":"The Design and Validation of Computer Protocols","author":"G. Holzmann","year":"1991","unstructured":"Holzmann, G.: The Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Ammann, P.E., Black, P.E., Majurski, W.: Using model checking to generate test from specifications. In: Proc. of 2nd IEEE International Conference on Formal Engineering Methods (ICFEM 1998), pp. 46\u201354 (1998)","DOI":"10.6028\/NIST.IR.6166"},{"issue":"6","key":"7_CR23","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/318774.318939","volume":"24","author":"A. Gargantini","year":"1999","unstructured":"Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. ACM SIGSOFT Software Engineering Notes\u00a024(6), 146\u2013162 (1999)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"4","key":"7_CR24","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/s100090050044","volume":"2","author":"R. de Vries","year":"2000","unstructured":"de Vries, R., Tretmans, J.: On-the-fly conformance testing using Spin. International Journal on Software Tools for Technology Transfer\u00a02(4), 382\u2013393 (2000)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Hong, H.S., Lee, I., Sokolsky, O., Ural, H.: Data flow testing as model checking. In: Proc. of IEEE ICSE 2003, pp. 232\u2013242 (2003)","DOI":"10.1109\/ICSE.2003.1201203"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88194-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T02:55:39Z","timestamp":1738464939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88194-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540881933","9783540881940"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88194-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}