1112 search results - page 56 / 223 » Executing Abstract Test Cases |
133
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
122
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...
144
click to vote
ICST
2009
IEEE
15 years 20 days ago
2009
IEEE
This paper reports an empirical evaluation of four blackbox testing techniques for crashing programs through their GUI interface: SH, AF, DH, and BxT. The techniques vary in their...
154
click to vote
FASE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Container classes such as lists, sets, or maps are elementary data structures common to many programming languages. Since they are a part of standard libraries, they are ...
113
click to vote
COMCOM
2000
15 years 2 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...