4107 search results - page 104 / 822 » The Generalized Lambda Test |
129
click to vote
AADEBUG
2005
Springer
15 years 3 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
124
click to vote
ESEM
2008
ACM
15 years 3 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...
JSS
2006
15 years 1 months ago
2006
One of the major problems within the software testing area is how to get a suitable set of cases to test a software system. A good set of test cases should assure maximum effectiv...
115
click to vote
KBSE
2010
IEEE
15 years 8 hour ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
142
click to vote
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...