3779 search results - page 85 / 756 » Linear Consistency Testing |
125
click to vote
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
PTS
1998
14 years 11 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
JSW
2007
14 years 10 months ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...
DDECS
2006
IEEE
15 years 4 months ago
2006
IEEE
: An embedded rectifier-based Built-In-Test (BIT) detection circuit for the RF integrated circuits is proposed in this work, and charge pump rectifier is adopted to transform the R...
METRICS
2003
IEEE
15 years 3 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...