%0 Conference Paper %1 conf/sefm/MuesHD22 %A Mues, Malte %A Howar, Falk %A Dierl, Simon %B SEFM %D 2022 %E Schlingloff, Bernd-Holger %E Chai, Ming %I Springer %K dblp %P 91-107 %T SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2022.html#MuesHD22 %V 13550 %@ 978-3-031-17108-6

@inproceedings{conf/sefm/MuesHD22, added-at = {2022-10-18T00:00:00.000+0200}, author = {Mues, Malte and Howar, Falk and Dierl, Simon}, biburl = {https://www.bibsonomy.org/bibtex/2a42e37cbf4bd524e24b144831588c45e/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2022}, editor = {Schlingloff, Bernd-Holger and Chai, Ming}, ee = {https://doi.org/10.1007/978-3-031-17108-6_6}, interhash = {19a0a79412b7f6c4e9004da325338328}, intrahash = {a42e37cbf4bd524e24b144831588c45e}, isbn = {978-3-031-17108-6}, keywords = {dblp}, pages = {91-107}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:06.000+0200}, title = {SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2022.html#MuesHD22}, volume = 13550, year = 2022 }