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...