Sciweavers

4299 search results - page 253 / 860
» Concurrent Test Generation
Sort
View
130
Voted
FORTE
1998
15 years 5 months ago
Exploiting Symmetry in Protocol Testing
Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of s...
Judi Romijn, Jan Springintveld
ICFEM
2009
Springer
15 years 10 months ago
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
Maximiliano Cristiá, Pablo Rodríguez...
151
Voted
ICMCS
2006
IEEE
148views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Hierarchical Load Testing Architecture using Large Scale Virtual Clients
In this work, we develop a hierarchical load testing architecture using large scale virtual clients to reduce the testing time and ensure the stability of the server for distribut...
Bum Lim, Jin Kim, Kwang Shim
SEKE
2005
Springer
15 years 9 months ago
A State-Based Approach to Testing Aspect-Oriented Programs
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
Dianxiang Xu, Weifeng Xu, Kendall E. Nygard
GECCO
2004
Springer
259views Optimization» more  GECCO 2004»
15 years 9 months ago
Evaluation of Different Fitness Functions for the Evolutionary Testing of an Autonomous Parking System
The method of evolutionary functional testing allows for the automation of testing by transforming test case design into an optimization problem. To this end it is necessary to def...
Joachim Wegener, Oliver Bühler