648 search results - page 56 / 130 » Carving differential unit test cases from system test cases |
ASM
2005
ASM
14 years 2 months ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
JOT
2006
13 years 8 months ago
2006
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—Many data center devices, for instance packet switches, can be modeled within the context of resource constrained queueing systems. In this paper, we define a novel algorithm c...
CONCUR
2006
Springer
14 years 16 days ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
ERCIMDL
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Anyone offering content in a digital library is naturally interested in assessing its performance: how well does my system meet the users' information needs? Standar...