search result

Cover von Computationally Complete Symbolic Attacker in Action

Computationally Complete Symbolic Attacker in Action

Year: 2012
Media group: ARTICLE
Cover von Concolic Execution for WebAssembly

Concolic Execution for WebAssembly

Year: 2022
Media group: LIPIcs
Cover von Toward Tool-Independent Summaries for Symbolic Execution

Toward Tool-Independent Summaries for Symbolic Execution

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0