4079 search results - page 693 / 816 » Differential Testing for Software |
144
click to vote
EUROSYS
2011
ACM
14 years 6 months ago
2011
ACM
Parallel software is increasingly necessary to take advantage of multi-core architectures, but it is also prone to concurrency bugs which are particularly hard to avoid, find, an...
137
click to vote
EUROSYS
2011
ACM
14 years 6 months ago
2011
ACM
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
145
Voted
CODES
2011
IEEE
14 years 2 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
163
Voted
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
154
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
To keep a Graphical User Interface (GUI) responsive and active, a GUI application often has a main UI thread (or event dispatching thread) and spawns separate threads to handle le...