4107 search results - page 76 / 822 » The Generalized Lambda Test |
138
Voted
JAL
2008
15 years 1 months ago
2008
Mixed Multi-Unit Combinatorial Auctions extend and generalize all the preceding types of combinatorial auctions. In this paper, we try to make headway on the practical application...
142
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
136
click to vote
RTSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Schedulability tests are presented for preemptive earliest-deadline-first and deadline-monotonic scheduling of periodic or sporadic real-time tasks on a singlequeue Ñ-server sys...
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
White-box testing is an important method for the early detection of errors during software development. In this process test case generation plays a crucial role, defining appropr...
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Substantial effort in the development of any large system is invested in testing. Studies of testing tend to be either technical or concerned with the cognitive ability of testers...