{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T18:18:44Z","timestamp":1784053124986,"version":"3.55.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319049144","type":"print"},{"value":"9783319049151","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04915-1_2","type":"book-chapter","created":{"date-parts":[[2014,2,20]],"date-time":"2014-02-20T15:12:22Z","timestamp":1392909142000},"page":"17-31","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Theory of Test Modeling Based on Regular Expressions"],"prefix":"10.1007","author":[{"given":"Pan","family":"Liu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,2,21]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Liu, P., Miao, H.: A new approach to generating high quality test cases. In: 2010 19th IEEE Asian Test Symposium (ATS), pp. 71\u201376. IEEE (2010)","DOI":"10.1109\/ATS.2010.21"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Bertolino, A.: Software testing research: achievements, challenges, dreams. In: Future of Software Engineering, FOSE\u201907, pp. 85\u2013103. IEEE (2007)","DOI":"10.1109\/FOSE.2007.25"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the 21st International Conference on Software Engineering, pp. 285\u2013294. ACM (1999)","DOI":"10.1145\/302405.302640"},{"key":"2_CR4","volume-title":"Practical Model-Based Testing: a Tools Approach","author":"M Utting","year":"2010","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: a Tools Approach. Morgan Kaufmann, San Francisco (2010)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/2430536.2430540","volume":"22","author":"H Hemmati","year":"2013","unstructured":"Hemmati, H., Arcuri, A., Briand, L.: Achieving scalable model-based testing through test case diversity. ACM Trans. Softw. Eng. Methodol. (TOSEM) 22, 6 (2013)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"2_CR6","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/11498490_18","volume-title":"Model-Based Testing of Reactive Systems","author":"A Belinfante","year":"2005","unstructured":"Belinfante, A., Frantzen, L., Schallhart, C.: 14 tools for test case generation. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 391\u2013438. Springer, Heidelberg (2005)"},{"key":"2_CR7","first-page":"965","volume":"34","author":"P Liu","year":"2011","unstructured":"Liu, P., Miao, H.-K., Zeng, H.-W., Liu, Y.: FSM-based testing: Theory, method and evaluation. Jisuanji Xuebao(Chinese J. Comput.) 34, 965\u2013984 (2011)","journal-title":"Jisuanji Xuebao(Chinese J. Comput.)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S Fujiwara","year":"1991","unstructured":"Fujiwara, S., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Trans. Softw. Eng. 17, 591\u2013603 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1109\/32.16602","volume":"15","author":"DP Sidhu","year":"1989","unstructured":"Sidhu, D.P., Leung, T.-K.: Formal methods for protocol testing: a detailed study. IEEE Trans. Softw. Eng. 15, 413\u2013426 (1989)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. 4, 178\u2013187 (1978)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0164-1212(01)00132-7","volume":"62","author":"R Lai","year":"2002","unstructured":"Lai, R.: A survey of communication protocol testing. J. Syst. Softw. 62, 21\u201346 (2002)","journal-title":"J. Syst. Softw."},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1109\/TASE.2011.2178023","volume":"9","author":"NQ Wu","year":"2012","unstructured":"Wu, N.Q., Zhou, M.: Modeling, analysis and control of dual-arm cluster tools with residency time constraint and activity time variation based on Petri nets. IEEE Trans. Autom. Sci. Eng. 9, 446\u2013454 (2012)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1109\/32.286423","volume":"20","author":"M Notomi","year":"1994","unstructured":"Notomi, M., Murata, T.: Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis. IEEE Trans. Softw. Eng. 20, 325\u2013336 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1109\/70.650158","volume":"13","author":"F Chu","year":"1997","unstructured":"Chu, F., Xie, X.-L.: Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Robot. Autom. 13, 793\u2013804 (1997)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"2_CR15","unstructured":"Li, Q., Moon, B.: Indexing and querying XML data for regular path expressions. In: VLDB, pp. 361\u2013370 (2001)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0304-3975(92)90339-H","volume":"96","author":"VK Garg","year":"1992","unstructured":"Garg, V.K., Ragunath, M.: Concurrent regular expressions and their relationship to Petri nets. Theoret. Comput. Sci. 96, 285\u2013304 (1992)","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1016\/S1571-0661(04)81051-X","volume":"89","author":"K Sen","year":"2003","unstructured":"Sen, K., Ro\u015fu, G.: Generating optimal monitors for extended regular expressions. Electron. Notes Theoret. Comput. Sci. 89, 226\u2013245 (2003)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"2_CR18","unstructured":"Garg, V.K.: Modeling of Distributed Systems by Concurrent Regular Expressions. In: FORTE, pp. 313\u2013327 (1989)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1109\/92.974896","volume":"9","author":"S Ravi","year":"2001","unstructured":"Ravi, S., Lakshminarayana, G., Jha, N.K.: TAO: regular expression-based register-transfer level testability analysis and optimization. IEEE Trans. Very Large Scale Integr. (VLSI) Syst. 9, 824\u2013832 (2001)","journal-title":"IEEE Trans. Very Large Scale Integr. (VLSI) Syst."},{"key":"2_CR20","unstructured":"Qian, Z.S.: Model-based approaches to generating test cases for web applications. Ph.D. thesis, Shanghai University (2008)"},{"key":"2_CR21","series-title":"LNCS","volume-title":"Model-Based Testing of Reactive Systems","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005)"},{"key":"2_CR22","unstructured":"Hopcroft, J.E.: Introduction to Automata Theory, Languages, and Computation, 3\/E. Pearson Education India (2008)"},{"key":"2_CR23","volume-title":"Discrete Mathematics and Its Applications","author":"KH Rosen","year":"2003","unstructured":"Rosen, K.H., Krithivasan, K.: Discrete Mathematics and Its Applications, 5th edn. McGraw-Hill, New York (2003)","edition":"5"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Miao, H.K., Liu, P., Mei, J., Zeng, H.W.: A new approach to automated redundancy reduction for test sequences. In: 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009. PRDC\u201909, pp. 93\u201398. IEEE (2009)","DOI":"10.1109\/PRDC.2009.23"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04915-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T22:12:33Z","timestamp":1675807953000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-04915-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319049144","9783319049151"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04915-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"21 February 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}