3090 search results - page 151 / 618 » On Testing Answer-Set Programs |
136
click to vote
TSE
2010
15 years 24 days ago
2010
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
112
click to vote
ENTCS
2002
15 years 2 months ago
2002
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
It is very hard to fix a software failure without being able to reproduce it. However, reproducing a failure is often difficult and time-consuming. This paper proposes a novel tech...
106
click to vote
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
171
Voted
JAVACARD
2000
15 years 6 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...