1365 search results - page 8 / 273 » Maximal Causality Analysis |
113
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
70
Voted
PAKDD
2009
ACM
15 years 7 months ago
2009
ACM
79
Voted
CASES
2004
ACM
15 years 6 months ago
2004
ACM
ICSM
1997
IEEE
15 years 4 months ago
1997
IEEE
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
