Alexandre Mayor

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Software Testing

Formal Language

White Box Testing

Quality Assurance

Top Venues

Publications

Pablo Fernandez Carmona, Michael Eichin, Alexandre Mayor, Harald Regele, Martin Grossmann, Damien Charles Weber
Significant acceleration of development by automating quality assurance of a medical particle accelerator safety system using a formal language driven test stand. CoRR (2018)