Martina Vitovská

According to our database, Martina Vitovská authored at least 7 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Symbiotic 6: generating test cases by slicing and symbolic execution.

Marek Chalupa, Martina Vitovská, Tomás Jasek, Michael Simácek, Jan Strejcek

Int. J. Softw. Tools Technol. Transf., 2021

2020

Joint forces for memory safety checking revisited.

Marek Chalupa, Jan Strejcek, Martina Vitovská

Int. J. Softw. Tools Technol. Transf., 2020

2018

SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode.

Martina Vitovská, Marek Chalupa, Jan Strejcek

CoRR, 2018

SYMBIOTIC 5: Boosted Instrumentation - (Competition Contribution).

Marek Chalupa, Martina Vitovská, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Joint Forces for Memory Safety Checking.

Marek Chalupa, Jan Strejcek, Martina Vitovská

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2017

Symbiotic 4: Beyond Reachability - (Competition Contribution).

Marek Chalupa, Martina Vitovská, Martin Jonás, Jiri Slaby, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution).

Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016