{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:03:41Z","timestamp":1725905021819},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319624037"},{"type":"electronic","value":"9783319624044"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-62404-4_44","type":"book-chapter","created":{"date-parts":[[2017,7,14]],"date-time":"2017-07-14T07:17:03Z","timestamp":1500016623000},"page":"591-606","source":"Crossref","is-referenced-by-count":0,"title":["A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections"],"prefix":"10.1007","author":[{"given":"Luciana Brasil Rebelo","family":"dos Santos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valdivino Alexandre","family":"de Santiago J\u00fanior","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albino Vieira","family":"Freitas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,15]]},"reference":[{"issue":"9","key":"44_CR1","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1109\/TSE.2005.97","volume":"31","author":"DIK Sj\u00f8berg","year":"2005","unstructured":"Sj\u00f8berg, D.I.K., Hannay, J.E., Hansen, O., ByKampenes, V., Karahasanovic, A., Liborg, N.-K., Rekdal, A.C.: A survey of controlled experiments in software engineering. IEEE Trans. Softw. Eng. 31(9), 733\u2013753 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"44_CR2","doi-asserted-by":"crossref","unstructured":"Zannier, C., Melnik, G., Maurer, F.: On the success of empirical studies in the international conference on software engineering. In: Proceedings of the 28th International Conference on Software Engineering, pp. 341\u2013350. ACM (2006)","DOI":"10.1145\/1134285.1134333"},{"issue":"4","key":"44_CR3","doi-asserted-by":"crossref","first-page":"951","DOI":"10.1016\/j.jss.2012.11.040","volume":"86","author":"OAL Lemos","year":"2013","unstructured":"Lemos, O.A.L., Ferrari, F.C., Eler, M.M., Maldonado, J.C., Masiero, P.C.: Evaluation studies of software testing research in Brazil and in the world: a survey of two premier software engineering conferences. J. Syst. Softw. 86(4), 951\u2013969 (2013)","journal-title":"J. Syst. Softw."},{"key":"44_CR4","unstructured":"Travassos, G.H.: Forrest Shull, Jeffrey Carver, and Victor Basili. Reading techniques for OO design inspections. Technical report (2002)"},{"key":"44_CR5","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"44_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-540-69850-0_12","volume-title":"25 Years of Model Checking","author":"EM Clarke","year":"2008","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Grumberg, O., Veith, H. (eds.) 25 Years of Model Checking. LNCS, vol. 5000, pp. 196\u2013215. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-69850-0_12"},{"key":"44_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"International Symposium on Programming","author":"JP Queille","year":"1982","unstructured":"Queille, J.P., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) Programming 1982. LNCS, vol. 137, pp. 337\u2013351. Springer, Heidelberg (1982). doi: 10.1007\/3-540-11494-7_22"},{"key":"44_CR8","unstructured":"The Object Management Group (OMG), Needham, MA, USA. OMG Unified Modeling Language (OMG UML), Superstructure, V2.4.1 (2011)"},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"dos Santos, L.B.R., de Santiago, Jr,. V.A., Vijaykumar, N.L.: Transformation of UML behavioral diagrams to support software model checking. Electron. Proc. Theor. Comput. Sci. 147, 133\u2013142 (2014)","DOI":"10.4204\/EPTCS.147.10"},{"key":"44_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"612","DOI":"10.1007\/978-3-319-21410-8_47","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2015","author":"ER Eras","year":"2015","unstructured":"Eras, E.R., dos Santos, L.B.R., Santiago J\u00fanior, V.A., Vijaykumar, N.L.: Towards a wide acceptance of formal methods to the design of safety critical software: an approach based on UML and model checking. In: Gervasi, O., Murgante, B., Misra, S., Gavrilova, M.L., Rocha, A.M.A.C., Torre, C., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2015. LNCS, vol. 9158, pp. 612\u2013627. Springer, Cham (2015). doi: 10.1007\/978-3-319-21410-8_47"},{"key":"44_CR11","unstructured":"Fondazione Bruno Kessler. NuSMV home page (2015)"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the International Conference on Software Engineering, pp. 411\u2013420. ACM, New York (1999)","DOI":"10.1145\/302405.302672"},{"key":"44_CR13","unstructured":"Modeliosoft. Modelio open source community (2011)"},{"key":"44_CR14","unstructured":"Weaver, J.L., Gao, W., Chin, S., Iverson, D., Costa, A.G.M.: Plataforma Pro JavaFX Desenvolvimento de RIA para Dispositivos M\u00f3veis e para \u00c1rea de Trabalho por Scripts com a Tecnologia Java, p. 619. Ci\u00eancia Moderna LTDA, Rio de Janeiro (2010)"},{"key":"44_CR15","unstructured":"GRAPHVIZ. Graph visualization software (2017)"},{"key":"44_CR16","unstructured":"Gansner, E., Koutsofios, E., North, S.: Drawing graphs with dot: dot users manual (2006)"},{"key":"44_CR17","unstructured":"JRSOFTWARE. Inno setup (2016)"},{"key":"44_CR18","doi-asserted-by":"crossref","unstructured":"Wohlin, C., Runeson, P., Host, M., Ohlsson, M.C., Regnell, B., Wesslen, A.: Experimentation in Software Engineering: An Introduction (2000)","DOI":"10.1007\/978-1-4615-4625-2_1"},{"key":"44_CR19","doi-asserted-by":"crossref","unstructured":"Campanha, D.N., Souza, S.R.S., Maldonado, J.C.: Mutation testing in procedural and object-oriented paradigms: an evaluation of data structure programs. In: 2010 Brazilian Symposium on Software Engineering (SBES), pp. 90\u201399. IEEE (2010)","DOI":"10.1109\/SBES.2010.19"},{"issue":"3\u20134","key":"44_CR20","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1093\/biomet\/52.3-4.591","volume":"52","author":"SS Shapiro","year":"1965","unstructured":"Shapiro, S.S., Wilk, M.B.: An analysis of variance test for normality (complete samples). Biometrika 52(3\u20134), 591\u2013611 (1965)","journal-title":"Biometrika"},{"key":"44_CR21","volume-title":"Tests Based on EDF Statistics","author":"MA Stephens","year":"1986","unstructured":"Stephens, M.A.: Tests Based on EDF Statistics. Marcel Dekker, New York (1986)"},{"key":"44_CR22","doi-asserted-by":"crossref","unstructured":"Balera, J.M., Santiago J\u00fanior, V.A.: A controlled experiment for combinatorial testing. In: Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing (SAST 2016), pp. 1\u201310. ACM (2016)","DOI":"10.1145\/2993288.2993289"},{"key":"44_CR23","volume-title":"Introduction to Statistical Data Analysis with R","author":"M Kohl","year":"2015","unstructured":"Kohl, M.: Introduction to Statistical Data Analysis with R. Bookboon.com, London (2015)"},{"issue":"6","key":"44_CR24","first-page":"51","volume":"13","author":"N Taba","year":"2016","unstructured":"Taba, N., Ow, S.: A new model for software inspection at the requirements analysis and design phases of software development. Int. Arab J. Inf. Technol. (IAJIT) 13(6), 51\u201357 (2016)","journal-title":"Int. Arab J. Inf. Technol. (IAJIT)"},{"key":"44_CR25","doi-asserted-by":"crossref","unstructured":"Coskun, M.E., Ceylan, M.M., Yigit\u00f6zu, K., Garousi, V.: A tool for automated inspection of software design documents and its empirical evaluation in an aviation industry setting. In: 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 287\u2013294. IEEE (2016)","DOI":"10.1109\/ICSTW.2016.12"},{"key":"44_CR26","doi-asserted-by":"crossref","unstructured":"Dautovic, A., Pl\u00f6sch, R., Saft, M.: Automated quality defect detection in software development documents. In: First International Workshop on Model-Driven Software Migration (MDSM 2011), p. 29 (2011)","DOI":"10.1109\/QSIC.2011.23"},{"key":"44_CR27","doi-asserted-by":"crossref","unstructured":"Sinha, A., Sutton, Jr., S.M., Paradkar, A.: Text2Test: automated inspection of natural language use cases. In: 2010 Third International Conference on Software Testing, Verification and Validation (ICST), pp. 155\u2013164. IEEE (2010)","DOI":"10.1109\/ICST.2010.19"},{"key":"44_CR28","doi-asserted-by":"crossref","unstructured":"Li, M., Liu, S.: Tool support for rigorous formal specification inspection. In: 2014 IEEE 17th International Conference on Computational Science and Engineering (CSE), pp. 729\u2013734. IEEE (2014)","DOI":"10.1109\/CSE.2014.151"},{"key":"44_CR29","doi-asserted-by":"crossref","unstructured":"Valentim, N.M.C., Rabelo, J., Oran, A.C., Conte, T., Marczak, S.: A controlled experiment with usability inspection techniques applied to use case specifications: comparing the MIT 1 and the UCE techniques. In: 2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 206\u2013215. IEEE (2015)","DOI":"10.1109\/MODELS.2015.7338251"},{"key":"44_CR30","doi-asserted-by":"crossref","unstructured":"Bern\u00e1rdez, B., Genero, M., Dur\u00e1n, A., Toro, M.: A controlled experiment for evaluating a metric-based reading technique for requirements inspection. In: Proceedings of the 10th International Symposium on Software Metrics, pp. 257\u2013268. IEEE (2004)","DOI":"10.1109\/METRIC.2004.1357908"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-62404-4_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,30]],"date-time":"2019-09-30T02:40:08Z","timestamp":1569811208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-62404-4_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319624037","9783319624044"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-62404-4_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}