169 search results - page 18 / 34 » Towards a Framework for Constraint-Based Test Case Generatio... |
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
TAICPART
2010
IEEE
13 years 5 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...
ERLANG
2004
ACM
14 years 28 days ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
BIBM
2009
IEEE
14 years 2 months ago
2009
IEEE
Background: In eukaryotes, alternative splicing often generates multiple splice variants from a single gene. Here weexplore the use of RNA sequencing (RNA-Seq) datasets to address...