Sciweavers

TAICPART
2010
IEEE
166views Education» more  TAICPART 2010»
14 years 10 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»
14 years 10 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»
14 years 10 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»
14 years 10 months ago
Mining API Popularity
Yana Momchilova Mileva, Valentin Dallmeier, Andrea...
TAICPART
2010
IEEE
137views Education» more  TAICPART 2010»
14 years 10 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»
14 years 10 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»
14 years 10 months ago
Morphological Annotation of Quranic Arabic
Kais Dukes, Nizar Habash