Martina Vitovská

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 7

Top Topics

Symbolic Execution

Video Sequences

International Competition

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Marek Chalupa, Martina Vitovská, Tomás Jasek, Michael Simácek, Jan Strejcek
Symbiotic 6: generating test cases by slicing and symbolic execution. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Marek Chalupa, Jan Strejcek, Martina Vitovská
Joint forces for memory safety checking revisited. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Marek Chalupa, Martina Vitovská, Jan Strejcek
SYMBIOTIC 5: Boosted Instrumentation - (Competition Contribution). TACAS (2) (2018)
Martina Vitovská, Marek Chalupa, Jan Strejcek
SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode. CoRR (2018)
Marek Chalupa, Jan Strejcek, Martina Vitovská
Joint Forces for Memory Safety Checking. SPIN (2018)
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)