{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:21:09Z","timestamp":1738387269519,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540698388"},{"type":"electronic","value":"9783540698395"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69839-5_57","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"780-789","source":"Crossref","is-referenced-by-count":1,"title":["An Embedded Software Testing Tool Supporting Multi-paradigm Views"],"prefix":"10.1007","author":[{"given":"Yongyun","family":"Cho","sequence":"first","affiliation":[]},{"given":"Jaeyoung","family":"Choi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"57_CR1","volume-title":"Software Testing","author":"Roper","year":"1994","unstructured":"Roper, Marc: Software Testing. McGraw-Hill Book Company, London (1994)"},{"key":"57_CR2","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, New York (1990)","edition":"2"},{"key":"57_CR3","series-title":"Addisson-wesley","volume-title":"Testing Embedded Software","author":"B. Broekman","year":"2002","unstructured":"Broekman, B., Notenboom, E.: Testing Embedded Software, Dec. 2002. Addisson-wesley. Addison-wesley, Reading (2002)"},{"key":"57_CR4","unstructured":"Stollon, N., Leatherman, R., Ableidinger, B.: Multi-Core Embedded Debug for Structured ASIC Systems. In: Proceedings of DesignCon 2004, February 2004, pp. 1\u201323 (2004)"},{"key":"57_CR5","unstructured":"Daniel Pilaud, PolySpace, http:\/\/www.mathworks.com\/products\/polyspace\/"},{"key":"57_CR6","doi-asserted-by":"crossref","unstructured":"Koch, B., Grabowski, J., Hogrefe, D., Schmitt, M.: A Tool for Automatic Test Generation from SDL Specifications. In: Proceedings of Industrial Strength Formal Specification Techniques 2nd IEEE Workshop, October 1998, pp. 114\u2013125 (1998)","DOI":"10.1109\/WIFT.1998.766305"},{"key":"57_CR7","unstructured":"AstonLinux INC., CodeMaker, http:\/\/www.astonlinux.com\/"},{"key":"57_CR8","unstructured":"IBM, Rational Test RealTime, http:\/\/www.ibm.com\/developerworks\/rational\/products\/testrealtime\/"},{"issue":"4","key":"57_CR9","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1109\/TSE.2003.1191796","volume":"TSE-29","author":"D.B. Stewart","year":"2003","unstructured":"Stewart, D.B., Arora, G.: A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System. IEEE Trans. Software Eng.\u00a0TSE-29(4), 311\u2013326 (2003)","journal-title":"IEEE Trans. Software Eng."},{"issue":"12","key":"57_CR10","doi-asserted-by":"publisher","first-page":"1112","DOI":"10.1109\/TSE.2003.1265525","volume":"TSE-29","author":"I. Satoh","year":"2003","unstructured":"Satoh, I.: A Testing Framework for Mobile Computing Software. IEEE Trans. Software Eng.\u00a0TSE-29(12), 1112\u20131121 (2003)","journal-title":"IEEE Trans. Software Eng."},{"issue":"8","key":"57_CR11","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1109\/TSE.2003.1223646","volume":"TSE-29","author":"P. Anderson","year":"2003","unstructured":"Anderson, P., Reps, T.W., Teitelbaum, T.: Design and Implementation of a Fine-Grained Software Inspection Tool. IEEE Trans. Software Eng.\u00a0TSE-29(8), 721\u2013733 (2003)","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"57_CR12","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"J.J. Chilenski","year":"1994","unstructured":"Chilenski, J.J., Miller, S.P.: Applicability of Modified Condition\/Decision Coverage to Software Testing. Software Engineering Journal\u00a09(5), 193\u2013200 (1994)","journal-title":"Software Engineering Journal"},{"issue":"4","key":"57_CR13","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1109\/TSE.2004.1271174","volume":"TSE-30","author":"R.B. France","year":"2004","unstructured":"France, R.B., Kim, D.-K., Ghosh, S., Song, E.: A UML-Based Pattern Specification Technique. IEEE Trans. Software Eng.,\u00a0TSE-30(4), 193\u2013206 (2004)","journal-title":"IEEE Trans. Software Eng.,"},{"issue":"7","key":"57_CR14","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1109\/TSE.2004.34","volume":"TSE-30","author":"L. Apvrille","year":"2004","unstructured":"Apvrille, L., Courtiat, J.-P., Lohr, C., de Saqui-Sannes, P.: TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. IEEE Trans. Software Eng.\u00a0TSE-30(7), 473\u2013487 (2004)","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69839-5_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T12:07:23Z","timestamp":1738325243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69839-5_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540698388","9783540698395"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69839-5_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}