Linking Unit Tests and Properties
Paper i proceeding, 2015
Författare
Alex Gerdes
Göteborgs universitet
John Hughes
Chalmers, Data- och informationsteknik, Programvaruteknik
Nicholas Smallbone
Chalmers, Data- och informationsteknik, Programvaruteknik
M. Wang
University Of Kent
Erlang Workshop, 2015-09-04, Vancouver
19-26 2804298
978-1-4503-3805-9 (ISBN)
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Programvaruteknik
DOI
10.1145/2804295.2804298
ISBN
978-1-4503-3805-9