author = "Santos, Luciana Brasil Rabelo dos and Santiago J{\'u}nior, 
                         Valdivino Alexandre de and Freitas, Albino Vieira",
                title = "A rigorous evaluation of the benefits of usability improvements 
                         within model checking-aided software inspections",
            booktitle = "Computational Science and Its Applications  ICCSA 2017",
            publisher = "Springer",
                 year = "2017",
               editor = "Gervasi, Osvaldo and Murgante, Beniamino and Misra, Sanjay and 
                         Borruso, Giuseppe and Torre, Carmelo M. and Rocha, Ana Maria A. C. 
                         and Taniar, David and Apduhan, Bernady O. and Stankova, Elena and 
                         Cuzzocrea, Alfredo",
                pages = "591--606",
             keywords = "usability, software inspections.",
             abstract = "In this paper, we show the results of a controlled experiment 
                         aiming at assessing the benefits of usability improvements for 
                         software inspection methodologies that rely on Model Checking. 
                         This work has been carried out in the context of the SOLIMVA 3.0 
                         methodology which uses Model Checking to help in the inspection of 
                         software designs. A tool, XMITS, has been developed to support 
                         SOLIMVA 3.0. Thus, we compared the benefits in terms of cost 
                         mainly related to the Modeling activity of SOLIMVA, by using the 
                         new (3.0) and the previous (2.0) versions of XMITS. We considered 
                         20 sets of UML behavioral diagrams from two different space 
                         application systems and the ATM system. Results backed by 
                         statistical analysis show that XMITS 3.0 was better than XMITS 
                         2.0, helping to decrease the total time spent in the Modeling 
                         phase. This fact confirms that true usability improvements in 
                         software products can have a significant impact on processes such 
                         as inspection.",
          affiliation = "Instituto Federal de Educa{\c{c}}{\~a}o, Ci{\^e}ncia e 
                         Tecnologia de S{\~a}o Paulo (IFSP) and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)} and Instituto Federal de 
                         Educa{\c{c}}{\~a}o, Ci{\^e}ncia e Tecnologia de S{\~a}o Paulo 
                 isbn = "978-331962403-7",
             language = "en",
          seriestitle = "Lecture Notes in Computer Science , 10408",
        urlaccessdate = "01 dez. 2020"