2006 search results - page 39 / 402 » Testing with Respect to Concerns |
AIS
2004
Springer
14 years 16 days ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
TC
2008
13 years 8 months ago
2008
A low-transition test pattern generator, called the low-transition linear feedback shift register (LT-LFSR), is proposed to reduce the average and peak power of a circuit during te...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
ICALT
2003
IEEE
14 years 2 months ago
2003
IEEE
Since the approval of IEEE LOM Draft Standard and the advance of network-driven learning technology, a large number of resource database constructors, content developers and learn...
QSIC
2003
IEEE
14 years 2 months ago
2003
IEEE
The use of components in development of complex software systems can surely have various benefits. Their testing, however, is still one of the open issues in software engineering...