{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:23:26Z","timestamp":1742394206356},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540766483"},{"type":"electronic","value":"9783540766506"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-76650-6_9","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T07:12:49Z","timestamp":1193382769000},"page":"136-150","source":"Crossref","is-referenced-by-count":11,"title":["Integrating Specification-Based Review and Testing for Detecting Errors in Programs"],"prefix":"10.1007","author":[{"given":"Shaoying","family":"Liu","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 387\u2013405 (November 1991)","DOI":"10.1049\/sej.1991.0040"},{"issue":"11","key":"9_CR2","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(11), 777\u2013793 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR3","unstructured":"IEEE. 1028-1997 IEEE Standard for Software Reviews. IEEE Computer Society (1997)"},{"key":"9_CR4","volume-title":"Software Inspection: An Industry Best Practice","author":"D.A. Wheeler","year":"1996","unstructured":"Wheeler, D.A., Brykczynski, B., Meeson, R.N.: Software Inspection: An Industry Best Practice. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"9_CR5","unstructured":"Menachem, M.B., Marliss, G.S.: Software Quality: Producing Practical, Consistent Software. International Thomson Computer Press (1997)"},{"issue":"4","key":"9_CR6","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1109\/TSE.2002.995438","volume":"28","author":"T. Heyer","year":"2002","unstructured":"Heyer, T.: Semantic Inspection of Early UML Designs. IEEE Transactions on Software Engineering\u00a028(4), 413\u2013430 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/11576280_29","volume-title":"Formal Methods and Software Engineering","author":"S. Liu","year":"2005","unstructured":"Liu, S., Nagoya, F., Chen, Y., Goya, M., McDermid, J.A.: An Automated Approach to Specification-Based Program Inspection. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, pp. 421\u2013434. Springer, Heidelberg (2005)"},{"key":"9_CR8","first-page":"375","volume-title":"COMPSAC 2005","author":"F. Nagoya","year":"2005","unstructured":"Nagoya, F., Liu, S., Chen, Y.: A Tool and Case Study for Specification-Based Program Review. In: COMPSAC 2005, Edinburgh, Scotland, July 25-28, pp. 375\u2013380. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"9_CR9","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":"9_CR10","doi-asserted-by":"publisher","first-page":"1271","DOI":"10.1016\/j.jss.2006.12.540","volume":"80","author":"S. Liu","year":"2007","unstructured":"Liu, S., Wang, H.: An Automated Approach to Specification Animation for Validation. Journal of Systems and Software\u00a080, 1271\u20131285 (2007)","journal-title":"Journal of Systems and Software"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"896","DOI":"10.1007\/3-540-48119-2_49","volume-title":"Proceedings of the World Congress on Formal Methods in the Development of Computing Systems","author":"S. Liu","year":"1999","unstructured":"Liu, S.: Verifying Consistency and Validity of Formal Specifications by Testing. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) Proceedings of the World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France. LNCS, pp. 896\u2013914. Springer, Heidelberg (1999)"},{"issue":"4","key":"9_CR12","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1145\/990010.990012","volume":"12","author":"T. Miller","year":"2003","unstructured":"Miller, T., Strooper, P.: A Framework and Tool Support for the Systematic Testing of Model-Based Specifications. ACM Transactions on Software Engineering and Methodology\u00a012(4), 409\u2013439 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Liu, S., Chen, Y.: A Relation-Based Method Combining Functional and Structural Testing for Test Case Generation. Journal of Systems and Software (to appear, 2007)","DOI":"10.1016\/j.jss.2007.02.031"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/BFb0024651","volume-title":"FME 1993","author":"J. Dick","year":"1993","unstructured":"Dick, J., Faivre, A.: Automating the Generation and Sequencing of Test Cases from Model-based Specifications. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 268\u2013284. Springer, Heidelberg (1993)"},{"issue":"1","key":"9_CR15","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0164-1212(99)00066-7","volume":"49","author":"A.J. Offutt","year":"1999","unstructured":"Offutt, A.J., Liu, S.: Generating Test Data from SOFL Specifications. Journal of Systems and Software\u00a049(1), 49\u201362 (1999)","journal-title":"Journal of Systems and Software"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1002\/stvr.264","volume":"13","author":"A.J. Offutt","year":"2003","unstructured":"Offutt, A.J., Liu, S., Abdurazik, A., Ammann, P.: Generating Test Data from State-Based Specifications. Journal of Software Testing, Verification and Reliability\u00a013, 25\u201353 (2003)","journal-title":"Journal of Software Testing, Verification and Reliability"},{"issue":"12","key":"9_CR17","doi-asserted-by":"publisher","first-page":"948","DOI":"10.1109\/32.368133","volume":"20","author":"D.L. Parnas","year":"1994","unstructured":"Parnas, D.L., Madey, J., Iglewski, M.: Precise Documentation of Well-Structured Programs. IEEE Transactions on Software Engineering\u00a020(12), 948\u2013976 (1994)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76650-6_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:57:18Z","timestamp":1619521038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76650-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540766483","9783540766506"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76650-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}