11 search results - page 3 / 3 » Re-computing Coverage Information to Assist Regression Testi... |
IFIP
2009
Springer
14 years 17 days 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 ...