<?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 about vérification)</title><link>https://blog.systerel.fr/</link><description></description><atom:link href="https://blog.systerel.fr/tags/verification.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>Mon, 15 Jun 2026 14:33:50 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>