3547 search results - page 225 / 710 » Pseudo-Exhaustive Testing for Software |
204
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
191
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Web applications have become critical components of the global information infrastructure, and it is important that they be validated to ensure their reliability. Therefore, many ...
213
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
189
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
184
click to vote
ACMDIS
2006
ACM
16 years 1 months ago
2006
ACM
Think-aloud testing is a widely employed usability evaluation method, yet its use in practice is rarely studied. We report an explorative study of 14 think-aloud sessions, the aud...