SymPaths: Symbolic Execution Meets Partial Order Reduction

Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa, Lars Tveito. SymPaths: Symbolic Execution Meets Partial Order Reduction. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, editors, Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Volume 12345 of Lecture Notes in Computer Science, pages 313-338, Springer, 2020. [doi]

Authors

Frank S. de Boer

This author has not been identified. It may be one of the following persons: Look up 'Frank S. de Boer' in Google

Marcello M. Bonsangue

This author has not been identified. Look up 'Marcello M. Bonsangue' in Google

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google

Violet Ka I Pun

This author has not been identified. Look up 'Violet Ka I Pun' in Google

Silvia Lizeth Tapia Tarifa

This author has not been identified. Look up 'Silvia Lizeth Tapia Tarifa' in Google

Lars Tveito

This author has not been identified. Look up 'Lars Tveito' in Google