Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation. - Cassia de Souza Carvalho; Tatsuhiro Tsuchiya (CANDAR, 2014)

The People Have Spoken: Conflicting Brazilian Protests on Twitter. - Cassia de Souza Carvalho; Fabrício Olivetti de França; Denise Hideko Goya; Claudio Luis de Camargo Penteado (HICSS, 2016)

Brazilians Divided: Political Protests as Told by Twitter. - Cassia de Souza Carvalho; Fabrício Olivetti de França; Denise Hideko Goya; Claudio Luis de Camargo Penteado (Trans. Large Scale Data Knowl. Centered Syst., 2016)