9626 search results - page 1519 / 1926 » Invariant Based Programming |
177
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
We study the problem of enumerating substrings that are common amongst genomes that share evolutionary descent. For example, one might want to enumerate all identical (therefore co...
176
click to vote
AOSD
2010
ACM
16 years 1 months ago
2010
ACM
An important element of understanding a software code base is to identify the repetitive patterns of code it contains and how these evolve over time. Some patterns are useful to t...
171
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
— Complex ad hoc join queries over enterprise databases are commonly used by business data analysts to understand and analyze a variety of enterprise-wide processes. However, eff...
183
click to vote
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...
212
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...