{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:59Z","timestamp":1750221059801,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T00:00:00Z","timestamp":1539734400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,17]]},"DOI":"10.1145\/3275245.3275256","type":"proceedings-article","created":{"date-parts":[[2018,10,23]],"date-time":"2018-10-23T12:17:05Z","timestamp":1540297025000},"page":"101-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Experimental Evaluation of the SMartyCheck Techinique for Inspecting Defects in UML Component Diagrams"],"prefix":"10.1145","author":[{"given":"Giovanna C. S.","family":"Bettin","sequence":"first","affiliation":[{"name":"Universidade Estadual de Maring\u00e1, Departamento de Inform\u00e1tica, Maring\u00e1, Paran\u00e1"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo Theis","family":"Geraldi","sequence":"additional","affiliation":[{"name":"Universidade Estadual de Maring\u00e1, Departamento de Inform\u00e1tica, Maring\u00e1, Paran\u00e1"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edson","family":"OliveiraJr","sequence":"additional","affiliation":[{"name":"Universidade Estadual de Maring\u00e1, Departamento de Inform\u00e1tica, Maring\u00e1, Paran\u00e1"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"V. Basili G. Caldiera and H. Rombach. 1994. Goal Question Metric Approach. Encyclopedia of Software Engineering (1994).  V. Basili G. Caldiera and H. Rombach. 1994. Goal Question Metric Approach. Encyclopedia of Software Engineering (1994)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005366402950302"},{"volume-title":"Int. Conf. on Software Engineering and Knowledge Engineering. KSI Research Inc. and Knowledge Systems Institute Graduate School, 657--662","author":"Cunha Rafael","key":"e_1_3_2_1_3_1","unstructured":"Rafael Cunha , Tayana U. Conte , Eduardo S. de Almeida , and Jos\u00e9 C. Maldonado . 2012. A Set of Inspection Technique on Software Product Line Models . In Int. Conf. on Software Engineering and Knowledge Engineering. KSI Research Inc. and Knowledge Systems Institute Graduate School, 657--662 . Rafael Cunha, Tayana U. Conte, Eduardo S. de Almeida, and Jos\u00e9 C. Maldonado. 2012. A Set of Inspection Technique on Software Product Line Models. In Int. Conf. on Software Engineering and Knowledge Engineering. KSI Research Inc. and Knowledge Systems Institute Graduate School, 657--662."},{"key":"e_1_3_2_1_4_1","first-page":"720","article-title":"Verification of Software Product Line Artifacts: a Checklist to Support Feature Model Inspections","volume":"20","author":"de Mello Rafael Maiani","year":"2014","unstructured":"Rafael Maiani de Mello , Eld\u00e2nae Nogueira Teixeira , Marcelo Schots , Cl\u00e1udia Maria Lima Werner , and Guilherme Horta Travassos . 2014 . Verification of Software Product Line Artifacts: a Checklist to Support Feature Model Inspections . Journal of Universal Computer Science 20 , 5 (2014), 720 -- 745 . Rafael Maiani de Mello, Eld\u00e2nae Nogueira Teixeira, Marcelo Schots, Cl\u00e1udia Maria Lima Werner, and Guilherme Horta Travassos. 2014. Verification of Software Product Line Artifacts: a Checklist to Support Feature Model Inspections. Journal of Universal Computer Science 20, 5 (2014), 720--745.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.382.0258"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9523-3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005350102680276"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.3844\/jcssp.2017.470.495"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.17706\/jsw.12.5.379-392"},{"key":"e_1_3_2_1_10_1","unstructured":"SEI Software Engineering Institute. 2017. Software Product Lines. http:\/\/www.sei.cmu.edu\/productlines\/  SEI Software Engineering Institute. 2017. Software Product Lines. http:\/\/www.sei.cmu.edu\/productlines\/"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/130844.130856"},{"key":"e_1_3_2_1_12_1","first-page":"2374","article-title":"Systematic Management of Variability in UML-based Software Product Lines","volume":"16","author":"OliveiraJr E.","year":"2010","unstructured":"E. OliveiraJr , I. M. S. Gimenes , and Jos\u00e9 C. Maldonado . 2010 . Systematic Management of Variability in UML-based Software Product Lines . Journal of Universal Computer Science 16 , 17 (2010), 2374 -- 2393 . E. OliveiraJr, I. M. S. Gimenes, and Jos\u00e9 C. Maldonado. 2010. Systematic Management of Variability in UML-based Software Product Lines. Journal of Universal Computer Science 16, 17 (2010), 2374--2393.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_13_1","unstructured":"OMG. 2015. Object Constraint Language - Version 2.4. http:\/\/www.omg.org\/spec\/OCL\/2.4  OMG. 2015. Object Constraint Language - Version 2.4. http:\/\/www.omg.org\/spec\/OCL\/2.4"},{"volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"Pohl K.","key":"e_1_3_2_1_14_1","unstructured":"K. Pohl , G. B\u00f6ckle , and F.J van Der Linden . 2005. Software Product Line Engineering: Foundations, Principles and Techniques . Springer . K. Pohl, G. B\u00f6ckle, and F.J van Der Linden. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.391380"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.2307\/1422689"},{"key":"e_1_3_2_1_17_1","volume-title":"Component Software: Beyond Object-Oriented Programming.","author":"Szyperski D.","year":"2002","unstructured":"D. Szyperski , C.and Gruntz and S. Murer . 2002 . Component Software: Beyond Object-Oriented Programming. D. Szyperski, C.and Gruntz and S. Murer. 2002. Component Software: Beyond Object-Oriented Programming."},{"key":"e_1_3_2_1_19_1","unstructured":"D. M Weiss and C. Lai. 1999. Software Product-Line Engineering: a Family-based Software Development Process. Vol. 12. Addison-Wesley Reading.   D. M Weiss and C. Lai. 1999. Software Product-Line Engineering: a Family-based Software Development Process. Vol. 12. Addison-Wesley Reading."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"C. Wohlin P. Runeson M. H\u00f6st M. C Ohlsson B. Regnell and A. Wessl\u00e9n. 2012. Experimentation in Software Engineering. Springer Science & Business Media.   C. Wohlin P. Runeson M. H\u00f6st M. C Ohlsson B. Regnell and A. Wessl\u00e9n. 2012. Experimentation in Software Engineering. Springer Science & Business Media.","DOI":"10.1007\/978-3-642-29044-2"},{"volume-title":"Software Reading Techniques: Twenty Techniques for More Effective Software Review and Inspection","author":"Zhu Y.","key":"e_1_3_2_1_22_1","unstructured":"Y. Zhu . 2016. Software Reading Techniques: Twenty Techniques for More Effective Software Review and Inspection . Apress . Y. Zhu. 2016. Software Reading Techniques: Twenty Techniques for More Effective Software Review and Inspection. Apress."},{"key":"e_1_3_2_1_23_1","volume-title":"Int. Workshop on Software Product-Family Engineering. Springer, SpringerLink, 129--139","author":"Ziadi T.","year":"2003","unstructured":"T. Ziadi , Lo\u00efc H\u00e9lou\u00ebt , and Jean-Marc J\u00e9z\u00e9quel . 2003 . Towards a UML Profile for Software Product Lines . In Int. Workshop on Software Product-Family Engineering. Springer, SpringerLink, 129--139 . T. Ziadi, Lo\u00efc H\u00e9lou\u00ebt, and Jean-Marc J\u00e9z\u00e9quel. 2003. Towards a UML Profile for Software Product Lines. In Int. Workshop on Software Product-Family Engineering. Springer, SpringerLink, 129--139."}],"event":{"name":"SBQS: 17th Brazilian Symposium on Software Quality","sponsor":["SBC Brazilian Computer Society"],"location":"Curitiba Brazil","acronym":"SBQS"},"container-title":["Proceedings of the XVII Brazilian Symposium on Software Quality"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3275245.3275256","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3275245.3275256","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:44:39Z","timestamp":1750207479000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3275245.3275256"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,17]]},"references-count":21,"alternative-id":["10.1145\/3275245.3275256","10.1145\/3275245"],"URL":"https:\/\/doi.org\/10.1145\/3275245.3275256","relation":{},"subject":[],"published":{"date-parts":[[2018,10,17]]},"assertion":[{"value":"2018-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}