3820 search results - page 170 / 764 » Bounded Model Debugging |
130
click to vote
OOPSLA
2010
Springer
15 years 28 days ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
152
click to vote
DAC
2011
ACM
14 years 2 months ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...
154
click to vote
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...
141
click to vote
SQJ
2002
15 years 2 months ago
2002
Much of software engineering is targeted towards identifying and removing existing defects while preventing the injection of new ones. Defect management is therefore one important ...
141
click to vote
COMPSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...