5159 search results - page 172 / 1032 » Structural Testing of Executables |
173
click to vote
PLDI
2005
ACM
16 years 13 days ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
191
click to vote
JSS
2008
15 years 5 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
200
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
231
click to vote
GECCO
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
206
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...