Login / Signup
Tomás Jasek
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 3
Top Topics
Metadata
Specification Language
Symbolic Execution
Data Flow
Top Venues
TACAS (2)
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>
Marek Chalupa
,
Tomás Jasek
,
Jakub Novák
,
Anna Rechtácková
,
Veronika Soková
,
Jan Strejcek
Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution).
TACAS (2)
(2021)
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
,
Tomás Jasek
,
Lukás Tomovic
,
Martin Hruska
,
Veronika Soková
,
Paulína Ayaziová
,
Jan Strejcek
,
Tomás Vojnar
Symbiotic 7: Integration of Predator and More - (Competition Contribution).
TACAS (2)
(2020)