3820 search results - page 90 / 764 » Bounded Model Debugging |
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...
139
click to vote
SOFTVIS
2003
ACM
15 years 7 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
144
click to vote
AADEBUG
1995
Springer
15 years 5 months ago
1995
Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
140
click to vote
CACM
2010
14 years 11 months ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
ASIACRYPT
2000
Springer
15 years 6 months ago
2000
Springer
A discrete-logarithm algorithm is called generic if it does not exploit the specific representation of the cyclic group for which it is supposed to compute discrete logarithms. Su...