{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T13:41:01Z","timestamp":1688478061453},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T00:00:00Z","timestamp":1378857600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1007\/s11219-013-9219-x","type":"journal-article","created":{"date-parts":[[2013,9,10]],"date-time":"2013-09-10T06:16:33Z","timestamp":1378793793000},"page":"3-28","source":"Crossref","is-referenced-by-count":0,"title":["Automating test-based inspection of design models"],"prefix":"10.1007","volume":"23","author":[{"given":"Anne Caroline O.","family":"Rocha","sequence":"first","affiliation":[]},{"given":"Franklin","family":"Ramalho","sequence":"additional","affiliation":[]},{"given":"Patr\u00edcia D. L.","family":"Machado","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,9,11]]},"reference":[{"key":"9219_CR1","doi-asserted-by":"crossref","unstructured":"Alves, E., Machado, P., & Ramalho, F. (2012). Automatic generation of built-in contract test drivers. Software & Systems Modeling, pp. 1\u201325. doi: 10.1007\/s10270-012-0282-8 (published online first).","DOI":"10.1007\/s10270-012-0282-8"},{"key":"9219_CR2","unstructured":"AMMA Project. (2009). Atlas transformation language. http:\/\/www.sciences.univ-nantes.fr\/lina\/atl\/ ."},{"key":"9219_CR3","unstructured":"Costa, P., Shull, F., & Melo, W. (2006). Getting requirements right: The perspective-based reading technique and the rational unified process. http:\/\/www.ibm.com\/developerworks\/rational\/library\/sep06\/melo_costa_shull\/ ."},{"key":"9219_CR4","doi-asserted-by":"crossref","unstructured":"Dinh-Trong, T., Kawane, N., Ghosh, S., France, R., & Andrews, A. A. (2005). A tool-supported approach to testing UML design models. In Proceedings of the 10th IEEE international conference on engineering of complex computer systems, IEEE Computer Society, Washington, DC, USA, ICECCS \u201905, pp. 519\u2013528.","DOI":"10.1109\/ICECCS.2005.16"},{"key":"9219_CR5","unstructured":"Eclipse Project. (2009). Mofscript user guide. http:\/\/www.eclipse.org\/gmt\/mofscript\/doc\/ MOFScript-User-Guide.pdf."},{"key":"9219_CR6","doi-asserted-by":"crossref","unstructured":"Egyed, A. (2007). Fixing inconsistencies in UML design models. In 29th international conference on software engineering, 2007. ICSE 2007, pp. 292\u2013301.","DOI":"10.1109\/ICSE.2007.38"},{"issue":"3","key":"9219_CR7","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1147\/sj.153.0182","volume":"15","author":"M.E. Fagan","year":"1976","unstructured":"Fagan, M. E. (1976). Design and code inspections to reduce errors in program development. IBM Systems Journal, 15(3), 182\u2013211.","journal-title":"IBM Systems Journal"},{"issue":"7","key":"9219_CR8","doi-asserted-by":"crossref","first-page":"744","DOI":"10.1109\/TSE.1986.6312976","volume":"12","author":"M.E. Fagan","year":"1986","unstructured":"Fagan, M. E. (1986). Advances in software inspections. IEEE Transactions on Software Engineering, 12(7), 744\u2013751.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9219_CR9","volume-title":"Software inspection","author":"T. Gilb","year":"1994","unstructured":"Gilb, T., & Graham, D. (1994). Software inspection. Reading, MA: Addison-Wesley."},{"issue":"1-3","key":"9219_CR10","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M. Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., & Richters, M. (2007). USE: A UML-based specification environment for validating UML and OCL. Science of Computer Programming, 69(1-3), 27\u201334.","journal-title":"Science of Computer Programming"},{"key":"9219_CR11","unstructured":"Ho, W. M., J\u00e9z\u00e9quel, J. M., Guennec, A. L., & Pennaneach, F. (1999). UMLAUT: An extendible UML transformation framework. In Proceedings of the 14th IEEE international conference on automated software engineering, IEEE Computer Society, Washington, DC, USA, ASE \u201999, pp. 275\u2013278."},{"key":"9219_CR12","unstructured":"Kalinowski, M., & Travassos, G. H. (2005). Software technologies: The use of experimentation to introduce ISPIS\u2014a software inspection framework\u2014into the industry. In 2nd experimental software engineering Latin American workshop."},{"key":"9219_CR13","volume-title":"MDA explained: The model driven architecture: practice and promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., & Bast, W. (2003). MDA explained: The model driven architecture: practice and promise. Boston, MA: Addison-Wesley Longman Publishing Co., Inc."},{"key":"9219_CR14","doi-asserted-by":"crossref","unstructured":"Laitenberger, O., & Atkinson, C. (1999). Generalizing perspective-based inspection to handle object-oriented development artifacts. In Proceedings of the 1999 international conference on software engineering, 1999, pp. 494\u2013503.","DOI":"10.1145\/302405.302680"},{"issue":"11","key":"9219_CR15","doi-asserted-by":"crossref","first-page":"781","DOI":"10.1016\/S0950-5849(97)00030-X","volume":"39","author":"O. Laitenberger","year":"1997","unstructured":"Laitenberger, O., & DeBaud, J. M. (1997). Perspective-based reading of code documents at Robert Bosch GmbH. Information and Software Technology, 39(11), 781\u2013791.","journal-title":"Information and Software Technology"},{"issue":"1","key":"9219_CR16","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0164-1212(99)00073-4","volume":"50","author":"O. Laitenberger","year":"2000","unstructured":"Laitenberger, O., & DeBaud, J. M. (2000). An encompassing life cycle centric survey of software inspection. Journal of Systems and Software, 50(1), 5\u201331.","journal-title":"Journal of Systems and Software"},{"issue":"2","key":"9219_CR17","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S0164-1212(00)00052-2","volume":"53","author":"O. Laitenberger","year":"2000","unstructured":"Laitenberger, O., Atkinson, C., Schlich, M., & Emam, K. E. (2000). An experimental comparison of reading techniques for defect detection in UML design documents. Journal of Systems and Software, 53(2), 183\u2013204.","journal-title":"Journal of Systems and Software"},{"key":"9219_CR18","doi-asserted-by":"crossref","unstructured":"Lange, C. F. J., & Chaudron, M. R. V. (2006). Effects of defects in UML models: An experimental investigation. In Proceedings of the 28th international conference on Software engineering (pp 401\u2013411). ACM, New York, NY, ICSE \u201906.","DOI":"10.1145\/1134285.1134341"},{"issue":"4","key":"9219_CR19","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1002\/spip.184","volume":"8","author":"F. Lanubile","year":"2003","unstructured":"Lanubile, F., Mallardo, T., & Calefato, F. (2003). Tool support for geographically dispersed inspection teams. Software Process: Improvement and Practice, 8(4), 217\u2013231.","journal-title":"Software Process: Improvement and Practice"},{"key":"9219_CR20","volume-title":"Design requirements engineering: A ten-year perspective","year":"2009","unstructured":"Lyytinen, K., Loucopoulos, P., Mylopoulos, J., & Robinson, W. (eds) (2009). Design requirements engineering: A ten-year perspective. Berlin: Springer."},{"issue":"1","key":"9219_CR21","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/s10664-006-5967-6","volume":"11","author":"J.C. Maldonado","year":"2006","unstructured":"Maldonado, J. C., Carver, J., Shull, F., Fabbri, S., D\u00f3ria, E., Martimiano, L., Mendon\u00e7a, M., & Basili, V. (2006). Perspective-based reading: A replicated experiment focused on individual reviewer effectiveness. Empirical Software Engineering, 11(1), 119\u2013142.","journal-title":"Empirical Software Engineering"},{"key":"9219_CR22","volume-title":"A practical guide to testing object-oriented software. Object technology series","author":"J.D. McGregor","year":"2001","unstructured":"McGregor, J. D., & Sykes, D. A. (2001). A practical guide to testing object-oriented software. Object technology series. Reading, MA: Addison-Wesley."},{"key":"9219_CR23","unstructured":"OMG. (2007a). Metaobject facility (MOF) 2.0 query\/view\/transformation specification\u2014final adopted specification. Technical Report ptc\/07-07-07, Object Management Group. http:\/\/www.omg.org\/cgibin\/doc?ptc\/2007-07-07 ."},{"key":"9219_CR24","unstructured":"OMG. (2007b). MOF models to text transformation language\u2014final adopted specification. Technical Report ad\/06-09-03, Object Management Group. http:\/\/www.lsi.us.es\/~wiki\/dsdm\/images\/1\/1d\/Mof2Text.pdf ."},{"key":"9219_CR25","unstructured":"OMG. (2007c). UML superstructure, v2.1.1. Technical Report 07-02-05, Object Management Group. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/07-02-05 ."},{"key":"9219_CR26","unstructured":"Radice, R. A. (2001). High quality low cost software inspection. Andover, MA: Paradoxon Publishing."},{"key":"9219_CR27","doi-asserted-by":"crossref","unstructured":"Rocha, A. C. O., Machado, P. D. L., & Ramalho, F. (2009). Automa\u00e7\u00e3o da t\u00e9cnica de inspe\u00e7\u00e3o guiada usando MDA e simula\u00e7\u00e3o de modelos. In 3rd Simp\u00f3sio Brasileiro de Componentes, Arquiteturas e Reutiliza\u00e7\u00e3o de Software (SBCARS), pp. 182\u2013194.","DOI":"10.5753\/sbcars.2009.24110"},{"key":"9219_CR28","unstructured":"Rocha, A. C. O., Machado, P. D. L., & Ramalho, F. (2010). Automating inspection of design models guided by test cases. In Proceedings of 22nd IFIP international conference on testing software and systems: Short papers, pp. 73\u201378."},{"key":"9219_CR29","unstructured":"Sabaliauskaite, G. (2004). Investigating defect detection in object-oriented design and cost-effectiveness of software inspection. PhD thesis, Osaka University, Japan."},{"key":"9219_CR30","doi-asserted-by":"crossref","unstructured":"Sabaliauskaite, G., Matsukawa, F., Kusumoto, S., & Inoue, K. (2002). An experimental comparison of checklist-based reading and perspective-based reading for UML design document inspection. In Proceedings of the 2002 international symposium on empirical software engineering, IEEE Computer Society, Washington, DC, USA, ISESE \u201902, p. 148.","DOI":"10.1109\/ISESE.2002.1166934"},{"key":"9219_CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/32.825763","volume":"26","author":"C. Sauer","year":"2000","unstructured":"Sauer, C., Jeffery, D. R., Land, L., & Yetton, P. (2000). The effectiveness of software development technical reviews: A behaviorally motivated program of research. IEEE Transactions on Software Engineering, 26, 1\u201314.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"7","key":"9219_CR32","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/2.869376","volume":"33","author":"F. Shull","year":"2000","unstructured":"Shull, F., Rus, I., & Basili, V. (2000). How perspective-based reading can improve requirements inspections. Computer, 33(7), 73\u201379.","journal-title":"Computer"},{"key":"9219_CR33","doi-asserted-by":"crossref","unstructured":"Silva, L. F. S., & Travassos, G. H. (2004). Tool-supported unobtrusive evaluation of software engineering process conformance. In Proceedings of the 2004 international symposium on empirical software engineering, IEEE Computer Society, Washington, DC, USA, ISESE \u201904, pp. 127\u2013135.","DOI":"10.1109\/ISESE.2004.1334900"},{"key":"9219_CR34","volume-title":"Software engineering","author":"I. Sommerville","year":"2010","unstructured":"Sommerville, I. (2010). Software engineering (9th ed.). Reading, MA: Addison-Wesley.","edition":"9"},{"issue":"15","key":"9219_CR35","doi-asserted-by":"crossref","first-page":"925","DOI":"10.1016\/S0950-5849(01)00201-4","volume":"43","author":"T. Thelin","year":"2001","unstructured":"Thelin, T., Runeson, P., & Regnell, B. (2001). Usage-based reading\u2014an experiment to guide reviewers with use cases. Information and Software Technology, 43(15), 925\u2013938.","journal-title":"Information and Software Technology"},{"key":"9219_CR36","unstructured":"Travassos, G. H., Shull, F., Carver, J., & Basili, V. R. (1999). Reading techniques for oo design inspections. In XIV Brazilian symposium on software engineering."},{"key":"9219_CR37","unstructured":"Winkler, D. (2008). Improvement of defect detection with software inspection variants: A large-scale empirical study on reading techniques and experience. Saarbr\u00fccken: VDM Verlag."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-013-9219-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-013-9219-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-013-9219-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T13:05:23Z","timestamp":1688475923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-013-9219-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,11]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["9219"],"URL":"https:\/\/doi.org\/10.1007\/s11219-013-9219-x","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,11]]}}}
