BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Slaby:Jiri

Contributed to:

TACAS 20142014
TACAS 20132013
VMCAI 20132013

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.