Verification-aided regression testing

Fabrizio Pastore, Leonardo Mariani, Antti E.J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    19 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Verification-aided regression testing'. Together they form a unique fingerprint.

    Computer Science

    INIS

    Keyphrases