Pramila Mouttappa, Stephane Maag, Ana R. Cavalli. Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols. Computer Networks, 57(15):2992-3008, 2013. [doi]
Abstract is missing.