Sciweavers

1951 search results - page 25 / 391
» UML-Based integration testing
Sort
View
TSE
2002
54views more  TSE 2002»
15 years 5 months ago
Incremental Integration Testing of Concurrent Programs
Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai
141
Voted
AH
2000
Springer
15 years 9 months ago
Adaptive Testing by Test++
We present the adaptive features of Test++, an adaptive system for training and teaching on the Internet. The system integrates an adaptive training environment for personalized tr...
Maria Barra, Giuseppina Palmieri, Simona Napolitan...
SE
2010
15 years 6 months ago
Multi-Level Test Models for Embedded Systems
Abstract: Test methodologies for large embedded systems fail to reflect the test process as a whole. Instead, the test process is divided into independent test levels feaifferences...
Abel Marrero Pérez, Stefan Kaiser
CAV
2011
Springer
253views Hardware» more  CAV 2011»
14 years 9 months ago
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. G...