Sciweavers

3547 search results - page 131 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
AC
2000
Springer
15 years 6 months ago
Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self
Marcos A. Kiwi, Frédéric Magniez, Mi...
KBSE
2008
IEEE
16 years 1 months ago
VCR: Virtual Capture and Replay for Performance Testing
This paper proposes a novel approach to performance testing, called Virtual Capture and Replay (VCR), that couples a capture-and-replay technique with the checkpointing capabiliti...
Antonia Bertolino, Guglielmo De Angelis, Antonino ...
222
Voted
ICST
2010
IEEE
15 years 4 months ago
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
Minh Duc Nguyen, Hélène Waeselynck, ...
202
Voted
ICSM
1993
IEEE
15 years 11 months ago
Incremental Regression Testing
The purpose of regression testing is to ensure that bug xes and new functionality introduced in a new version of a software do not adversely a ect the correct functionality inheri...
Hiralal Agrawal, Joseph Robert Horgan, Edward W. K...
ICFEM
2005
Springer
16 years 15 days ago
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
Ana Paiva, João C. P. Faria, Nikolai Tillma...