Sciweavers

2527 search results - page 38 / 506
» A UML-Based Approach to System Testing
Sort
View
176
Voted
DMS
2008
167views Multimedia» more  DMS 2008»
15 years 4 months ago
Testing Multi-agent Systems for Deadlock Detection Based on UML Models
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...
Nariman Mani, Vahid Garousi, Behrouz Homayoun Far
156
Voted
SPIN
2005
Springer
15 years 8 months ago
Execution Generated Test Cases: How to Make Systems Code Crash Itself
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
Cristian Cadar, Dawson R. Engler
HICSS
2006
IEEE
117views Biometrics» more  HICSS 2006»
15 years 9 months ago
Assessing User Satisfaction of E-Government Services: Development and Testing of Quality-in-Use Satisfaction with Advanced Trave
The public sector provides a variety of services to citizens. The delivery of information for these services over electronic means such as the Internet forms an important componen...
Thomas A. Horan, Tarun Abhichandani, Raghuvira Ray...
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
15 years 5 months ago
Dynamic test selection for reconfigurable diagnosis
Abstract-- Detecting and isolating multiple faults is a computationally intense task which typically consists of computing a set of tests, and then computing the diagnoses based on...
Mattias Krysander, Fredrik Heintz, Jacob Roll, Eri...
GG
2008
Springer
15 years 4 months ago
Model-Driven Development of Model Transformations
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
Pieter Van Gorp