588 search results - page 93 / 118 » Using UML Environment Models for Test Case Generation |
93
Voted
EWRL
2008
15 years 2 months ago
2008
We consider planning in a Markovian decision problem, i.e., the problem of finding a good policy given access to a generative model of the environment. We propose to use fitted Q-i...
113
click to vote
JGS
2010
14 years 7 months ago
2010
Despite the fact that it provides a potentially useful analytical tool, allowing for the joint modeling of dynamic interdependencies within a group of connected areas, until latel...
99
Voted
PASTE
2010
ACM
15 years 5 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
109
click to vote
BMCBI
2007
15 years 13 days ago
2007
Background: Many protein sequences are still poorly annotated. Functional characterization of a protein is often improved by the identification of its interaction partners. Here, ...
114
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...