QuickChecking static analysis properties

Jan Midtgaard, Anders Møller. QuickChecking static analysis properties. Softw. Test., Verif. Reliab., 27(6), 2017. [doi]

Abstract

Abstract is missing.