1492 search results - page 40 / 299 » Testing Properties of Constraint-Graphs |
146
Voted
BIOINFORMATICS
2007
15 years 3 months ago
2007
Motivation: Protein–protein complexes are known to play key roles in many cellular processes. However, they are often not accessible to experimental study because of their low s...
RSA
2002
15 years 3 months ago
2002
Let H be a fixed graph with h vertices, let G be a graph on n vertices and suppose that at least n2 edges have to be deleted from it to make it H-free. It is known that in this ca...
121
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
139
click to vote
TAMC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...
124
Voted
SFP
2003
15 years 4 months ago
2003
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...