Sciweavers

15614 search results - page 307 / 3123
» The State of State
Sort
View
ECOOP
2008
Springer
15 years 8 months ago
ReCrash: Making Software Failures Reproducible by Preserving Object States
It is very hard to fix a software failure without being able to reproduce it. However, reproducing a failure is often difficult and time-consuming. This paper proposes a novel tech...
Shay Artzi, Sunghun Kim, Michael D. Ernst
ELPUB
2008
ACM
15 years 8 months ago
The state of metadata in open access journals: possibilities and restrictions
This paper reports on an inquiry into the use of metadata, publishing formats, and markup in editormanaged open access journals. It builds on findings from a study of the document...
Helena Francke
EMSOFT
2008
Springer
15 years 8 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...
FMCO
2008
Springer
120views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Abstract Interpretation of Symbolic Execution with Explicit State Updates
Richard Bubel, Reiner Hähnle, Benjamin Wei&sz...