551 search results - page 58 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
WSC
2008
13 years 10 months ago
2008
Simulation results are often needed within a short time frame, while the development of simulation models can be time consuming. We develop a methodology to facilitate rapid gener...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
To create a realistic environment, some simulations require simulated agents with human behavior pattern. Creating such agents with realistic behavior can be a tedious and time con...
21
Voted
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
TSE
1998
13 years 7 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...
DAC
2000
ACM
14 years 8 months ago
2000
ACM
In this paper, we propose a technique to implement communication protocols as hardware circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of mult...