Sciweavers

589 search results - page 87 / 118
» Automated test generation for engineering applications
Sort
View
EMSOFT
2007
Springer
14 years 1 months ago
Performance estimation of distributed real-time embedded systems by discrete event simulations
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
Gabor Madl, Nikil Dutt, Sherif Abdelwahed
KDD
1994
ACM
113views Data Mining» more  KDD 1994»
13 years 11 months ago
Exploration of Simulation Experiments by Discovery
: Weexemplify in this paper, howa discovery system is applied to the analysis of simulation experimentsin practical political planning, andshowwhatkind of newknowledgecan be discov...
Willi Klösgen
KBSE
2009
IEEE
14 years 2 months ago
A Framework for State-Space Exploration of Java-Based Actor Programs
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul...
ICSM
2003
IEEE
14 years 28 days ago
Characterizing the 'Security Vulnerability Likelihood' of Software Functions
Software maintainers and auditors would benefit from a tool to help them focus their attention on functions that are likely to be the source of security vulnerabilities. However,...
Dan DaCosta, Christopher Dahn, Spiros Mancoridis, ...
HASE
2007
IEEE
14 years 2 months ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz