Ji\v{r}\'i Slab\'y

Identifiers

• name variant Ji\v{r}\'i Slab\'y 0.60 · backfill

Papers (3)

1. STANSE: Bug-finding Framework for C Programs cs.SE · 2012 · author #2
2. On Synergy of Metal, Slicing, and Symbolic Execution cs.PL · 2012 · author #1
3. Compact Symbolic Execution cs.PL · 2012 · author #1

Mentions

• 1202.0788 #2 · backfill · confidence 0.70 Ji\v{r}\'i Slab\'y
• 1201.4719 #1 · backfill · confidence 0.70 Ji\v{r}\'i Slab\'y
• 1201.4715 #1 · backfill · confidence 0.70 Ji\v{r}\'i Slab\'y

Frequent Coauthors

• Marek Trt\'ik 3 shared papers
• Jan Strej\v{c}ek 2 shared papers
• Jan Obdr\v{z}\'alek 1 shared papers