Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
> Publications > DyTa: Dynamic Symbolic Execution Guided with Static Verification Results