7167 search results - page 965 / 1434 » Answer Set Programming |
118
click to vote
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
130
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
130
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
126
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
—Unknown protein sequences are often compared to a set of known sequences (a database scan) to detect functional similarities. Even though efficient dynamic programming algorithm...
150
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...