A new article has been published on our blog!

It tells you everything about Back-to-Back Testing (B2BT), a process of automatic generation of tests based on modeling and formal methods, allowing to control compliance of software implementations.

In this article, we develop the principles of Back-to-Back Testing and test sequence generation. Then, we examine two cases of industrial use: a successful first collaboration with EDF and a project to design switch stations for trams.

Our entire article is available here.

Do not hesitate to leave a comment if this topic interests you. Enjoy reading!