Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions. - Adriana Carla Damasceno; Patrícia Duarte de Lima Machado; Wilkerson de Lucena Andrade; Wesley Nunes Marques Torres (ISORC, 2015)

Towards a test generation approach for compositional real-time systems. - Adriana Carla Damasceno (2015)

A multicriteria approach for selection of agile methodologies in software development projects. - Vanessa B. S. Silva; Fernando Schramm; Adriana Carla Damasceno (SMC, 2016)

Descrevendo o uso dos computadores nas escolas públicas da Paraíba. - Adriana Carla Damasceno; Mayrlla Lopes; Rafael Andrade 004; Silvana Nóbrega; Israel Almeida (Revista Brasileira de Informática na Educ., 2017)

Testing real-time systems from compositional symbolic specifications. - Adriana Carla Damasceno; Patrícia D. L. Machado; Wilkerson de L. Andrade (Int. J. Softw. Tools Technol. Transf., 2017)