885 followers
#OnlineFirst: Toward testing from finite state machines with symbolic inputs and outputs; Alexandre Petrenko; https://t.co/HI0ZgXHY6B
#OnlineFirst: Toward testing from finite state machines with symbolic inputs and outputs; Alexandre Petrenko; https://t.co/HI0ZgXHY6B