PVAIR: Partial Variable Assignment InterpolatoR

Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina. PVAIR: Partial Variable Assignment InterpolatoR. In Perdita Stevens, Andrzej Wasowski, editors, Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Volume 9633 of Lecture Notes in Computer Science, pages 419-434, Springer, 2016. [doi]

Authors

Pavel Jancík

This author has not been identified. Look up 'Pavel Jancík' in Google

Leonardo Alt

This author has not been identified. Look up 'Leonardo Alt' in Google

Grigory Fedyukovich

This author has not been identified. Look up 'Grigory Fedyukovich' in Google

Antti E. J. Hyvärinen

This author has not been identified. Look up 'Antti E. J. Hyvärinen' in Google

Jan Kofron

This author has not been identified. Look up 'Jan Kofron' in Google

Natasha Sharygina

This author has not been identified. Look up 'Natasha Sharygina' in Google