Sciweavers

6704 search results - page 20 / 1341
» Testing Scenario-Based Models
Sort
View
JOT
2008
137views more  JOT 2008»
13 years 7 months ago
Extension of Object-Oriented Software Testing Techniques to Agent Oriented Software Testing
In recent years, agent-based systems have received considerable attention in both academics and industry. The agent-oriented paradigm can be considered a natural extension to the ...
Praveen Ranjan Srivastava, Karthik Anand V, Mayuri...
HCI
2007
13 years 9 months ago
Cultural Usability Tests - How Usability Tests Are Not the Same All over the World
The cultural diversity of users of technology challenges our methods for usability evaluation. In this paper we report on a multi-site, cross-cultural grounded theory field study o...
Torkil Clemmensen, Qingxin Shi, Jyoti Kumar, Huiya...
DAC
2002
ACM
14 years 8 months ago
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
Mike Bartley, Darren Galpin, Tim Blackmore
EH
2005
IEEE
158views Hardware» more  EH 2005»
14 years 1 months ago
Co-evolutionary Variance Can Guide Physical Testing in Evolutionary System Identification
Co-evolution of system models and system tests can be used for exploratory system identification of physical platforms. Here we demonstrate how the amount of physical testing can ...
Viktor Zykov, Josh C. Bongard, Hod Lipson
ISSRE
2006
IEEE
14 years 1 months ago
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
Erwan Brottier, Franck Fleurey, Jim Steel, Benoit ...