Michael Foster Roland Groz; Catherine Oriat; Adenilso da Silva Simão; Germán Vega; Neil Walkinshaw; International Conference on Formal Engineering Methods - ICFEM (24. 2023 Brisbane, Austrália)
Lecture Notes in Computer Science - LNCS Singapura : Springer v. 14308, p. 29-46, 2023
Learning to reuse adaptive model learning for evolving systems
Carlos Diego Nascimento Damasceno Mohammad Reza Mousavi; Adenilso da Silva Simão; International Conference on Integrated Formal Methods - IFM (15. 2019 Bergen, Noruega)
Lecture Notes in Computer Science - LNCS Cham : Springer v. 11918, p. 138-156, 2019
Roland Groz Adenilso da Silva Simão; Catherine Oriat; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)
Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 326-332, 2017
Generating checking sequences for user defined fault models
Alexandre Petrenko Adenilso da Silva Simão; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)
Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 320-325, 2017