{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:08:42Z","timestamp":1746245322682,"version":"3.40.4"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,4,26]],"date-time":"2014-04-26T00:00:00Z","timestamp":1398470400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1007\/s10009-014-0316-3","type":"journal-article","created":{"date-parts":[[2014,4,25]],"date-time":"2014-04-25T19:58:18Z","timestamp":1398455898000},"page":"437-455","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Model-based test generation using extended symbolic grammars"],"prefix":"10.1007","volume":"16","author":[{"given":"Hai-Feng","family":"Guo","sequence":"first","affiliation":[]},{"given":"Mahadevan","family":"Subramaniam","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,26]]},"reference":[{"issue":"6","key":"316_CR1","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G Bernot","year":"1991","unstructured":"Bernot, G., Gaudel, M., Marre, B.: Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6(6), 387\u2013405 (1991)","journal-title":"Softw. Eng. J."},{"key":"316_CR2","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/j.entcs.2004.02.084","volume":"116","author":"A Bertolino","year":"2005","unstructured":"Bertolino, A., Marchetti, E., Muccini, H.: Introducing a reasonably complete and coherent approach for model-based testing. Electron. Notes Theor. Comput. Sci. 116, 85\u201397 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"316_CR3","unstructured":"Bohn, J., Damm, W., Wittke, H., Klose, J., Moik, A.: Modeling and validating train system applications using statemate and live sequence charts. In: Proceedings of Conference on Integrated Design and Process Technology (IDPT2002), Society for Design and Process Science (2002)"},{"key":"316_CR4","unstructured":"Bontemps, Y., Heymans, P.: Turning high-level live sequence charts into automata. In: Proceedings of Scenarios and State Machines: Models Algorithms and tools, 24th International Conference on Software Engineering, May 2002, ACM (2003)"},{"key":"316_CR5","unstructured":"Bontemps, Y., Heymans, P., Kugler, H.: Applying LSCs to the specification of an air traffic control system. In: Proceedings of Workshop on Scenarios and State Machines: Models, Algorithms and Tools (2003)"},{"key":"316_CR6","doi-asserted-by":"crossref","unstructured":"Broy, M., Jonsson, B., Katoen, J., Leucker, M., Pretschner, A.: Model-based Testing of Reactive Systems. LNCS(3472), Springer (2005)","DOI":"10.1007\/b137241"},{"issue":"4","key":"316_CR7","first-page":"250","volume":"7","author":"A Bunker","year":"2005","unstructured":"Bunker, A., Gopalakrishnan, G., Slind, K.: Live sequence charts applied to hardware requirements specification and verification: a vci bus interface model. Softw. Tools Technol. Transf. 7(4), 250\u2013341 (2005)","journal-title":"Softw. Tools Technol. Transf."},{"key":"316_CR8","doi-asserted-by":"crossref","unstructured":"Combes, P., Harel, D., Kugler, H.: Modeling and verification of a telecommunication application using live sequence charts and the play-engine tool. In: Peled, D.A., Tsay, Y.-K. (eds.) Automated Technology for Verification and Analysis. Lecture Notes in Computer Science, vol. 3707, pp. 414\u2013428. Springer, Berlin, Heidelberg (2005)","DOI":"10.1007\/11562948_31"},{"key":"316_CR9","doi-asserted-by":"crossref","unstructured":"Coppit, D., Lian, J.: Yagg: an easy-to-use generator for structured test inputs. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering. ASE \u201805, pp. 356\u2013359. Long Beach, CA, USA (2005)","DOI":"10.1145\/1101908.1101969"},{"key":"316_CR10","doi-asserted-by":"crossref","unstructured":"Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. In: Proceedings of 3rd IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, pp. 293\u2013312 (1999)","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"316_CR11","doi-asserted-by":"crossref","unstructured":"Engels, A., Fiejs, L., Mauw, S.: Test generation for intelligent networks using model checking. In: Proceedings of Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS), pp. 384\u2013398 (1997)","DOI":"10.1007\/BFb0035401"},{"key":"316_CR12","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Kiezun, A., Levin, M.Y.: Grammar-based whitebox fuzzing. In: Proceedings of the ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI), pp. 206\u2013215 (2008)","DOI":"10.1145\/1379022.1375607"},{"issue":"3","key":"316_CR13","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/2093548.2093564","volume":"55","author":"P Godefroid","year":"2012","unstructured":"Godefroid, P., Levin, M.Y., Molnar, D.A.: Sage: whitebox fuzzing for security testing. Commun. ACM 55(3), 40\u201344 (2012)","journal-title":"Commun. ACM"},{"key":"316_CR14","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/j.autcon.2010.07.002","volume":"20","author":"J Goedert","year":"2011","unstructured":"Goedert, J., Cho, Y., Subramaniam, M., Guo, H.F., Xiao, L.: A framework for virtual interactive construction education (vice). Autom. Constr. 20, 76\u201387 (2011)","journal-title":"Autom. Constr."},{"key":"316_CR15","unstructured":"Guo, H.F.: The LCT tool. http:\/\/faculty.ist.unomaha.edu\/hguo\/lct.htm (2014). Accessed 1 Apr 2014"},{"key":"316_CR16","doi-asserted-by":"crossref","unstructured":"Guo, H.F., Subramaniam, M.: Model-based test generation using evolutional symbolic grammar. In: International Symposium on Theoretical Aspects of Software Engineering (TASE), pp. 111\u2013118 (2012)","DOI":"10.1109\/TASE.2012.16"},{"key":"316_CR17","doi-asserted-by":"crossref","unstructured":"Guo, H.F., Zheng, W., Subramaniam, M.: L2C2: logic-based LSC consistency checking. In: 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP) (2009)","DOI":"10.1145\/1599410.1599433"},{"key":"316_CR18","doi-asserted-by":"crossref","unstructured":"Harel, D.: From play-in scenarios to code: an achievable dream. In: Proceedings of Fundamental Approaches to Software Engineering (FASE), pp. 22\u201334 (2000)","DOI":"10.1007\/3-540-46428-X_3"},{"issue":"1","key":"316_CR19","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1142\/S0129054102000935","volume":"13","author":"D Harel","year":"2002","unstructured":"Harel, D., Kugler, H.: Synthesizing state-based object systems from lsc specifications. Int. J. Found. Comput. Sci. 13(1), 5\u201351 (2002)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"316_CR20","doi-asserted-by":"crossref","unstructured":"Harel, D., Maoz, S., Segall, I.: Some results on the expressive power and complexity of LSCs. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. Lecture Notes in Computer Science, vol. 4800, pp. 351\u2013366. Springer, Berlin, Heidelberg (2008)","DOI":"10.1007\/978-3-540-78127-1_19"},{"key":"316_CR21","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Berlin, Heidelberg (2003)","DOI":"10.1007\/978-3-642-19029-2"},{"key":"316_CR22","doi-asserted-by":"crossref","unstructured":"Helke, S., Neustupny, T., Santen, T.: Automating test case generation from z specifications using isabelle. In: Proceedings of International Conference of Z Users (ZUM), pp. 52\u201371 (1997)","DOI":"10.1007\/BFb0027283"},{"key":"316_CR23","doi-asserted-by":"crossref","unstructured":"Hong, H., Cha, S., Lee, I., Sokolsky, O., Ural, H.: Data flow testing as model checking. In: Proceedings of the International Conference on Software Engineering (ICSE), pp. 232\u2013242 (2003)","DOI":"10.1109\/ICSE.2003.1201203"},{"key":"316_CR24","doi-asserted-by":"crossref","unstructured":"Hong, H.S., Lee, I., Sokolsky, O., Ural, H.: A temporal logic based theory of test coverage and generation. In: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS \u201902, pp. 327\u2013341 (2002)","DOI":"10.1007\/3-540-46002-0_23"},{"key":"316_CR25","unstructured":"ITU-T: Message sequence chart (MSC). Z.120 ITU-T recommendation. Available at https:\/\/www.itu.int\/rec\/T-REC-Z.120\/en (1996). Accessed 1 Jan 2012"},{"key":"316_CR26","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19, 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"key":"316_CR27","doi-asserted-by":"crossref","unstructured":"Klose, J., Toben, T., Westphal, B., Wittke, H.: Check it out: on the efficient formal verification of live sequence charts. In: 18th International Conference on Computer Aided Verification (CAV), pp. 219\u2013233 (2006)","DOI":"10.1007\/11817963_22"},{"key":"316_CR28","doi-asserted-by":"crossref","unstructured":"Krenn, W., Schlick, R., Aichernig, B.K.: Mapping UML to labeled transition systems for test-case generation. In: 8th International Symposium on Formal Methods for Components and Objects, pp. 186\u2013207. Springer, Berlin, Heidelberg (2009)","DOI":"10.1007\/978-3-642-17071-3_10"},{"key":"316_CR29","unstructured":"Kumar, R., Mercer, E.: Improving live sequence chart to automata translation for verification. Electron. Commun. EASST 10, 1\u201314 (2008)"},{"key":"316_CR30","doi-asserted-by":"crossref","unstructured":"L $$\\ddot{\\rm a}$$ a \u00a8 mmel, R., Schulte, W.: Controllable combinatorial coverage in grammar-based testing. In: Testing of Communicating Systems. Lecture Notes in Computer Science, vol. 3964, pp. 19\u201338. Springer, Berlin, Heidelberg (2006)","DOI":"10.1007\/11754008_2"},{"issue":"2","key":"316_CR31","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1002\/stvr.287","volume":"14","author":"B Legeard","year":"2004","unstructured":"Legeard, B., Peureux, F., Utting, M.: Controlling test case explosion in test generation from b formal models. Softw. Test. Verif. Reliab. (STVR) 14(2), 81\u2013103 (2004)","journal-title":"Softw. Test. Verif. Reliab. (STVR)"},{"key":"316_CR32","doi-asserted-by":"crossref","unstructured":"Liu, S., Li, L., Guo, H.F.: Generating test cases via model-based simulation. In: 13th IEEE International Conference on Information Reuse and Integration, pp. 17\u201324 (2012)","DOI":"10.1109\/IRI.2012.6302985"},{"key":"316_CR33","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Xu, R.G.: Directed test generation using symbolic grammars. In: The ACM SIGSOFT Symposium on the Foundations of Software Engineering: Companion Papers, pp. 553\u2013556 (2007)","DOI":"10.1145\/1295014.1295039"},{"key":"316_CR34","doi-asserted-by":"crossref","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL: a proof assistant for higher-order logic. Lecture Notes in Computer Science, vol. 2283. Springer, Berlin, Heidelberg (2002)","DOI":"10.1007\/3-540-45949-9"},{"key":"316_CR35","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1002\/stvr.264","volume":"13","author":"J Offutt","year":"2003","unstructured":"Offutt, J., Liu, S., Abdurazik, A., Ammann, P.: Generating test data from state based specifications. J. Softw. Test. Verif. Reliab. 13, 25\u201353 (2003)","journal-title":"J. Softw. Test. Verif. Reliab."},{"key":"316_CR36","unstructured":"OMG: Unified modeling languages superstructure specification, v2.0. The Object Management Group. http:\/\/www.uml.org\/ (2005). Accessed 1 Jan 2012"},{"key":"316_CR37","doi-asserted-by":"crossref","unstructured":"Pemmasani, G., Guo, H.F., Dong, Y., Ramakrishnan, C., Ramakrishnan, I.: Online justification for tabled logic programs. In: The 7th International Symposium on Functional and Logic Programming, pp. 24\u201338 (2004)","DOI":"10.1007\/978-3-540-24754-8_4"},{"key":"316_CR38","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/248233.248262","volume":"6","author":"G Rothermel","year":"1997","unstructured":"Rothermel, G., Harrold, M.J.: A safe, efficient regression test selection technique. ACM Trans. Softw. Eng. Methodol. 6, 173\u2013210 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"316_CR39","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1002\/stvr.256","volume":"4","author":"G Rothermel","year":"2002","unstructured":"Rothermel, G., Harrold, M.J., von Ronne, J., Hong, C.: Empirical studies of test suite reduction. J. Softw. Test. Verif. Reliab. 4, 219\u2013249 (2002)","journal-title":"J. Softw. Test. Verif. Reliab."},{"key":"316_CR40","doi-asserted-by":"crossref","unstructured":"Sirer, E.G., Bershad, B.N.: Using production grammars in software testing. In: 2nd Conference on Domain Specific Languages, pp. 1\u201313 (1999)","DOI":"10.1145\/331960.331965"},{"key":"316_CR41","unstructured":"Sun, J., Dong, J.S.: Model checking live sequence charts. In: The 10th IEEE International Conference on Engineering of Complex Computer Systems, pp. 529\u2013538 (2005)"},{"key":"316_CR42","unstructured":"Tan, L., Sokolsky, O., Lee, I.: Specification-based testing with linear temporal logic. In: Proceedings of IEEE International Conference on Information Reuse and Integration (IRI\u201904), pp. 493\u2013498 (2004)"},{"key":"316_CR43","unstructured":"Toben, T., Westphal, B.: On the expressive power of LSCs. In: The 32nd Conference on Current Trends in Theory and Practice of Computer Science, pp. 33\u201343 (2006)"},{"key":"316_CR44","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, San Francisco, CA, USA (2007)"},{"key":"316_CR45","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/131295.131299","volume":"35","author":"DS Warren","year":"1992","unstructured":"Warren, D.S.: Memoing for logic programs. Commun. ACM 35, 93\u2013111 (1992)","journal-title":"Commun. ACM"},{"key":"316_CR46","unstructured":"Zheng, W.: Consistency checking on LSC specifications. Master Thesis, University of Nebraska at Omaha, Omaha (2009)"}],"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-014-0316-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0316-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0316-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T15:20:58Z","timestamp":1746199258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0316-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,26]]},"references-count":46,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,8]]}},"alternative-id":["316"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0316-3","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2014,4,26]]}}}