38 search results - page 3 / 8 » An Industrial Experience in Comparing Manual vs. Automatic T... |
UML
2001
Springer
13 years 11 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
ITC
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper discusses practical issues involved in applying logic built-in self-test (BIST) to four large industrial designs. These multi-clock designs, ranging in size from 200K t...
WCRE
2006
IEEE
14 years 1 months ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
ICSM
2005
IEEE
14 years 29 days ago
2005
IEEE
Regression testing is an important part of software maintenance, but it can also be very expensive. To reduce this expense, software testers may prioritize their test cases so tha...
ENTCS
2007
13 years 7 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...