QuickChecking static analysis properties

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

Authors

Jan Midtgaard

This author has not been identified. Look up 'Jan Midtgaard' in Google

Anders Møller

This author has not been identified. Look up 'Anders Møller' in Google