5855 search results - page 262 / 1171 » Test generation and minimization with |
177
click to vote
DBSEC
2008
15 years 8 months ago
2008
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
212
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
159
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
We present a scalable, SPARQL-based computational pipeline for testing the lattice-theoretic properties of partial orders represented as RDF triples. The use case for this work is ...
168
click to vote
ATS
2003
IEEE
15 years 12 months ago
2003
IEEE
Software-based self-testing is a promising approach for the testing of processor cores which are embedded inside a System-on-a-Chip (SoC), as it can apply test vectors in function...
179
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...