http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM12Kaestner 2026-04-05T20:58:41Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M12Kaestner&diff=835&oldid=prev 2013-05-29T21:05:47Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 23:05, 29 May 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>''Variability-<del style="font-weight: bold; text-decoration: none;">aware </del>Test Execution'' by Christian Kaestner</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>''Variability-<ins style="font-weight: bold; text-decoration: none;">Aware </ins>Test Execution'' by Christian Kaestner</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>We investigate how to execute a unit test in all configurations of a configurable system, without running it in every configuration in isolation in a brute-force fashion. Learning from variability-aware analyses and symbolic execution, we sketch a variability-aware interpreter to simulate the test cases with a model checker. We discuss early results, possible adoption strategies, and open questions.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>We investigate how to execute a unit test in all configurations of a configurable system, without running it in every configuration in isolation in a brute-force fashion. Learning from variability-aware analyses and symbolic execution, we sketch a variability-aware interpreter to simulate the test cases with a model checker. We discuss early results, possible adoption strategies, and open questions.</div></td></tr> </table>

Ups http://mw.hh.se/wg211/index.php?title=WG211/M12Kaestner&diff=834&oldid=prev 2013-05-29T21:05:22Z

<p>Created page with &quot;&#039;&#039;Variability-aware Test Execution&#039;&#039; by Christian Kaestner We investigate how to execute a unit test in all configurations of a configurable system, without running it in every ...&quot;</p> <p><b>New page</b></p><div>&#039;&#039;Variability-aware Test Execution&#039;&#039; by Christian Kaestner<br /> <br /> We investigate how to execute a unit test in all configurations of a configurable system, without running it in every configuration in isolation in a brute-force fashion. Learning from variability-aware analyses and symbolic execution, we sketch a variability-aware interpreter to simulate the test cases with a model checker. We discuss early results, possible adoption strategies, and open questions.</div>

Ups