%0 Journal Article %1 journals/corr/abs-2305-05731 %A Judson, Samuel %A Elacqua, Matthew %A Córdoba, Filip Cano %A Antonopoulos, Timos %A Könighofer, Bettina %A Shapiro, Scott J. %A Piskac, Ruzica %D 2023 %J CoRR %K dblp %T 'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. %U http://dblp.uni-trier.de/db/journals/corr/corr2305.html#abs-2305-05731 %V abs/2305.05731

@article{journals/corr/abs-2305-05731, added-at = {2023-05-16T00:00:00.000+0200}, author = {Judson, Samuel and Elacqua, Matthew and Córdoba, Filip Cano and Antonopoulos, Timos and Könighofer, Bettina and Shapiro, Scott J. and Piskac, Ruzica}, biburl = {https://www.bibsonomy.org/bibtex/2da23939b3ce37667702c0dd6a5b114bc/dblp}, ee = {https://doi.org/10.48550/arXiv.2305.05731}, interhash = {b504621b62d542b538f262e579939f7f}, intrahash = {da23939b3ce37667702c0dd6a5b114bc}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:12:18.000+0200}, title = {'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2305.html#abs-2305-05731}, volume = {abs/2305.05731}, year = 2023 }