Linking Unit Tests and Properties
Paper in proceedings, 2015
Author
Alex Gerdes
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
John Hughes
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Nicholas Smallbone
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
M. Wang
University Of Kent
Erlang Workshop, 2015-09-04, Vancouver
19-26 2804298
Areas of Advance
Information and Communication Technology
Subject Categories
Software Engineering
DOI
10.1145/2804295.2804298
ISBN
978-1-4503-3805-9