Sciweavers

630 search results - page 28 / 126
» Causality based generation of directed test cases
Sort
View
ENTCS
2007
116views more  ENTCS 2007»
14 years 10 months ago
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa
GAMEON
2003
14 years 11 months ago
A Multiplayer Case Based Story Engine
This paper describes the development of an expert casebased character director system which dynamically generates and controls a story, which is played out in a multiplayer networ...
Chris Fairclough, Padraig Cunningham
TCIAIG
2010
14 years 4 months ago
Cinematic Visual Discourse: Representation, Generation, and Evaluation
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
Arnav Jhala, R. Michael Young
DBSEC
2008
152views Database» more  DBSEC 2008»
14 years 11 months ago
An Attack Graph-Based Probabilistic Security Metric
To protect critical resources in today’s networked environments, it is desirable to quantify the likelihood of potential multi-step attacks that combine multiple vulnerabilities....
Lingyu Wang, Tania Islam, Tao Long, Anoop Singhal,...
KBSE
2003
IEEE
15 years 3 months ago
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...
Eugenia Díaz, Javier Tuya, Raquel Blanco