6 citations · 7 across the 3 of their papers we have counts for
1 paper · 2 filters
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…