Branching Processes for QuickCheck Generators
Artikel i vetenskaplig tidskrift, 2018
Branching process
Testing
Haskell
QuickCheck
Författare
Claudio Agustin Mista
Universidad Nacional de Rosario
Alejandro Russo
Chalmers, Data- och informationsteknik, Informationssäkerhet
John Hughes
Chalmers, Data- och informationsteknik, Funktionell programmering
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell
Vol. 53 7 1-13
Ämneskategorier
Datorteknik
Datavetenskap (datalogi)
Datorsystem
Styrkeområden
Informations- och kommunikationsteknik
DOI
10.1145/3242744.3242747
ISBN
9781450358354