Sciweavers

588 search results - page 63 / 118
» Using UML Environment Models for Test Case Generation
Sort
View
82
Voted
CASCON
2006
118views Education» more  CASCON 2006»
15 years 1 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power
79
Voted
ICSM
2007
IEEE
15 years 6 months ago
SCARPE: A Technique and Tool for Selective Capture and Replay of Program Executions
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
Shrinivas Joshi, Alessandro Orso
88
Voted
AIPS
2007
15 years 2 months ago
itSIMPLE 2.0: An Integrated Tool for Designing Planning Domains
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
Tiago Stegun Vaquero, Victor Romero, Flavio Tonida...
93
Voted
TSP
2008
115views more  TSP 2008»
15 years 12 days ago
A Bayesian Approach to Adaptive Detection in Nonhomogeneous Environments
Abstract--We consider the adaptive detection of a signal of interest embedded in colored noise, when the environment is nonhomogeneous, i.e., when the training samples used for ada...
Stéphanie Bidon, Olivier Besson, Jean-Yves ...
SP
2000
IEEE
110views Security Privacy» more  SP 2000»
15 years 4 months ago
LOMAC: Low Water-Mark Integrity Protection for COTS Environments
We hypothesize that a form of kernel-resident accesscontrol-based integrity protection can gain widespread acceptance in Commercial Off-The-Shelf (COTS) environments provided that...
Timothy Fraser