3090 search results - page 277 / 618 » On Testing Answer-Set Programs |
333
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
180
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
A significant challenge in genetic programming is premature convergence to local optima, which often prevents evolution from solving problems. This paper introduces to genetic pro...
185
click to vote
OOPSLA
2005
Springer
16 years 4 days ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
172
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— Test-access mechanisms (TAMs) and test wrappers (e.g., the IEEE Standard 1500 wrapper) facilitate the modular testing of embedded cores in a core-based system-on-chip (SOC). Su...
181
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...