Automatic test amplification for executable models

Conference Object

Abstract: Behavioral models are important assets that must be thoroughly verified early in the design process.

Palabras claves:

executable DSL, executable model, Regression testing, test amplification

Autores:

Bousse E., Canizares P.C., Gómez-Abajo P., Guerra E., Juan De Lara, Khorram F., Mottu J.M., Sunyé G.

Fuentes:

scopus