811 search results - page 23 / 163 » Incremental Regression Testing |
GI
2007
Springer
14 years 17 days ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
VTS
2005
IEEE
14 years 2 months ago
2005
IEEE
Testing data retention faults (DRFs), particularly in integrated systems on chip comprised of very large number of various sizes and types of embedded SRAMs is challenging and typ...
TAICPART
2006
IEEE
14 years 2 months ago
2006
IEEE
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...
SEW
2003
IEEE
14 years 1 months ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
MODELS
2009
Springer
14 years 3 months ago
2009
Springer