13 citations · 35 across the 6 of their papers we have counts for
1 paper · 1 filter
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…