Publication Details

Symbiotic 7: Integration of Predator and More (Competition Contribution)

AYAZIOVÁ Paulína, HRUŠKA Martin, CHALUPA Marek, JAŠEK Tomáš, STREJČEK Jan, ŠOKOVÁ Veronika, TOMOVIČ Lukáš and VOJNAR Tomáš. Symbiotic 7: Integration of Predator and More (Competition Contribution). In: Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science, vol. 12079. Cham: Springer International Publishing, 2020, pp. 413-417. ISBN 978-3-030-45236-0.
Czech title
Symbiotic 7: Integrace nástroje Predator a více (příspěvek do soutěže)
Type
conference paper
Language
english
Authors
Ayaziová Paulína (FI MUNI)
Hruška Martin, Ing. (DITS FIT BUT)
Chalupa Marek, RNDr. (FI MUNI)
Jašek Tomáš, Bc. (FI MUNI)
Strejček Jan, doc. RNDr., Ph.D. (FI MUNI)
Šoková Veronika, Ing. (DITS FIT BUT)
Tomovič Lukáš, Mgr. (FI MUNI)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Keywords

Symbiotic, Predator, slicing, symbolic execution, symbolic memory graphs, Klee, static analysis

Published
2020
Pages
413-417
Proceedings
Proceedings of TACAS 2020 (2)
Series
Lecture Notes in Computer Science
Volume
12079
Conference
European Joint Conferences on Theory and Practice of Software -- ETAPS'20 (TACAS'20), Dublin, IE
ISBN
978-3-030-45236-0
Publisher
Springer International Publishing
Place
Cham, CH
DOI
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB12199,
   author = "Paul\'{i}na Ayaziov\'{a} and Martin Hru\v{s}ka and Marek Chalupa and Tom\'{a}\v{s} Ja\v{s}ek and Jan Strej\v{c}ek and Veronika \v{S}okov\'{a} and Luk\'{a}\v{s} Tomovi\v{c} and Tom\'{a}\v{s} Vojnar",
   title = "Symbiotic 7: Integration of Predator and More (Competition Contribution)",
   pages = "413--417",
   booktitle = "Proceedings of TACAS 2020 (2)",
   series = "Lecture Notes in Computer Science",
   volume = 12079,
   year = 2020,
   location = "Cham, CH",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-45236-0",
   doi = "10.1007/978-3-030-45237-7\_31",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12199"
}
Back to top