979 search results - page 125 / 196 » Automated Environment Generation for Software Model Checking |
WSC
1998
13 years 10 months ago
1998
Java-based simulation presents a unique opportunity for revolutionary changes in the process of developing simulation models and in the mission of the simulation software firms th...
GLVLSI
2009
IEEE
13 years 6 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
AOSD
2006
ACM
14 years 3 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
ICWS
2004
IEEE
13 years 10 months ago
2004
IEEE
The advent of Web services has made automated workflow composition relevant to Web based applications. One technique that has received some attention, for automatically composing ...
COMPSAC
1998
IEEE
14 years 1 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...