{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T13:22:20Z","timestamp":1725974540272},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319901039"},{"type":"electronic","value":"9783319901046"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-90104-6_2","type":"book-chapter","created":{"date-parts":[[2018,4,17]],"date-time":"2018-04-17T16:53:22Z","timestamp":1523984002000},"page":"24-35","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Investigation of Integrating a\u00a0GUI-Aided Approach and\u00a0a\u00a0Specification-Based Testing"],"prefix":"10.1007","author":[{"given":"Fumiko","family":"Nagoya","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":[[2018,4,18]]},"reference":[{"key":"2_CR1","first-page":"1","volume-title":"Structured Programming","author":"EW Dijkstra","year":"1972","unstructured":"Dijkstra, E.W.: Structured Programming, pp. 1\u201382. Academic Press Ltd., London (1972)"},{"key":"2_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing, 1st edn. Cambridge University Press, New York (2008)","edition":"1"},{"key":"2_CR3","doi-asserted-by":"publisher","DOI":"10.1002\/9780470382844","volume-title":"Software Testing and Quality Assurance: Theory and Practice","author":"K Naik","year":"2008","unstructured":"Naik, K., Tripathy, P.: Software Testing and Quality Assurance: Theory and Practice, 1st edn. Wiley-Spektrum, Hoboken (2008)","edition":"1"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Ammann, P., Offutt, J.: Using formal methods to derive test frames in category-partition testing. In: Proceedings of the Ninth Annual Conference on Computer Assurance, 1994. COMPASS 1994 Safety, Reliability, Fault Tolerance, Concurrency and Real Time, Security, pp. 69\u201379 (1994)","DOI":"10.1109\/CMPASS.1994.318466"},{"issue":"5","key":"2_CR5","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/347636.383378","volume":"25","author":"Daniel Jackson","year":"2000","unstructured":"Jackson, D., Vaziri, M.: Finding bugs with a constraint solver. In: Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA 2000, pp. 14\u201325. ACM, New York (2000)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1109\/32.310666","volume":"20","author":"DW Bustard","year":"1994","unstructured":"Bustard, D.W., Winstanley, A.C.: Making changes to formal specifications: requirements and an example. IEEE Trans. Softw. Eng. 20, 562\u2013568 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-319-31220-0_4","volume-title":"Structured Object-Oriented Formal Language and Method","author":"S Liu","year":"2016","unstructured":"Liu, S.: A GUI-aided approach to formal specification construction. In: Liu, S., Duan, Z. (eds.) SOFL+MSVL 2015. LNCS, vol. 9559, pp. 44\u201356. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-31220-0_4"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-319-57708-1_5","volume-title":"Structured Object-Oriented Formal Language and Method","author":"F Nagoya","year":"2017","unstructured":"Nagoya, F., Liu, S.: A case study of a GUI-aided approach to constructing formal specifications. In: Liu, S., Duan, Z., Tian, C., Nagoya, F. (eds.) SOFL+MSVL 2016. LNCS, vol. 10189, pp. 74\u201384. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-57708-1_5"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-319-62392-4_20","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2017","author":"F Nagoya","year":"2017","unstructured":"Nagoya, F., Liu, S.: A comparative study of a GUI-aided formal specification construction approach. In: Gervasi, O., et al. (eds.) ICCSA 2017. LNCS, vol. 10404, pp. 273\u2013283. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-62392-4_20"},{"key":"2_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07287-5","volume-title":"Formal Engineering for Industrial Software Development","author":"S Liu","year":"2004","unstructured":"Liu, S.: Formal Engineering for Industrial Software Development. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-662-07287-5"},{"key":"2_CR11","volume-title":"Systematic Software Development Using VDM","author":"CB Jones","year":"1986","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Prentice Hall International (UK) Ltd., Manchester (1986)"},{"key":"2_CR12","volume-title":"Structured Analysis and System Specification","author":"T DeMarco","year":"1979","unstructured":"DeMarco, T.: Structured Analysis and System Specification. Prentice Hall PTR, Upper Saddle River (1979)"},{"key":"2_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. Springer, New York (1985). \nhttps:\/\/doi.org\/10.1007\/978-3-642-69968-9"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Liu, S., Nakajima, S.: A decompositional approach to automatic test case generation based on formal specifications. In: Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement. SSIRI 2010, pp. 147\u2013155. IEEE Computer Society, Washington (2010)","DOI":"10.1109\/SSIRI.2010.11"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/BFb0024651","volume-title":"FME \u201993: Industrial-Strength Formal Methods","author":"J Dick","year":"1993","unstructured":"Dick, J., Faivre, A.: Automating the generation and sequencing of test cases from model-based specifications. In: Woodcock, J.C.P., Larsen, P.G. (eds.) FME 1993. LNCS, vol. 670, pp. 268\u2013284. Springer, Heidelberg (1993). \nhttps:\/\/doi.org\/10.1007\/BFb0024651"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Liu, S.: A tool supported testing method for reducing cost and improving quality. In: 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Vienna, Austria, 1\u20133 August 2016, pp. 448\u2013455. IEEE (2016)","DOI":"10.1109\/QRS.2016.56"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1016\/j.apergo.2008.06.006","volume":"40","author":"J Sauer","year":"2009","unstructured":"Sauer, J., Sonderegger, A.: The influence of prototype fidelity and aesthetics of design in usability tests: effects on user behaviour, subjective evaluation and emotion. Appl. Ergon. 40, 670\u2013677 (2009)","journal-title":"Appl. Ergon."},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BFb0053368","volume-title":"B 1998: Recent Advances in the Development and Use of the B Method","author":"H Treharne","year":"1998","unstructured":"Treharne, H., Draper, J., Schneider, S.: Test case preparation using a prototype. In: Bert, D. (ed.) B 1998. LNCS, vol. 1393, pp. 293\u2013311. Springer, Heidelberg (1998). \nhttps:\/\/doi.org\/10.1007\/BFb0053368"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Mingsong, C., Xiaokang, Q., Xuandong, L.: Automatic test case generation for UML activity diagrams. In: Proceedings of the 2006 International Workshop on Automation of Software Test. AST 2006, pp. 2\u20138. ACM, New York (2006)","DOI":"10.1145\/1138929.1138931"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Linzhang, W., Jiesong, Y., Xiaofeng, Y., Jun, H., Xuandong, L., Guoliang, Z.: Generating test cases from UML activity diagram based on gray-box method. In: Proceedings of the 11th Asia-Pacific Software Engineering Conference. APSEC 2004, pp. 284\u2013291. IEEE Computer Society, Washington (2004)","DOI":"10.1109\/APSEC.2004.55"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1016\/j.infsof.2006.11.002","volume":"49","author":"S Ali","year":"2007","unstructured":"Ali, S., Briand, L.C., Rehman, M.J.U., Asghar, H., Iqbal, M.Z.Z., Nadeem, A.: A state-based approach to integration testing based on UML models. Inf. Softw. Technol. 49, 1087\u20131106 (2007)","journal-title":"Inf. Softw. Technol."}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90104-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,17]],"date-time":"2018-04-17T16:54:29Z","timestamp":1523984069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90104-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319901039","9783319901046"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90104-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}