%0 Conference Paper %1 conf/fase/DuttaMJGY24 %A Dutta, Arpita %A Maghareh, Rasool %A Jaffar, Joxan %A Godboley, Sangharatna %A Yu, Xiao Liang %B FASE %D 2024 %E Beyer, Dirk %E Cavalcanti, Ana %I Springer %K dblp %P 320-325 %T TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/fase/fase2024.html#DuttaMJGY24 %V 14573 %@ 978-3-031-57259-3

@inproceedings{conf/fase/DuttaMJGY24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Dutta, Arpita and Maghareh, Rasool and Jaffar, Joxan and Godboley, Sangharatna and Yu, Xiao Liang}, biburl = {https://www.bibsonomy.org/bibtex/2db88bc6bfcef085f739b4e8df65ff8fa/dblp}, booktitle = {FASE}, crossref = {conf/fase/2024}, editor = {Beyer, Dirk and Cavalcanti, Ana}, ee = {https://doi.org/10.1007/978-3-031-57259-3_19}, interhash = {e8ee18b3fa1f44b1d0d165c66d5fe796}, intrahash = {db88bc6bfcef085f739b4e8df65ff8fa}, isbn = {978-3-031-57259-3}, keywords = {dblp}, pages = {320-325}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:45.000+0200}, title = {TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2024.html#DuttaMJGY24}, volume = 14573, year = 2024 }