7225 search results - page 368 / 1445 » Software is data too |
166
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
175
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
207
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
154
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Desktop Grids represent an alternative trend in Grid computing using the same software infrastructure as Volunteer Computing projects, such as BOINC. Applications to be deployed o...
190
Voted
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...