| 2007 |
|---|
| 5 | EE | Ana Maria Ambrosio,
Maria de Fátima Mattiello-Francisco,
Valdivino A. Santiago,
Wendell Pereira da Silva,
Eliane Martins:
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software.
LADC 2007: 170-178 |
| 4 | | Valdivino A. Santiago,
Maria de Fátima Mattiello-Francisco,
Ricardo Costa,
Wendell Pereira da Silva,
Ana Maria Ambrosio:
QSEE Project: An Experience in Outsourcing Software Development for Space Applications.
SEKE 2007: 51-56 |
| 2000 |
|---|
| 3 | EE | Eliane Martins,
Selma B. Sabião,
Ana Maria Ambrosio:
ConData: A Tool for Automating Specification-based Test Case Generation for Communication Systems.
HICSS 2000: 8012- |
| 1999 |
|---|
| 2 | | Ana Maria Ambrosio,
Luciana Seda C. Gonçalves,
Paulo Eduardo Cardoso:
An Experience in Testing an Object-Oriented Satellite Control System.
Software Quality Journal 8(4): 271-283 (1999) |
| 1 | | Eliane Martins,
Selma B. Sabião,
Ana Maria Ambrosio:
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems.
Software Quality Journal 8(4): 303-320 (1999) |
