Browsing Computer Science and Automation (CSA) by Subject "Formal Software Specification"
Now showing items 1-1 of 1
-
Using Explicit State Space Enumeration For Specification Based Regression Testing
(2010-07-08)Regression testing of an evolving software system may involve significant challenges. While, there would be a requirement of maximising the probability of finding out if the latest changes to the system has broken some ...