21 search results - page 1 / 5 » Abstraction in Assertion-Based Test Oracles |
76
Voted
QSIC
2007
IEEE
15 years 6 months ago
2007
IEEE
90
Voted
CP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
82
Voted
SOQUA
2004
15 years 1 months ago
2004
Abstract: The oracle problem is addressed for random testing and testing of randomized software. The presented Statistical Oracle is a Heuristic Oracle using statistical methods, e...
98
Voted
SAFECOMP
1999
Springer
15 years 4 months ago
1999
Springer
WIA
2004
Springer
15 years 5 months ago
2004
Springer
d abstract) Gaoyan Xie, Cheng Li, and Zhe Dang School of Electrical Engineering and Computer Science Washington State University Pullman, WA 99164, USA Abstract. In this paper, ...