7167 search results - page 729 / 1434 » Answer Set Programming |
172
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Program analysis and automated test generation have primarily been used to ļ¬nd correctness bugs. We present complexity testing, a novel automated test generation technique to ļ¬...
201
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
169
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
158
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Modern Application Speciļ¬c Instruction Set Processors (ASIPs) have customizable caches, where the size, associativity and line size can all be customized to suit a particular ap...
184
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Object-oriented languages deļ¬ne the identity of an object to be an address-based object identiļ¬er. The programmer may customize the notion of object identity by overriding the ...