{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:18:37Z","timestamp":1725549517046},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253044"},{"type":"electronic","value":"9783540318620"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31862-0_18","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T08:28:55Z","timestamp":1268382535000},"page":"235-249","source":"Crossref","is-referenced-by-count":4,"title":["An Approach to Integration Testing Based on Data Flow Specifications"],"prefix":"10.1007","author":[{"given":"Yuting","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoying","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fumiko","family":"Nagoya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"McDermid, J. (ed.): Software Engineering\u2019s Reference Book. Butterworth-Heinemann Ltd., Linacre House, Jordan Hill, Oxford OX2 8DP (1991)"},{"key":"18_CR2","volume-title":"Fundamentals of Software Engineering","author":"C. Ghezzi","year":"2002","unstructured":"Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering, 2nd edn. Prentice Hall, Englewood Cliffs (2002)","edition":"2"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"934","DOI":"10.1109\/32.92913","volume":"17","author":"D.M. Hoffman","year":"1991","unstructured":"Hoffman, D.M., Strooper, P.: Automated module testing in prolog. IEEE Transactions on Software Engineering\u00a017, 934\u2013943 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Chang, J., Richardson, D.J., Sankar, S.: Structural speicifcation-based testing with ADL. In: Proceedings of the 1996 International Symposium on Software Testing and Analysis (1996)","DOI":"10.1145\/229000.226302"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/32.553698","volume":"22","author":"P. Stocks","year":"1996","unstructured":"Stocks, P., Carrington, D.: A framework for specification-based testing. IEEE Transactions on Software Engineering\u00a022, 777\u2013793 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Computing Surveys (CSUR )\u00a029, 366\u2013427 (1997)","journal-title":"ACM Computing Surveys (CSUR )"},{"key":"18_CR7","unstructured":"Stocks, P.: Applying Formal Methods to Software Testing. PhD thesis, the Department of Computer Science, the University of Queensland (1993)"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0164-1212(99)00066-7","volume":"49","author":"J. Offutt","year":"1999","unstructured":"Offutt, J., Liu, S.: Generating Test Data from SOFL Specifications. Journal of Systems and Software\u00a049, 49\u201362 (1999)","journal-title":"Journal of Systems and Software"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T. Chow","year":"1978","unstructured":"Chow, T.: Testing software designs modeled by finite-state machines. IEEE Transactions on Software Engineering\u00a04, 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S. Fujiwara","year":"1991","unstructured":"Fujiwara, S., Bochman, G., Khendek, F., Amalou, M., Ghedasmi, A.: Test selection based on finite state models. IEEE Transactions on Softare Engineering\u00a017, 591\u2013603 (1991)","journal-title":"IEEE Transactions on Softare Engineering"},{"key":"18_CR11","unstructured":"Turner, C.D., Robson, D.J.: The state-based testing of object-oriented programs. In: Proceedings of the 1993 IEEE Conference on Software Maintenance (CSM 1993), Montreal, Quebec, Canada (1993)"},{"key":"18_CR12","unstructured":"Gargantini, A., Riccobene, E.: ASM-based testing: Coverage criteria and automatic test sequence generation. Journal of Universal Computer Science (2001)"},{"key":"18_CR13","doi-asserted-by":"publisher","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. Software Testing, Verification and Reliability\u00a013, 25\u201353 (2003)","journal-title":"Software Testing, Verification and Reliability"},{"key":"18_CR14","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1109\/TSE.1998.685261","volume":"24","author":"S. Liu","year":"1998","unstructured":"Liu, S., Offutt, A.J., Ho-Stuart, C., Sun, Y., Ohba, M.: a formal engineering methodology for industrial applications. IEEE Transactions on Software Engineering\u00a024, 337\u2013344 (1998); Special Issue on Formal Methods","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07287-5","volume-title":"Formal Engineering for Industrial Software Development using the SOFL Method","author":"S. Liu","year":"2004","unstructured":"Liu, S.: Formal Engineering for Industrial Software Development using the SOFL Method. Springer, Heidelberg (2004)"},{"key":"18_CR16","unstructured":"Liu, S.: A case study of modeling an ATM using SOFL. Technical report HCIS-2003-01 Faculty of Computer and Information Sciences, Hosei University, Tokyo, Japan (2003), \n                    \n                      http:\/\/cis.k.hosei.ac.jp\/tr\/"},{"key":"18_CR17","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, New York (1990)","edition":"2"},{"key":"18_CR18","unstructured":"Jorgensen, C.P.: Software Testing: A Craftsman\u2019s Approach. second edn. CRC Press LLC, 2000 NW Corporate Boulevard, Boca Raton, Florida 33431, USA (2002)"},{"key":"18_CR19","volume-title":"Black-Box Testing","author":"B. Beizer","year":"1995","unstructured":"Beizer, B.: Black-Box Testing. Wiley, Chichester (1995)"},{"key":"18_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","author":"M. Broy","year":"2001","unstructured":"Broy, M., Stolen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)"},{"key":"18_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-46852-8_30","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J. Offutt","year":"1999","unstructured":"Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 416\u2013429. Springer, Heidelberg (1999)"},{"key":"18_CR22","unstructured":"Basanieri, F., et al.: An automated test strategy based on UML diagrams. In: Ericsson Rational User Conference, Upplands Vasby Sweden (2001)"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/3-540-45800-X_30","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"F. Basanieri","year":"2002","unstructured":"Basanieri, F., Bertolino, A., Marchetti, E.: The cow_Suite approach to planning and deriving test suites in UML projects. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 383\u2013397. Springer, Heidelberg (2002)"},{"key":"18_CR24","unstructured":"Rudram, C.: O poGenerating test cases from UML (2000)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2004"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31862-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:35:03Z","timestamp":1558272903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31862-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253044","9783540318620"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31862-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}