43 search results - page 7 / 9 » Using symbolic evaluation to understand behavior in configur... |
EMSOFT
2004
Springer
14 years 24 days ago
2004
Springer
As embedded systems grow in size and complexity, an operating system has become essential to simplify the design of system software, for which more accurate analysis of its impact...
WCRE
2010
IEEE
13 years 5 months ago
2010
IEEE
—Automatic and advanced merging algorithms help programmers to merge their modifications in main development repositories. However, there is little support to help release maste...
KBSE
2010
IEEE
13 years 5 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...
UIST
2004
ACM
14 years 25 days ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...