2218 search results - page 49 / 444 » Testing Expressibility Is Hard |
ANCS
2009
ACM
13 years 5 months ago
2009
ACM
Although Regular Expressions (RegExes) have been widely used in network security applications, their inherent complexity often limits the total number of RegExes that can be detec...
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
: In order to improve environmental pollution of printing industry, it has developed new environmental ink which is called UV Soy Ink. The purpose of this research is to investigat...
SE
2008
13 years 9 months ago
2008
We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to il...
CAV
2011
Springer
12 years 11 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 ...
BIODATAMINING
2008
13 years 7 months ago
2008
Background: Contrary to the traditional biology approach, where the expression patterns of a handful of genes are studied at a time, microarray experiments enable biologists to st...