Nikson Bernardes Fernandes Ferreira

Orcid: 0000-0003-4249-7599

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
ARTeMIS: Agent-based Rewriting and Test Case Management with Intelligent Supervision.
Proceedings of the 24th Brazilian Symposium on Software Quality, 2025

Automated Generation of Exploratory Test Cases Using Prompt Chaining and Reflective Evaluation.
Proceedings of the 39th Brazilian Symposium on Software Engineering, 2025

Using Large Language Models to Classify Test Case Complexity with Explainability.
Proceedings of the 39th Brazilian Symposium on Software Engineering, 2025

Comparing LLMs in business rule-following.
Proceedings of the 28th Ibero-American Conference on Software Engineering, 2025

2024
Reusable Testing Actions on Test Case Automation for Mobile Devices.
Proceedings of the XXIII Brazilian Symposium on Software Quality, 2024

2023
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts.
Proceedings of the Formal Methods in Computer-Aided Design, 2023


  Loading...