%0 Journal Article %1 journals/sigsoft/KauslerS14 %A Kausler, Scott %A Sherman, Elena %D 2014 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 1 %P 1-5 %T User-defined backtracking criteria for symbolic execution. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft39.html#KauslerS14 %V 39

@article{journals/sigsoft/KauslerS14, added-at = {2021-10-14T00:00:00.000+0200}, author = {Kausler, Scott and Sherman, Elena}, biburl = {https://www.bibsonomy.org/bibtex/2272a7f3401db1613474ef851c917bc1d/dblp}, ee = {https://doi.org/10.1145/2557833.2560578}, interhash = {ed8b5b714e8f6ef1f8000f65daf9a208}, intrahash = {272a7f3401db1613474ef851c917bc1d}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 1, pages = {1-5}, timestamp = {2024-04-08T18:56:37.000+0200}, title = {User-defined backtracking criteria for symbolic execution.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft39.html#KauslerS14}, volume = 39, year = 2014 }