285 search results - page 21 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
134
click to vote
WCRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
113
click to vote
ISOLA
2010
Springer
15 years 22 hour ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
138
click to vote
DOA
2001
15 years 3 months ago
2001
Distributed systems with high availability requirements have to support some form of dynamic reconfiguration. This means that they must provide the ability to be maintained or upg...
124
click to vote
FTDCS
1997
IEEE
15 years 5 months ago
1997
IEEE
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...
122
Voted
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...