search result

Cover von Concolic Execution for WebAssembly

Concolic Execution for WebAssembly

Year: 2022
Media group: LIPIcs
Cover von Vardalith

Vardalith

Hybrid Detection of Persistent Memory Concurrency Bugs
Year: 2026
Media group: LIPIcs
Cover von The Seesaw Algorithm

The Seesaw Algorithm

Function Optimization Using Implicit Hitting Sets
Year: 2021
Media group: LIPIcs
Cover von A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

Year: 2020
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