1215 search results - page 1 / 243 » Testing in the Distributed Test Architecture: An Extended Ab... |
QSIC
2008
IEEE
13 years 11 months ago
2008
IEEE
DIMVA
2007
13 years 6 months ago
2007
TAP
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
FMCO
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
IEEEPACT
2009
IEEE
13 years 11 months ago
2009
IEEE
—Software testing is hard. The emergence of multicore architectures and the proliferation of bugprone multithreaded software makes testing even harder. To this end, researchers h...