588 search results - page 46 / 118 » Using UML Environment Models for Test Case Generation |
93
Voted
ERCIMDL
2007
Springer
15 years 6 months ago
2007
Springer
We propose and evaluate a query expansion mechanism that supports searching and browsing in collections of annotated documents. Based on generative language models, our feedback me...
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
95
Voted
SNPD
2008
15 years 1 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
121
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...