Acte de conférence, colloque et atelier

Checking Experiments for Symbolic Input/Output Finite State Machines

Petrenko, A. "Checking Experiments for Symbolic Input/Output Finite State Machines" in Proc. of the IEEE Ninth International Conference on Software Testing, Verification and Validation (ICST'2016), pp. 3-18 Volume 9447 of the series Lecture Notes in Computer Science. Illinois, Chicago, USA, du 10 au 15 avril 2016