Specification Based Regression Testing Using Explicit State Space Enumeration | IEEE Conference Publication | IEEE Xplore