@inproceedings(AH-ICST2016,
 author       = {T. Arts and J. Hughes},
 year         = {2016},
 title        = {How Well are Your Requirements Tested?},
 booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification and Validation},
 pages        = {244--254},
 doi          = {10.1109/ICST.2016.23},
)
@inproceedings(Arts+2006,
 author       = {T. Arts and J. Hughes and J. Johansson and U. Wiger},
 year         = {2006},
 title        = {Testing telecoms software with {QuviQ} {QuickCheck}},
 booktitle    = {Proceedings of ERLANG'06},
 publisher    = {ACM},
 pages        = {2--10},
 doi          = {10.1145/1159789.1159792},
)
@inproceedings(ArtsHNS15,
 author       = {T. Arts and J. Hughes and U. Norell and H. Svensson},
 year         = {2015},
 title        = {Testing {AUTOSAR} software with QuickCheck},
 booktitle    = {Eighth {IEEE} International Conference on Software Testing, Verification and Validation Workshops},
 pages        = {1--4},
 doi          = {10.1109/ICSTW.2015.7107466},
)
@inproceedings(AUTOCAASWASA15,
 author       = {T. Arts and M.R. Mousavi},
 year         = {2015},
 title        = {Automatic Consequence Analysis of Automotive Standards ({AUTO-CAAS})},
 booktitle    = {First International Workshop on Automotive Software Architectures ({WASA} 2015)},
 publisher    = {ACM Press},
 pages        = {35--38},
 doi          = {10.1145/2752489.2752495},
)
@misc(Autosar,
 author       = {{AUTOSAR Consortium}},
 year         = {2013},
 title        = {AUTomotive Open System ARchitecture, standard documents},
 howpublished = {\url{https://autosar.org/}},
)
@misc(Autosar-ATS,
 author       = {{AUTOSAR Consortium}},
 year         = {2014},
 title        = {{Acceptance Test Specification of Communication on CAN bus -- Release 1.0.0}},
)
@book(CesariniThompson2009,
 author       = {F. Cesarini and S. Thompson},
 year         = {2009},
 title        = {Erlang Programming},
 publisher    = {O'Reilly},
)
@inproceedings(Hughes2007,
 author       = {J. Hughes},
 year         = {2007},
 title        = {{QuickCheck} testing for fun and profit},
 booktitle    = {Proceedings of PADL'07},
 publisher    = {Springer},
 pages        = {1--32},
 doi          = {10.1007/978-3-540-69611-7_1},
)
@inproceedings(WASA16,
 author       = {S. Kunze and W. Mostowski and M.R. Mousavi and M. Varshosaz},
 year         = {2016},
 title        = {Generation of Failure Models through Automata Learning},
 booktitle    = {Second International Workshop on Automotive Software Architectures ({WASA} 2016)},
 publisher    = {IEEE Society},
 pages        = {22--25},
 doi          = {10.1109/WASA.2016.7},
)
@incollection(MockingPaper,
 author       = {J. Svenningsson and H. Svensson and N. Smallbone and T. Arts and U. Norell and J. Hughes},
 year         = {2014},
 title        = {An Expressive Semantics of Mocking},
 booktitle    = {Fundamental Approaches to Software Engineering},
 series       = {LNCS},
 volume       = {8411},
 publisher    = {Springer},
 pages        = {385--399},
 doi          = {10.1007/978-3-642-54804-8_27},
)
@inproceedings(Tretmans11,
 author       = {J. Tretmans},
 year         = {2011},
 title        = {Model-Based Testing and Some Steps towards Test-Based Modelling},
 booktitle    = {Formal Methods for Eternal Networked Software Systems},
 series       = {LNCS},
 volume       = {6659},
 publisher    = {Springer},
 pages        = {297--326},
 doi          = {10.1007/978-3-642-21455-4_9},
)