4079 search results - page 395 / 816 » Differential Testing for Software |
122
click to vote
ESEM
2008
ACM
15 years 6 months ago
2008
ACM
Controlled experiments in web application testing use seeded faults to evaluate the effectiveness of the testing technique. However, the classes of seeded faults are not always ex...
134
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
135
click to vote
DATE
2009
IEEE
15 years 12 months ago
2009
IEEE
—This paper presents a new two-levels page-based memory bus protection scheme. A trusted Operating System drives a hardware cryptographic unit and manages security contexts for e...
125
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
What does differentiate service systems from traditional subjects of systems engineering such as manufacturing, and software? We address this issue by defining customer-intensive ...
150
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— Standard methods to model multibody systems are aimed at systems with configuration spaces isomorphic to Rn . This limitation leads to singularities and other artifacts in cas...