iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/305/0841.bib
@article{DBLP:journals/pacmpl/AstorgaSDWMX21, author = {Angello Astorga and Shambwaditya Saha and Ahmad Dinkins and Felicia Wang and P. Madhusudan and Tao Xie}, title = {Synthesizing contracts correct modulo a test generator}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{OOPSLA}}, pages = {1--27}, year = {2021}, url = {https://doi.org/10.1145/3485481}, doi = {10.1145/3485481}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/AstorgaSDWMX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }