Publications
Export 27 results:
Author [ Title![(Desc)](https://verify2022.inf.usi.ch/sites/all/modules/biblio/misc/arrow-desc.png)
Filters: Author is Grigory Fedyukovich [Clear All Filters]
Transition Power Abstractions for Deep Counterexample Detection,
, TACAS, (2022)
Verification-Aided Regression Testing,
, ISSTA, 06/2014, (2014)