{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T00:03:00Z","timestamp":1752537780621,"version":"3.41.2"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Design Automation for Embedded Systems"],"published-print":{"date-parts":[[2000,2]]},"DOI":"10.1023\/a:1008943617450","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T12:46:35Z","timestamp":1040561195000},"page":"83-113","source":"Crossref","is-referenced-by-count":1,"title":["Functional Validation of Mixed Hardware\/Software Systems based on Specification, Partitioning, and Simulation of Test Cases"],"prefix":"10.1007","volume":"5","author":[{"given":"Axel","family":"Jantsch","sequence":"first","affiliation":[]},{"given":"Johann","family":"Notbauer","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Albrecht","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"250898_CR1","doi-asserted-by":"crossref","unstructured":"Albrecht, T. 1995. Concurrent design methodology and configuration management of the Siemens EWSD-CCS7E processor system simulation. Proceedings of the 32nd Design Automation Conference.","DOI":"10.1145\/217474.217533"},{"key":"250898_CR2","doi-asserted-by":"crossref","unstructured":"Albrecht, T., Notbauer, J., and Rohringer, S. 1998. HW\/SW coverification, performance stimation & benchmark for a 24 embedded RISC core design. Proceedings of the Design Automation Conference.","DOI":"10.1145\/277044.277250"},{"key":"250898_CR3","unstructured":"Gajski, D. D., Vahid, F., Narayan, S., and Gong, J. 1994. Specification and Design of Embedded Systems. Prentice Hall."},{"key":"250898_CR4","unstructured":"Fr\u00f6hlich, M., and Werner, M. 1996. The graph visualization system daVinci\u2014a user interface for applications. Technical Report No. 5\/94. Department of Computer Science, University of Bremen."},{"key":"250898_CR5","unstructured":"Z. 120 MSC. 1994. Message Sequence Charts. Geneva: ITU."},{"key":"250898_CR6","doi-asserted-by":"crossref","unstructured":"Boriello, G. 1992. Formalized timing diagrams. European Design Automation Conference pp. 372\u2013377.","DOI":"10.1109\/EDAC.1992.205958"},{"key":"250898_CR7","unstructured":"Calvez, J. P. 1993. Embedded Real-Time Systems. John Wiley & Sons."},{"key":"250898_CR8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D. 1987. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8: 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"250898_CR9","unstructured":"Synopsys Inc. Hardware\/Software Co-Verification. http:\/\/www.synopsys.com\/products\/hwsw\/hwsw.html."},{"key":"250898_CR10","unstructured":"Jantsch, A., Notbauer, J., and Albrecht, T. 1997. Test case development for large telecom systems. Proceedings of the International High-level Design Validation and Test Workshop."},{"key":"250898_CR11","volume-title":"Testfall und Testfallumgebung: Spezifikation in VHDL basierend auf Ereignissen und Zust\u00e4nden","author":"J. Notbauer","year":"1996","unstructured":"Notbauer, J. 1996. Testfall und Testfallumgebung: Spezifikation in VHDL basierend auf Ereignissen und Zust\u00e4nden, Masters thesis, Technische Universit\u00e4t Graz, Austria."},{"key":"250898_CR12","unstructured":"Perry, W. 1995. Effective Methods for Software Testing. John Wiley & Sons."},{"key":"250898_CR13","unstructured":"Second Workshop on System Design Languages. 1997. http:\/\/www.ecsi.org\/ecsi\/Doc\/OtherDoc\/SLDL, Italy."},{"key":"250898_CR14","unstructured":"Forum on Design Languages. 1998. http:\/\/c3iwww.epfl.ch\/fd198\/. Lausanne."},{"key":"250898_CR15","unstructured":"VSI System Level Design Model Taxonomy, version 1.0. 1998. Virtual Socket Interface Alliance."},{"key":"250898_CR16","unstructured":"VSI Alliance Roadmap, version 1.0. 1997. Virtual Socket Interface Alliance."},{"issue":"9","key":"250898_CR17","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/182987.184074","volume":"37","author":"R. M. Poston","year":"1994","unstructured":"Poston, R. M. 1994. Automated testing from object models. Communications of the ACM 37(9) 48\u201358.","journal-title":"Communications of the ACM"},{"issue":"7","key":"250898_CR18","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/32.83906","volume":"17","author":"E. J. Weyuker","year":"1991","unstructured":"Weyuker, E. J., and Jeng, B. 1991. Analyzing partition testing strategies. IEEE Transactions on Software Engineering 17(7) 703\u2013711.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"250898_CR19","unstructured":"Beizer, B. 1995. Black-box Testing. John Wiley & Sons."},{"key":"250898_CR20","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B. 1990. Software Testing Techniques. New York: Van Nostrand Reinhold."},{"key":"250898_CR21","unstructured":"Tree and Tabular Combined Notation (TTCN) ISO\/IEC 9646\u20133, ISO, 1992."},{"key":"250898_CR22","unstructured":"ITEX Methodology Guidelines, Telelogic Tau 3.4, Telelogic AB, Malm\u00f6, Sweden, 1998."},{"key":"250898_CR23","unstructured":"ITEX Getting Started, Telelogic Tau 3.4, Telelogic AB, Malm\u00f6, Sweden, 1998."},{"key":"250898_CR24","unstructured":"Methodology Guidelines\u2014Part 1: The SOMT Method, SDT 3.2, Telelogic AB, Malm\u00f6, Sweden, 1997."},{"issue":"4","key":"250898_CR25","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/32.16602","volume":"15","author":"D. P. Sidhu","year":"1989","unstructured":"Sidhu, D. P., and Leung, T.-K. 1989. Formal methods for protocol testing: a detailed study. IEEE Transactions on Software Engineering 15(4): 413\u2013426.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"250898_CR26","unstructured":"Perry, W. E., and Rice, R. W. 1997. Surviving the Top Ten Challenges of Software Testing: A People-Oriented Approach. Dorset House Publishing Co."},{"key":"250898_CR27","doi-asserted-by":"crossref","unstructured":"Ostrand, T., Anodide, A., Foster, H., and Goradia, T. 1998. A visual test development environment for GUI systems. ACM International Symposium on Software Testing and Analysis (ISSTA).","DOI":"10.1145\/271771.271793"},{"issue":"6","key":"250898_CR28","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1109\/32.6165","volume":"14","author":"S. C. Ntafos","year":"1988","unstructured":"Ntafos, S. C. 1988. A comparison of some structural testing strategies. IEEE Transactions on Software Engineering 14(6): 868\u2013874.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"250898_CR29","unstructured":"Ostrand, T. J. 1994. Categories of testing. Encyclopedia of Software Engineering. John Wiley & Sons, edited by John Marciniak, pp. 90\u201393."}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008943617450.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008943617450\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008943617450.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:52:03Z","timestamp":1752461523000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008943617450"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,2]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,2]]}},"alternative-id":["250898"],"URL":"https:\/\/doi.org\/10.1023\/a:1008943617450","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2000,2]]}}}