{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:58:08Z","timestamp":1725803888435},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319107011"},{"type":"electronic","value":"9783319107028"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10702-8_12","type":"book-chapter","created":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T08:19:16Z","timestamp":1409559556000},"page":"170-184","source":"Crossref","is-referenced-by-count":3,"title":["Test Specification Patterns for Automatic Generation of Test Sequences"],"prefix":"10.1007","author":[{"given":"Ugo","family":"Gentile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Marrone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluca","family":"Mele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Nardone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adriano","family":"Peron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Common test patterns and reuse of test designs, \n                  \n                    http:\/\/msdn.microsoft.com\/en-us\/library\/cc514239.aspx"},{"key":"12_CR2","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Journal of Software and Systems Modeling (2011)"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.ress.2013.06.032","volume":"120","author":"S. Bernardi","year":"2013","unstructured":"Bernardi, S., et al.: Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliability Engineering & System Safety\u00a0120, 112\u2013126 (2013)","journal-title":"Reliability Engineering & System Safety"},{"issue":"1","key":"12_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0169-7552(91)90079-R","volume":"22","author":"B.S. Bosik","year":"1991","unstructured":"Bosik, B.S., \u00dcmit Uyar, M.: Finite state machine based formal methods in protocol conformance testing: from theory to implementation. Computer Networks and ISDN Systems\u00a022(1), 7\u201333 (1991)","journal-title":"Computer Networks and ISDN Systems"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., Atlee, J.M.: Research directions in requirements engineering. In: Future of Software Engineering, pp. 285\u2013303. IEEE CS (2007)","DOI":"10.1109\/FOSE.2007.17"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.-S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. of the ICSE 1999, pp. 411\u2013420. ACM (1999)","DOI":"10.1145\/302405.302672"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-34032-1_20","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","author":"F. Flammini","year":"2012","unstructured":"Flammini, F., Marrone, S., Mazzocca, N., Nardone, R., Vittorini, V.: Model-driven V&V processes for computer based control systems: A unifying perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 190\u2013204. Springer, Heidelberg (2012)"},{"issue":"3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"G. Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.E.: Testing with model checkers: A survey. Softw. Test. Verif. Reliab.\u00a019(3), 215\u2013261 (2009)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"6","key":"12_CR9","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. SIGSOFT Softw. Eng. Notes\u00a024(6), 146\u2013162 (1999)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"11","key":"12_CR10","first-page":"1050","volume":"7","author":"A. Gargantini","year":"2001","unstructured":"Gargantini, A., Riccobene, E.: Asm-based testing: Coverage criteria and automatic test sequence generation. Journal of Universal Computer Science\u00a07(11), 1050\u20131067 (2001)","journal-title":"Journal of Universal Computer Science"},{"key":"12_CR11","first-page":"31","volume-title":"Proc. of ICSE 2008","author":"L. Grunske","year":"2008","unstructured":"Grunske, L.: Specification patterns for probabilistic quality properties. In: Proc. of ICSE 2008, pp. 31\u201340. ACM, New York (2008)"},{"key":"12_CR12","unstructured":"Holzmann, G.: Spin Model Checker, the: Primer and Reference Manual, 1st edn. Addison-Wesley Professional (2003)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Javed, A.Z., Strooper, P.A., Watson, G.N.: Automated generation of test cases using model-driven architecture. In: Second International Workshop on Automation of Software Test (2007)","DOI":"10.1109\/AST.2007.2"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/978-3-642-34026-0_34","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"T. Kitamura","year":"2012","unstructured":"Kitamura, T., Do, N.T.B., Ohsaki, H., Fang, L., Yatabe, S.: Test-case design by feature trees. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 458\u2013473. Springer, Heidelberg (2012)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.C.: Facilitating the construction of specification pattern-based properties. In: Proc. of Requirements Engineering, pp. 329\u2013338 (August 2005)","DOI":"10.1109\/RE.2005.29"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Proc. of ICSE 2005, pp. 372\u2013381 (May 2005)","DOI":"10.1145\/1062455.1062526"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Marrone, S., Flammini, F., Mazzocca, N., Nardone, R., Vittorini, V.: Towards model-driven v&v assessment of railway control systems. International Journal on Software Tools for Technology Transfer (2014)","DOI":"10.1007\/s10009-014-0320-7"},{"issue":"2","key":"12_CR18","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S1571-0661(04)81043-0","volume":"89","author":"O. Mondragon","year":"2003","unstructured":"Mondragon, O., Gates, A.Q., Roach, S.: Prospec: Support for elicitation and formal specification of software properties. Electr. Notes Theor. Comput. Sci.\u00a089(2), 67\u201388 (2003)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"12_CR19","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1142\/S021819400700315X","volume":"17","author":"O. Mondragon","year":"2007","unstructured":"Mondragon, O., Gates, A.Q., Roach, S., Mendoza, H., Sokolsky, O.: Generating properties for runtime monitoring from software specification patterns. Int. Journal of Software Engineering and Knowledge Engineering\u00a017(1), 107\u2013126 (2007)","journal-title":"Int. Journal of Software Engineering and Knowledge Engineering"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Mussa, M., Ouchani, S., Al Sammane, W., Hamou-Lhadj, A.: A survey of model-driven testing techniques. In: Proceedings of QSIC 2009, pp. 167\u2013172 (August 2009)","DOI":"10.1109\/QSIC.2009.30"},{"issue":"4","key":"12_CR21","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/s10270-008-0084-1","volume":"7","author":"S. Mustafiz","year":"2008","unstructured":"Mustafiz, S., Sun, X., Kienzle, J., Vangheluwe, H.: Model-driven assessment of system dependability. Software & Systems Modeling\u00a07(4), 487\u2013502 (2008)","journal-title":"Software & Systems Modeling"},{"key":"12_CR22","unstructured":"UML testing profile, Version 1.1, OMG document (2012)"},{"key":"12_CR23","first-page":"12","volume":"14","author":"H. Pfl\u00fcgl","year":"2013","unstructured":"Pfl\u00fcgl, H., El-Salloum, C., Kundner, I.: Crystal, critical system engineering acceleration, a truly European dimension. ARTEMIS Magazine\u00a014, 12\u201315 (2013)","journal-title":"ARTEMIS Magazine"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: PROPEL: an approach supporting property elucidation. In: Proc. of ICSE 2002, pp. 11\u201321 (May 2002)","DOI":"10.1145\/581339.581345"},{"issue":"1","key":"12_CR25","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s11334-007-0042-z","volume":"4","author":"N. Soundarajan","year":"2008","unstructured":"Soundarajan, N., Hallstrom, J.O., Shu, G., Delibas, A.: Patterns: from system design to software testing. Innovations in Systems and Software Engineering\u00a04(1), 71\u201385 (2008)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"12_CR26","series-title":"IFIP","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-0-387-39362-9_3","volume-title":"From Model-Driven Design to Resource Management for Distributed Embedded Systems","author":"F. Terrier","year":"2006","unstructured":"Terrier, F., G\u00e9rard, S.: MDE benefits for distributed, real time and embedded systems. In: Kleinjohann, B., Kleinjohann, L., Machado, R., Pereira, C., Thiagarajan, R.S. (eds.) From Model-Driven Design to Resource Management for Distributed Embedded Systems. IFIP, vol.\u00a0225, pp. 15\u201324. Springer, Boston (2006)"},{"key":"12_CR27","first-page":"257","volume-title":"Proc. of the IFIP TC6\/WG6.1 Workshop on Protocol Test Systems VI","author":"J. Tretmans","year":"1994","unstructured":"Tretmans, J.: A formal approach to conformance testing. In: Proc. of the IFIP TC6\/WG6.1 Workshop on Protocol Test Systems VI, pp. 257\u2013276. North-Holland Publishing Co., Amsterdam (1994)"},{"issue":"4","key":"12_CR28","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/MS.2005.103","volume":"22","author":"W.-T. Tsai","year":"2005","unstructured":"Tsai, W.-T., Yu, L., Zhu, F., Paul, R.: Rapid embedded system testing using verification patterns. IEEE Software\u00a022(4), 68\u201375 (2005)","journal-title":"IEEE Software"},{"issue":"1","key":"12_CR29","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst Van der","year":"2003","unstructured":"Van der Aalst, W.M.P., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10702-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:40:41Z","timestamp":1558968041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10702-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319107011","9783319107028"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10702-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}