most citedModelling of Autosar Libraries for Large Scale Testing

6 citations · 6 across the 1 of their papers we have counts for

collaborators

1 paper

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…