You are here

Publications

Export 27 results:

BibTeX

Filters: Author is Grigory Fedyukovich [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

T

Transition Power Abstractions for Deep Counterexample Detection, Blicha, Martin, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , TACAS, (2022)

V

Verification-Aided Regression Testing, Pastore, F., Mariani L., Hyvärinen Antti E. J., Fedyukovich Grigory, Sharygina Natasha, Sehestedt S., and Muhammad A. , ISSTA, 06/2014, (2014)

Pages