6014 search results - page 1059 / 1203 » Structural Testing with Use Cases |
103
click to vote
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a tool called BugFix that can assist developers in fixing program bugs. Our tool automatically analyzes the debugging situation at a statement and reports a prioritize...
161
Voted
BPM
2009
Springer
15 years 10 months ago
2009
Springer
Process mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms ...
123
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In their landmark paper Cover and El Gamal proposed different coding strategies for the relay channel with a single relay supporting a communication pair. These strategies are ...
124
Voted
EUROCRYPT
2007
Springer
15 years 10 months ago
2007
Springer
sion of an extended abstract to be published in Advances in Cryptology—EUROCRYPT 2007, Springer-Verlag, 2007. Available online from the IACR Cryptology ePrint Archive as Report 2...
130
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...