%0 Conference Paper %1 conf/fase/MisonizhnikMKKBMI24 %A Misonizhnik, Aleksandr %A Morozov, Sergey %A Kostyukov, Yurii %A Kalugin, Vladislav %A Babushkin, Aleksei %A Mordvinov, Dmitry %A Ivanov, Dmitry %B FASE %D 2024 %E Beyer, Dirk %E Cavalcanti, Ana %I Springer %K dblp %P 314-319 %T KLEEF: Symbolic Execution Engine (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/fase/fase2024.html#MisonizhnikMKKBMI24 %V 14573 %@ 978-3-031-57259-3

@inproceedings{conf/fase/MisonizhnikMKKBMI24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Misonizhnik, Aleksandr and Morozov, Sergey and Kostyukov, Yurii and Kalugin, Vladislav and Babushkin, Aleksei and Mordvinov, Dmitry and Ivanov, Dmitry}, biburl = {https://www.bibsonomy.org/bibtex/26fabc2bc6bfcb977a94fc401abab8d1a/dblp}, booktitle = {FASE}, crossref = {conf/fase/2024}, editor = {Beyer, Dirk and Cavalcanti, Ana}, ee = {https://doi.org/10.1007/978-3-031-57259-3_18}, interhash = {8c3515bcfdea11b3a42b8cced9da389b}, intrahash = {6fabc2bc6bfcb977a94fc401abab8d1a}, isbn = {978-3-031-57259-3}, keywords = {dblp}, pages = {314-319}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:45.000+0200}, title = {KLEEF: Symbolic Execution Engine (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2024.html#MisonizhnikMKKBMI24}, volume = 14573, year = 2024 }