Sciweavers

13 search results - page 2 / 3
» taicpart 2010
Sort
View
TAICPART
2010
IEEE
123views Education» more  TAICPART 2010»
13 years 5 months ago
Mining API Popularity
Yana Momchilova Mileva, Valentin Dallmeier, Andrea...
TAICPART
2010
IEEE
137views Education» more  TAICPART 2010»
13 years 5 months ago
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang
Qiang Guo, John Derrick, Clara Benac Earle, Lars-&...
TAICPART
2010
IEEE
336views Education» more  TAICPART 2010»
13 years 5 months ago
A Fault Injection Tool for Testing Web Services Composition
Fayçal Bessayah, Ana R. Cavalli, Willian Ma...
TAICPART
2010
IEEE
173views Education» more  TAICPART 2010»
13 years 5 months ago
DOM Transactions for Testing JavaScript
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...
Phillip Heidegger, Annette Bieniusa, Peter Thieman...
TAICPART
2010
IEEE
166views Education» more  TAICPART 2010»
13 years 5 months ago
Linguistic Security Testing for Text Communication Protocols
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...
Ben W. Y. Kam, Thomas R. Dean