6 citations · 7 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2018
Branching Processes for QuickCheck Generators
Agustín Mista, Alejandro Russo, John Hughes
In QuickCheck (or, more generally, random testing), it is challenging to control random data generators' distributions---specially when it comes to user-defined algebraic data type…
cs.SE2017★ 6 cited
Modelling of Autosar Libraries for Large Scale Testing
Wojciech Mostowski, Thomas Arts, John Hughes
We demonstrate a specific method and technology for model-based testing of large software projects with the QuickCheck tool using property-based specifications. Our specifications…