DMCA

Generating models of infinite-state communication protocols using regular inference with abstraction

by Fides Aarts , Bengt Jonsson , Johan Uijen , Frits Va
Venue:22nd IFIP International Conference on Testing Software and Systems
Citations:24 - 9 self