<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet type="text/xsl" href="../assets/xml/rss.xsl" media="all"?><rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>The Blog (Posts by Anaïs Guignard)</title><link>https://blog.systerel.fr/</link><description>Anaïs is a railway system engineer at Systerel.</description><atom:link href="https://blog.systerel.fr/authors/anais-guignard.xml" rel="self" type="application/rss+xml"></atom:link><language>en</language><copyright>Contents © 2026 &lt;a href="mailto:contact@systerel.fr"&gt;Systerel&lt;/a&gt; </copyright><lastBuildDate>Thu, 09 Apr 2026 12:39:51 GMT</lastBuildDate><generator>Nikola (getnikola.com)</generator><docs>http://blogs.law.harvard.edu/tech/rss</docs><item><title>Back-to-back Testing</title><link>https://blog.systerel.fr/posts/2022-11/back-to-back-testing/</link><dc:creator>Anaïs Guignard, Julien Niguez, Nicolas Breton, Vincent Pouzol</dc:creator><description>&lt;div&gt;&lt;img alt="Back-to-back zebras" class="float-right" src="https://blog.systerel.fr/images/b2bt/zebrasbacktoback.png" style="width: 240px;"&gt;
&lt;p&gt;Back-to-back testing (B2BT) techniques are used to verify that
two products of a software development process are
equivalent. By running the two products "back to back"
on a set of test cases, it is verified that they produce
the same output. If the scenarios are chosen carefully
and the two runs produce the same results, it can be
inferred that the two products are equivalent with some
level of confidence.&lt;/p&gt;
&lt;p&gt;&lt;a href="https://blog.systerel.fr/posts/2022-11/back-to-back-testing/"&gt;Read more…&lt;/a&gt; (24 min remaining to read)&lt;/p&gt;&lt;/div&gt;</description><category>b2bt</category><category>formel</category><category>s3</category><category>validation</category><category>vérification</category><guid>https://blog.systerel.fr/posts/2022-11/back-to-back-testing/</guid><pubDate>Tue, 08 Nov 2022 10:21:44 GMT</pubDate></item></channel></rss>