Differences

This shows you the differences between two versions of the page.

--- tools [2013/12/13 12:11]
fabrizio
+++ tools [2014/04/03 11:24] (current)
fabrizio
@@ Line 40: / Line 40: @@
 [[http://www.lta.disco.unimib.it/tools/radar/|Click here for more information about RADAR]]
+====VART====
+Verification-Aided Regression Testing (VART) is a novel extension of regression testing that has a fault revealing capability that is significantly less sensitive to the completeness of the validation test suite due to the use of model checking.
+The key idea in VART is to extend the use of test case executions from the conventional direct fault discovery to the generation of behavioral properties specific to the upgrade, by: (1) automatically producing properties that are proved to hold for the base version of a program; (2) automatically identifying and checking on the upgraded program only the properties that, according to the developers’ intention, must be preserved by the upgrade; (3) reporting the faults and the corresponding counter-examples that are not revealed by the regression tests.
+[[http://www.lta.disco.unimib.it/tools/vart/|Click here for more information about VART]]