Sökning: "Agata Jonas"
Hittade 1 uppsats innehållade orden Agata Jonas.
1. AGATA - Random generation of test data
Magister-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : Agata Generates Algebraic Types Automatically. The generated data can be used to perform property based testing with the Haskell testing framework QuickCheck, or the alternative framework SmallCheck. Unlike regular QuickCheck generators, Agata generators are mechanically derivable from the definition of an algebraic data type. LÄS MER
Resultatsidor:
1