1100 search results - page 61 / 220 » An Approach to Test Aspect-oriented Programs |
111
Voted
ESOP
2007
Springer
15 years 7 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...
155
Voted
EC
2008
15 years 3 months ago
2008
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
129
Voted
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
151
Voted
JOT
2010
15 years 2 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
102
Voted
NPC
2007
Springer
15 years 9 months ago
2007
Springer
Parallelism is one of the main sources for performance improvement in modern computing environment, but the efficient exploitation of the available parallelism depends on a number ...