854 search results - page 35 / 171 » Addressing Dynamic Issues of Program Model Checking |
119
Voted
WSC
2004
15 years 3 months ago
2004
This paper discusses an extended adaptive supply network simulation model that explicitly captures growth (in terms of change in size over time, and birth and death) based on Utte...
134
click to vote
UML
2000
Springer
15 years 5 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
130
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Program errors are hard to find because of the cause-effect gap between the time when an error occurs and the time when the error becomes apparent to the programmer. Although debu...
99
Voted
ICTAI
2005
IEEE
15 years 7 months ago
2005
IEEE
Stochastic Shortest Path problems (SSPs) can be efficiently dealt with by the Real-Time Dynamic Programming algorithm (RTDP). Yet, RTDP requires that a goal state is always reach...
128
click to vote
FUIN
2008
15 years 2 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...