Verification-aided regression testing
- Fabrizio Pastore
- , Leonardo Mariani
- , Antti E.J. Hyvärinen
- , Grigory Fedyukovich
- , Natasha Sharygina
- , Stephan Sehestedt
- , Ali Muhammad
- University of Milano-Bicocca
- University of Lugano
- ABB Group
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
22
Link opens in a new tab
Citations
(Scopus)