Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- articleAugust 2015
Using mutation to assess fault detection capability of model review
Software Testing, Verification & Reliability (STVR), Volume 25, Issue 5-7Pages 629–652https://doi.org/10.1002/stvr.1530Among validation techniques, model review is a static analysis approach that can be performed at the early stages of software development, at the specification level, and aims at determining if a model owns certain quality attributes like completeness, ...
- articleAugust 2014
Automatic testing of GUI-based applications
Software Testing, Verification & Reliability (STVR), Volume 24, Issue 5Pages 341–366https://doi.org/10.1002/stvr.1538Testing GUI-based applications is hard and time consuming because it requires exploring a potentially huge execution space by interacting with the graphical interface of the applications. Manual testing can cover only a small subset of the functionality ...
- articleAugust 2014
Automatic test case evolution
Software Testing, Verification & Reliability (STVR), Volume 24, Issue 5Pages 386–411https://doi.org/10.1002/stvr.1527Software systems evolve incrementally both during and after development, and many test cases become obsolete while software evolves. Updating test suites in the context of software evolution is a complex and time consuming activity. This article focuses ...
