Sciweavers

1951 search results - page 25 / 391
» UML-Based integration testing
Sort
View
TSE
2002
54views more  TSE 2002»
15 years 2 months ago
Incremental Integration Testing of Concurrent Programs
Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai
AH
2000
Springer
15 years 6 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...
100
Voted
SE
2010
15 years 3 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
129
Voted
CAV
2011
Springer
253views Hardware» more  CAV 2011»
14 years 6 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...