Automated structural software testing of autonomous vehicles
Vânia de Oliveira Neves Márcio Eduardo Delamaro; Paulo Cesar Masiero; Ibero-American Conference on Software Engineering - CIBSE (20. 2017 Buenos Aires, Argentina)
CibSE Proceedings - SET - Software Engineering Track Buenos Aires, Argentina : UNLaM - Universidad Nacional de La Matanza, 2017
Buenos Aires, Argentina UNLaM - Universidad Nacional de La Matanza 2017
Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems
Carlos Diego Nascimento Damasceno Paulo Cesar Masiero; Adenilso da Silva Simão; Brazilian Symposium on Software Engineering - SBES 2016 (30. 2016 Maringá, Brazil)
Automatic allocation of safety requirements to components of a software product line
Andre L. de Oliveira (Andre Luiz de Oliveira) Yiannis Papadopoulos; Luís S Azevedo (Luís Pedro da Silva Azevedo); David Parker; Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Ibrahim Habli; Tim Kelly; IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes - SafeProcess 2015 (9. 2015 Paris, FR)
IFAC-PapersOnLine Paris, FR : IFAC/Elsevier v. 48, n. 21, p. 1309-1314, 2015
Testing of aspect-oriented programs difficulties and lessons learned based on theoretical and practical experience
Fabiano Cutigi Ferrari Bruno B. P Cafeo (Bruno Barbieri de Pontes Cafeo); Thiago G Levin (Thiago Gaspar Levin); Jésus T. S Lacerda (Jésus Thiago Sousa Lacerda); Otávio A. L Lemos (Otávio Augusto Lazzarini Lemos); José Carlos Maldonado; Paulo Cesar Masiero
Journal of the Brazilian Computer Society London : SpringerOpen v. 21, n. 20, p. 1-25, 2015
Supporting the automated generation of modular product line safety cases
Andre L. de Oliveira (Andre Luiz de Oliveira) Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly; International Conference on Dependability and Complex Systems DepCoS-RELCOMEX 2015 (10. 2015 Brunów, Poland)
Proceedings Cham, Switzerland : Springer International Publishing v. 365, p. 319-330, 2015
Cham, Switzerland Springer International Publishing 2015
Extending statecharts to model system interactions
Marcelo A Ramos (Marcelo Augusto Ramos) Paulo Cesar Masiero; Rosangela A. D Penteado (Rosangela Aparecida Dellosso Penteado); Rosana Teresinha Vaccare Braga
Journal of Software Engineering Research and Development Heidelberg : SpringerOpen v. 3, n. 12, p. 1-25, 2015