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:23 - 8 self