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…