TAICPART
2010
IEEE
13 years 9 months ago
2010
IEEE
TAICPART
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
TAICPART
2010
IEEE
13 years 9 months ago
2010
IEEE
TAICPART
2010
IEEE
13 years 9 months ago
2010
IEEE
TAICPART
2010
IEEE
13 years 9 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
TAICPART
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract. Unit testing in the presence of side eects requires the construction of a suitable test xture before each test run. We consider the problem of providing test xtures fo...
TAICPART
2010
IEEE
13 years 9 months ago
2010
IEEE
TAICPART
2010
IEEE
13 years 9 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
TAICPART
2010
IEEE
13 years 9 months ago
2010
IEEE
TAICPART
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...