1399 search results - page 62 / 280 » Verification of Test Suites |
140
click to vote
FORTE
2009
15 years 2 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
130
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
There are several problem areas that must be addressed when applying randomization to unit testing. As yet no general, fully automated solution that works for all units has been p...
130
click to vote
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...
136
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
150
click to vote
ESEM
2008
ACM
15 years 6 months ago
2008
ACM
Regression testing is the verification that previously functioning software remains after a change. In this paper we report on a systematic review of empirical evaluations of regr...