Powered by
14th ACM SIGPLAN Erlang Workshop (Erlang 2015),
September 4, 2015,
Vancouver, BC, Canada
Linking Unit Tests and Properties
Alex Gerdes, John Hughes, Nick Smallbone, and Meng Wang
(QuviQ, Sweden; Chalmers University of Technology, Sweden; University of Kent, UK)
proc time: 0.68