Using Explicit State Space Enumeration For Specification Based Regression Testing

Using Explicit State Space Enumeration For Specification Based Regression Testing

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 existing feature, it needs to be done as economically as possible. A particularly...

Full description

Bibliographic Details
Main Author: Chakrabarti, Sujit Kumar
Other Authors: Srikant, Y N
Language:en_US
Published: 2010
Subjects:
Computer Software - Testing And Measurement
Regression Analysis
Reactive Systems
Formal Software Specification
Application Programming Interface
Reactive Systems - Regression Testing
API Libraries - Regression Testing
State Space Model
State Variable
Test Sequence Computation
Graphmaker
Modest
State Space Explosion
Computer Science
Online Access:http://hdl.handle.net/2005/738

Internet

http://hdl.handle.net/2005/738

Similar Items