3424 search results - page 144 / 685 » Automated Testing of Classes |
150
click to vote
ANTS
2004
Springer
15 years 11 months ago
2004
Springer
Given an algebraic number field K, such that [K : Q] is constant, we show that the problem of computing the units group O∗ K is in the complexity class SPP. As a consequence, w...
218
click to vote
PLDI
1996
ACM
15 years 10 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
173
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
161
click to vote
LICS
2007
IEEE
16 years 20 days ago
2007
IEEE
We introduce the concept of locally excluded minors. Graph classes locally excluding a minor are a common generalisation of the concept of excluded minor classes and of graph clas...
178
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—A growing number of people use social networking sites to foster social relationships among each other. While the advantages of the provided services are obvious, drawbacks on a...