Nikson Bernardes Fernandes Ferreira

According to our database, Nikson Bernardes Fernandes Ferreira authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Comparing LLMs in business rule-following.

Nikson Bernardes Fernandes Ferreira, William do Vale Cavalcante Freitas, Hallyson Luiz de Morais Melo, André Carvalho, Thiago Borges, Rodrigo Marques

Proceedings of the 28th Ibero-American Conference on Software Engineering, 2025

2024

Reusable Testing Actions on Test Case Automation for Mobile Devices.

William do Vale Cavalcante Freitas, Nikson Bernardes Fernandes Ferreira, Hermino Barbosa de Freitas, Arthur Binda Alves, Gabriel Joseph Ramos Rafael, Hallyson Luiz de Morais Melo, Bonifácio Leite de Oliveira, André Carvalho

Proceedings of the XXIII Brazilian Symposium on Software Quality, 2024

2023

A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts.

Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón

Proceedings of the Formal Methods in Computer-Aided Design, 2023