Jan Midtgaard, Anders Møller. QuickChecking static analysis properties. Softw. Test., Verif. Reliab., 27(6), 2017. [doi]
@article{MidtgaardM17, title = {QuickChecking static analysis properties}, author = {Jan Midtgaard and Anders Møller}, year = {2017}, doi = {10.1002/stvr.1640}, url = {https://doi.org/10.1002/stvr.1640}, researchr = {https://researchr.org/publication/MidtgaardM17}, cites = {0}, citedby = {0}, journal = {Softw. Test., Verif. Reliab.}, volume = {27}, number = {6}, }