Asserting Functional Equivalence Between C Code and SCADE Models in Code-to-Model Transformations
Jan Toennemann, Adina Aniculaesei, Andreas Rausch
Contributions to Improve the Combined Selection of Concurrent Software Testing Techniques
Italo Santos, Andre Baconcelo P. Furlanetti, Silvana M. Melo, Paulo Sergio Lopes de Souza, Márcio E. Delamaro, Simone R. S. Souza
OggyBug: A Test Automation Tool in Chatbots
Marcio B. dos Santos, Diogo D. Moreira, Sidney C. Nogueira, Ana Paula C. C. Furtado