7961 search results - page 1016 / 1593 » Input-Output Model Programs |
191
Voted
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
226
click to vote
PADS
2006
ACM
16 years 1 months ago
2006
ACM
A master/worker paradigm for executing large-scale parallel discrete event simulation programs over networkenabled computational resources is proposed and evaluated. In contrast t...
180
click to vote
APSEC
2005
IEEE
16 years 28 days ago
2005
IEEE
Distributed infrastructures are becoming more and more diverse in nature. An application may often need to be redeployed in various scenarios. Ideally, given an application design...
215
click to vote
ICSM
2005
IEEE
16 years 27 days ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
233
click to vote
AADEBUG
2005
Springer
16 years 26 days ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...