1100 search results - page 48 / 220 » An Approach to Test Aspect-oriented Programs |
115
click to vote
ISSRE
2007
IEEE
15 years 4 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
102
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
121
click to vote
ENTCS
2008
15 years 3 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
135
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
116
click to vote
VTS
1997
IEEE
15 years 7 months ago
1997
IEEE
A new approach for testing the bistable elements (latches and flip-flops) in scan chain circuits is presented. In this approach, we generate test patterns that apply a checking ex...