Author of the publication

Designing Fault Injection Experiments Using State-Based Model to Test a Space Software.

, , , , and . LADC, volume 4746 of Lecture Notes in Computer Science, page 170-178. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Application of Concurrent Engineering for G.O.L.D.S Constellation as a Cyber-Physical System-of-Systems., , , , , and . LADC, page 99-108. ACM, (2022)Uso da ferramenta de testes fSofist na validação de uma aplicação espacial., , and . JIISIC, page 179-188. (2002)QSEE Project: An Experience in Outsourcing Software Development for Space Applications., , , , and . SEKE, page 51-56. Knowledge Systems Institute Graduate School, (2007)On the use of a failure emulator mechanism at nanosatellite subsystems integration tests., , and . LATS, page 1-6. IEEE, (2018)InRob: An approach for testing interoperability and robustness of real-time embedded software., , , and . J. Syst. Softw., 85 (1): 3-15 (2012)A Tool for Fault Injection and Conformance Testing of Distributed Systems., and . LADC, volume 2847 of Lecture Notes in Computer Science, page 282-302. Springer, (2003)Verificação e Validação na terceirização de software embarcado em aplicações espaciais., , , , and . SBQS, page 367-374. SBC, (2006)Robustness Testing of Satellite Attitude and Orbit Control Systems: A Proposal Guided by Two Model Based Testing Methodologies., , and . SBESC, page 159-160. IEEE Computer Society, (2013)A Practical Approach for Automated Test Case Generation using Statecharts., , , , , and . COMPSAC (2), page 183-188. IEEE Computer Society, (2006)0-7695-2655-1.Designing Fault Injection Experiments Using State-Based Model to Test a Space Software., , , , and . LADC, volume 4746 of Lecture Notes in Computer Science, page 170-178. Springer, (2007)