11 search results - page 3 / 3 » Re-computing Coverage Information to Assist Regression Testi... |
122
click to vote
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...