Linking Unit Tests and Properties
Paper in proceeding, 2015
Author
Alex Gerdes
University of Gothenburg
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
978-1-4503-3805-9 (ISBN)
Areas of Advance
Information and Communication Technology
Subject Categories
Software Engineering
DOI
10.1145/2804295.2804298
ISBN
978-1-4503-3805-9