Jiri Slaby

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 2

Top Topics

Symbolic Execution

Static Analysis

Test Data Generation

Top Venues

Publications

Marek Chalupa, Martina Vitovská, Martin Jonás, Jiri Slaby, Jan Strejcek
Symbiotic 4: Beyond Reachability - (Competition Contribution). TACAS (2) (2017)
Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská
Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution). TACAS (2016)
Jiri Slaby, Jan Strejcek
Symbiotic 2: More Precise Slicing - (Competition Contribution). TACAS (2014)
Jiri Slaby, Jan Strejcek, Marek Trtík
Compact Symbolic Execution. ATVA (2013)
Jiri Slaby, Jan Strejcek, Marek Trtík
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). TACAS (2013)
Jiri Slaby, Jan Strejcek, Marek Trtík
ClabureDB: Classified Bug-Reports Database. VMCAI (2013)
Jiri Slaby, Jan Strejcek, Marek Trtík
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. FMICS (2012)
Jiri Slaby, Jan Strejcek, Marek Trtík
On Synergy of Metal, Slicing, and Symbolic Execution CoRR (2012)
Jan Obdrzálek, Jiri Slaby, Marek Trtík
STANSE: Bug-finding Framework for C Programs CoRR (2012)
Jan Obdrzálek, Jiri Slaby, Marek Trtík
STANSE: Bug-Finding Framework for C Programs. MEMICS (2011)
Jaroslav Skrabalek, Lucia Tokárová, Jiri Slaby, Tomás Pitner
Integrated Approach in Management and Design of Modern Web-Based Services. ISD (2010)
Jaroslav Skrabalek, Tomás Ludík, Jiri Slaby, Tomás Pitner
Web-Based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace". SYNASC (2010)