{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T16:43:46Z","timestamp":1745081026270,"version":"3.40.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319049144"},{"type":"electronic","value":"9783319049151"}],"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_8","type":"book-chapter","created":{"date-parts":[[2014,2,20]],"date-time":"2014-02-20T15:12:22Z","timestamp":1392909142000},"page":"104-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios"],"prefix":"10.1007","author":[{"given":"Shenghua","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoying","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,21]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Li, M., Liu, S.: Automated functional scenarios-based formal specification animation. In: 19th Asia-Pacific Software Engineering Conference (APSEC 2012), IEEE CS Press, Hong Kong (2012) (to appear)","key":"8_CR1","DOI":"10.1109\/APSEC.2012.115"},{"unstructured":"Li, C., Liu, S., Nakajima, S.: An experiment for assessment of a \u201cfunctional scenario-based\u201d test case generation method. In: International Conference on Software Engineering and Technology (ICSET 2012), pp. 64\u201371 (2012)","key":"8_CR2"},{"issue":"1","key":"8_CR3","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/32.663996","volume":"24","author":"S. Liu","year":"1998","unstructured":"Liu, S., Offutt, A.J., Ho-Stuart, C., Sun, Y., Ohba, M.: SOFL: A formal engineering methodology for industrial applications. IEEE Trans. Softw. Eng. 24(1), 24\u201345 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Liu, S ., Nakajima, S.: A decompositional approach to automatic test case generation based on formal specifications. In: 4th IEEE International Conference on Secure Software Integration and Reliability Improvement, Singapore, pp. 147\u2013155, 9\u201311 June 2010","key":"8_CR4","DOI":"10.1109\/SSIRI.2010.11"},{"issue":"5","key":"8_CR5","doi-asserted-by":"publisher","first-page":"1100","DOI":"10.1109\/TSE.2011.102","volume":"38","author":"S Liu","year":"2012","unstructured":"Liu, S., Chen, Y., Nagoya, F., McDermid, J.: Formal specification-based inspection for verification of programs. IEEE Trans. Softw. Eng. 38(5), 1100\u20131122 (2012)","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"8_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1668862.1668864","volume":"35","author":"P.G. Larsen","year":"2010","unstructured":"Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative integrating tools for VDM. ACM Softw. Eng. Notes 35(1), 1\u20136 (2010)","journal-title":"ACM Softw. Eng. Notes"},{"unstructured":"Leavens, G.T., Cheon, Y.: Design by contract with JML. http:\/\/jmlspecs.org (2005)","key":"8_CR7"},{"issue":"2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modeling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"doi-asserted-by":"crossref","unstructured":"Liu, S., Nakajima,S.: A decompositional approach to automatic test case generation based on formal specifications. In: 4th IEEE International Conference on Secure Software Integration and Reliability Improvement, Singapore, pp. 147\u2013155, 9\u201311 June 2010","key":"8_CR9","DOI":"10.1109\/SSIRI.2010.11"},{"doi-asserted-by":"crossref","unstructured":"Li, M., Liu, S.: Automatically generating functional scenarios from SOFL CDFD for specification inspection. In: 10th IASTED International Conference on Software Engineering, Innsbruck, Austria, pp. 18\u201325, 15\u201317 Feb 2011","key":"8_CR10","DOI":"10.2316\/P.2011.720-057"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T22:12:41Z","timestamp":1675807961000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-04915-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319049144","9783319049151"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04915-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"21 February 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}