Delamaro, Márcio Eduardo
Results: Displaying 10 of 21 on page 2 of 3
Name
Title
Area
Document
Colleges
Year
Structural coverage analysis of test sets derived from formal specifications: a comparative...
Mutation test: elements for reducing the cost
Quality evaluation of test oracles using mutation
On test oracles for Simulink-like models
Automated structural software testing of autonomous vehicle to support field tes...
Test orales for systems with complex outputs: the case of TTS systems
Support for automated test oracles for programs with graphical interfaces
An approach for representing formal results in the UML
A contribution to the automation of testing activity for virtual reality systems
An approach for test data generation in mutation testing using seacrh-based tech...
Results: Displaying 10 of 21 on page 2 of 3