147 search results - page 17 / 30 » A Factor Graph Model for Software Bug Finding |
COMPSAC
2011
IEEE
12 years 7 months ago
2011
IEEE
Abstract—Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such ...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...
METRICS
2003
IEEE
14 years 28 days ago
2003
IEEE
Estimating the effort required for software process activities continues to present difficulties for software engineers, particularly given the uncertainty and subjectivity associ...
EURODAC
1994
IEEE
13 years 11 months ago
1994
IEEE
This paper addresses the problem of design rule correct routing, i.e. the avoidance of illegal wiring patterns during routing. These illegal wiring patterns are due to the set of ...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...