1414 search results - page 62 / 283 » Automated Metamorphic Testing |
CAV
2010
Springer
14 years 27 days ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
ICALT
2010
IEEE
13 years 7 months ago
2010
IEEE
—This paper introduces new metrics for course evaluation. It is also proposes a ranking algorithm that classifies courses based on the previous course evaluation metrics and sugg...
HCI
2009
13 years 6 months ago
2009
In this paper we present an accessibility analysis framework for the specification of Web accessibility evaluation scenarios that differentiates the requirements of users with disa...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...