Generating Regression Tests via Model Checking
(2004)
Presentation / Conference Contribution
Xu, L., Dias, M., & Richardson, D. J. (2004, September). Generating Regression Tests via Model Checking. Presented at 28th Annual International Computer Software and Applications Conference, Hong Kong
During software maintenance, regression testing is an expensive but critical activity to ensure that modified versions of the system do not "regress". As software evolves, chances are that not only the implementation changes, but that the specificati... Read More about Generating Regression Tests via Model Checking.