Effectiveness and Cost of Verification Techniques: Preliminary Conclusions on Five Techniques. - Diego Vallespir; Juliana Herbert (ENC, 2009)

All Uses and Statement Coverage: A Controlled Experiment. - Diego Vallespir; Silvana Moreno; Carmen Bogado; Juliana Herbert (Computación y Sistemas, 2015)

Testing within Constraints: a Practical Approach. - Juliana Herbert; Silvia Nane (SAST, 2016)

Model for quality analysis of neonatal hearing screening software: theory applied. - Luíza Silva Vernier; João Dartora; Juliana Herbert; Sílvio César Cazella; Daniela Centenaro Levandowski (Int. J. Medical Informatics, 2021)

Usability evaluation of circRNA identification tools: Development of a heuristic-based framework and analysis. - Guilherme Bauer-Negrini; Guilherme Cordenonsi da Fonseca; Carmem Gottfried; Juliana Herbert (Comput. Biol. Medicine, 2022)