Path Directed Symbolic Execution in the K Framework.

Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu

Browse the full SYNASC paper archive.