{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,9]],"date-time":"2023-06-09T13:58:14Z","timestamp":1686319094703},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2004,7,1]],"date-time":"2004-07-01T00:00:00Z","timestamp":1088640000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2005,8]]},"DOI":"10.1007\/s10009-004-0147-8","type":"journal-article","created":{"date-parts":[[2004,6,30]],"date-time":"2004-06-30T08:24:41Z","timestamp":1088583881000},"page":"326-340","source":"Crossref","is-referenced-by-count":3,"title":["System-level functional testing from UML specifications in end-of-production industrial environments"],"prefix":"10.1007","volume":"7","author":[{"given":"Andrea","family":"Baldini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfredo","family":"Benso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Prinetto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2004,7,1]]},"reference":[{"key":"147_CR1","unstructured":"IEEE Standard Glossary of Software Engineering Terminology (1990) IEEE\/STD610.12-1990, Institute of Electrical and Electronic Engineering"},{"key":"147_CR2","doi-asserted-by":"crossref","unstructured":"Baldini A, Benso A, Prinetto P, Mo S, Taddei A (2001) Towards a Unified test process: from UML to end-of-line functional test. In: Proceedings of the IEEE International Test Conference 2001 (ITC\u201901), October 2001, pp 600\u2013608","DOI":"10.1109\/TEST.2001.966679"},{"key":"147_CR3","unstructured":"Baldini A, Benso A, Mo S, Taddei A, Prinetto P (2002) A UML process for system level functional test: an industrial perspective. In: Proceedings of Integrated Design and Process Tech (IDPT\u201902), Pasadena, CA, June 2002, p 48 + CD"},{"key":"147_CR4","doi-asserted-by":"crossref","unstructured":"Baldini A, Benso A, Prinetto P, Mo S, Taddei A (2002) Efficient design of system test: a layered architecture. In: Proceedings of IEEE International Test Conference 2002 (ITC\u201902), October 2002, pp 930\u2013939","DOI":"10.1109\/TEST.2002.1041848"},{"key":"147_CR5","unstructured":"Gomaa H (2000) Designing concurrent, distributed, and real-time applications with UML. Addison-Wesley, Reading, MA"},{"key":"147_CR6","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1145\/6138.6150","volume":"29","author":"Gomaa","year":"1986","unstructured":"Gomaa H (1986) Sofware development of real time systems. Commun ACM 29(7):657\u2013668","journal-title":"Commun ACM"},{"key":"147_CR7","doi-asserted-by":"crossref","unstructured":"Selic B (1998) Using the object paradigm for distributed real-time systems. In: Proceedings of the 1st IEEE international symposium on object-oriented real-time distributed computing (ISORC 98), April 1998, pp 478\u2013480","DOI":"10.1109\/ISORC.1998.666821"},{"key":"147_CR8","doi-asserted-by":"crossref","unstructured":"Fernandes JM, Machado RJ, Santos HD (2000) Modeling industrial embedded systems with UML. In: Proceedings of the 8th international workshop on hardware\/software codesign (CODES 2000), May 2000, pp 18\u201322","DOI":"10.1145\/334012.334016"},{"key":"147_CR9","doi-asserted-by":"crossref","unstructured":"Sinha V, Doucet F, Siska C, Gupta R, Liao S, Ghosh A (2000) YAML: a tool for hardware design visualization and capture. In: Proceedings of the 13th international symposium on system synthesis, September 2000, pp 9\u201314","DOI":"10.1109\/ISSS.2000.874023"},{"key":"147_CR10","doi-asserted-by":"crossref","unstructured":"Harel D, Gery E (1997) Executable object modeling with statecharts. IEEE Comput 30(7)","DOI":"10.1109\/2.596624"},{"key":"147_CR11","doi-asserted-by":"crossref","first-page":"19831988","DOI":"10.1109\/23.710975","volume":"45","author":"Croll","year":"1998","unstructured":"Croll P, Duval P-Y, Jones R, Kolos S, Sari RF, Wheeler S (1998) Use of statecharts in the modeling of dynamic behaviour in the ATLAS DAQ prototype-1. IEEE Trans Nuclear Sci 45(4):19831988","journal-title":"IEEE Trans Nuclear Sci"},{"key":"147_CR12","unstructured":"Fowler M, Scott K (1999) UML distilled. Addison-Wesley, Reading, MA"},{"key":"147_CR13","first-page":"an","volume":"process","author":"Kruchten","year":"2000","unstructured":"Kruchten P (2000) The rational unified process: an introduction, 2nd edn. Addison-Wesley Object Technology Series. Addison-Wesley, Reading, MA","journal-title":"The rational unified"},{"key":"147_CR14","doi-asserted-by":"crossref","unstructured":"Selic B, Gullekson G, McGee J, Engelberg I (1992) ROOM: an object-oriented methodology for developing real-time systems. In: Proceedings of the 5th international workshop on computer-aided software engineering, July 1992, pp 230\u2013240","DOI":"10.1109\/CASE.1992.200156"},{"key":"147_CR15","doi-asserted-by":"crossref","unstructured":"Mendelbaum BHG, Gallant R, Brette J-F, Ducateau, CF (2000) Java-prototyping of hardware\/software CBS using a behavioral OO model. In: Proceedings of the 7th international conference and workshop on engineering of computer based systems (ECBS 2000), April 2000, pp 73\u201381","DOI":"10.1109\/ECBS.2000.839864"},{"key":"147_CR16","doi-asserted-by":"crossref","unstructured":"Niemegeers A, de Jong G (2000) An incremental specification flow for real time embedded systems [VDSL modems]. In: Proceedings of Design, Automation and Test in Europe Conference and Exhibition, March 2000, p 761","DOI":"10.1109\/DATE.2000.840894"},{"key":"147_CR17","doi-asserted-by":"crossref","unstructured":"Khatri A (1999) Validation of a patient headache care education system (PHCES) developed from a unified modeling language (UML) domain model. In: Proceedings of the 23rd annual international computer software and applications conference (COMPSAC \u201999), October 1999, pp 296\u2013298","DOI":"10.1109\/CMPSAC.1999.812719"},{"key":"147_CR18","doi-asserted-by":"crossref","unstructured":"Aleman JLF, Alvarez AT (2000) Can intuition become rigorous? Foundations for UML model verification tools. In: Proceedings of the 11th international symposium on software reliability engineering (ISSRE 2000), October 2000, pp 344\u2013355","DOI":"10.1109\/ISSRE.2000.885885"},{"key":"147_CR19","doi-asserted-by":"crossref","unstructured":"Graw G, Herrmann P, Krumm H (2000) Verification of UML-based real-time system designs by means of cTLA. In: Proceedings of the 3rd IEEE international symposium on object-oriented real-time distributed computing (ISORC 2000), March 2000, pp 86\u201395","DOI":"10.1109\/ISORC.2000.839515"},{"key":"147_CR20","doi-asserted-by":"crossref","unstructured":"Gnesi S, Latella D, Massink M (1999) Model checking UML Statechart diagrams using JACK. In: Proceedings of the 4th IEEE international symposium on high-assurance systems engineering, November 1999, pp 46\u201355","DOI":"10.1109\/HASE.1999.809474"},{"key":"147_CR21","doi-asserted-by":"crossref","unstructured":"Lilius J, Paltor IP (1999) vUML: a tool for verifying UML models. In: Proceedings of the 14th IEEE international conference on automated software engineering, October 1999, pp 255\u2013258","DOI":"10.1109\/ASE.1999.802301"},{"key":"147_CR22","doi-asserted-by":"crossref","unstructured":"Bose P (1999) Automated translation of UML models of architectures for verification and simulation using SPIN. In: Proceedings of the 14th IEEE international conference on automated software engineering, October 1999, pp 102\u2013109","DOI":"10.1109\/ASE.1999.802135"},{"key":"147_CR23","unstructured":"Koch B, Grabowski J, Hogrefe D, Schmitt M (1998) Autolink \u2013 a tool for automatic test generation from SDL specifications. In: Proceedings of the 2nd IEEE workshop on industrial strength formal specification techniques, October 1998, pp 114\u2013125"},{"key":"147_CR24","doi-asserted-by":"crossref","first-page":"187192","DOI":"10.1049\/ip-sen:19990602","volume":"146","author":"Kim","year":"1999","unstructured":"Kim YG, Hong HS, Bae DH, Cha SD (1999) Test case generation from UML state diagrams. IEE Proc Softw 146(4):187192","journal-title":"IEE Proc Softw"},{"key":"147_CR25","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/s10270-002-0004-8","volume":"1","author":"Briand","year":"2002","unstructured":"Briand L, Labiche Y (2002) A UML-based approach to system testing. Int J Softw Sys Model 1(1):10\u201342","journal-title":"Int J Softw Sys Model"},{"key":"147_CR26","unstructured":"Jin Z, Offutt J, Abdurazik A, White EL (2000) Analyzing software architecture descriptions to generate system-level tests. In: Proceedings of the workshop on evaluating software architectural solutions 2000 (WESAS), May 2000"},{"key":"147_CR27","doi-asserted-by":"crossref","unstructured":"Abdurazik A, Offutt J (2000) Using UML collaboration diagrams for static checking and test generation. In: Proceedings of the 3rd international conference on the Unified Modeling Language (UML\u201900), York, UK, October 2000, pp 383\u2013395","DOI":"10.1007\/3-540-40011-7_28"},{"key":"147_CR28","unstructured":"Offutt J, Abdurazik A (1999) Generating test cases from UML specifications. In: Proceedings of the 2nd international conference on the Unified Modeling Language (UML99), October 1999"},{"key":"147_CR29","unstructured":"U2TP Consortium, Object Management Group (2003) UML testing profile. Final adopted specification. www.omg.org"},{"key":"147_CR30","unstructured":"Smith MJ (1997) Simulations. In: Application-specific integrated circuits (ASICs... the book), Chap. 13.4. Addison-Wesley, VLSI Design Series, Reading, MA"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-004-0147-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-004-0147-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-004-0147-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:25:19Z","timestamp":1559114719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-004-0147-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,7,1]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["147"],"URL":"https:\/\/doi.org\/10.1007\/s10009-004-0147-8","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,7,1]]}}}