Sciweavers

TAICPART
2010
IEEE
166views Education» more  TAICPART 2010»
13 years 6 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
TAICPART
2010
IEEE
336views Education» more  TAICPART 2010»
13 years 6 months ago
A Fault Injection Tool for Testing Web Services Composition
Fayçal Bessayah, Ana R. Cavalli, Willian Ma...
TAICPART
2010
IEEE
158views Education» more  TAICPART 2010»
13 years 6 months ago
Bad Pairs in Software Testing
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...
Daniel Hoffman, Chien Chang, Gary Bazdell, Brett S...
TAICPART
2010
IEEE
123views Education» more  TAICPART 2010»
13 years 6 months ago
Mining API Popularity
Yana Momchilova Mileva, Valentin Dallmeier, Andrea...
TAICPART
2010
IEEE
137views Education» more  TAICPART 2010»
13 years 6 months ago
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang
Qiang Guo, John Derrick, Clara Benac Earle, Lars-&...
SIGCSE
2010
ACM
395views Education» more  SIGCSE 2010»
13 years 6 months ago
Linux kernel projects for an undergraduate operating systems course
In this paper, we present a series of programming projects based on the Linux kernel for students in a senior-level undergraduate operating systems course. The projects we describ...
Rob Hess, Paul Paulson
LREC
2010
145views Education» more  LREC 2010»
13 years 6 months ago
Morphological Annotation of Quranic Arabic
Kais Dukes, Nizar Habash