Travelled to:1 × France
2 × Italy
Collaborated with:J.Strejcek M.Trtík
Talks about:contribut (2) competit (2) symbiot (2) slice (2) instrument (1) classifi (1) synergi (1) databas (1) symbol (1) report (1)
Person: Jiri Slaby
DBLP: Slaby:Jiri
Contributed to:
20142013
2013Wrote 3 papers:
- TACAS-2014-SlabyS #contest #precise #slicing
- Symbiotic 2: More Precise Slicing — (Competition Contribution) (JS, JS), pp. 415–417.
- TACAS-2013-SlabyST #contest #execution #named #slicing #symbolic computation
- Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
- VMCAI-2013-SlabyST #classification #database #named
- ClabureDB: Classified Bug-Reports Database (JS, JS, MT), pp. 268–274.