2020
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
Publication
Publication
This is a Maude implementation of concolic execution for a guarded commands language.
Additional Metadata | |
---|---|
Organisation | Computer Security |
de Boer, F.S, Johnsen, E.B, Schlatte, R, Tapia Tarifa, S.L, & Tveito, L. (2020). Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages.
|