565 search results - page 42 / 113 » Compositional dynamic test generation |
119
click to vote
VLDB
1999
ACM
15 years 6 months ago
1999
ACM
A data-driven approach can be fruitfully used in the speci cation and automatic generation of data-intensive Web applications, i.e., applications which make large amounts of data ...
110
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
110
click to vote
CVPR
2007
IEEE
15 years 8 months ago
2007
IEEE
A sketch captures the most informative part of an object, in a much more concise and potentially robust representation (e.g., for face recognition or new capabilities of manipulat...
124
click to vote
TCAD
1998
15 years 1 months ago
1998
—We study the effect of the controller on the testability of sequential circuits composed of controllers and data paths. We show that even when all the loops of the circuit have ...
123
click to vote
CAV
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...