2774 search results - page 334 / 555 » Query-Driven Program Testing |
121
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: In a previous paper, we introduced MUSCLE, a new program for creating multiple alignments of protein sequences, giving a brief summary of the algorithm and showing MUS...
116
click to vote
ICCV
2005
IEEE
16 years 4 months ago
2005
IEEE
The goal of this work is to recover human body configurations from static images. Without assuming a priori knowledge of scale, pose or appearance, this problem is extremely chall...
110
Voted
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
209
Voted
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
210
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...