Journal

Toward testing from finite state machines with symbolic inputs and outputs

Petrenko, A. "Toward testing from finite state machines with symbolic inputs and outputs" Springer Software and Systems Modeling (August 2017), 17 (1) 2017 : 1-11

  • IBM Québec RT @IBMQuebec: Le 3 octobre prochain à Montréal. Voyez le programme ici —> https://t.co/PW4qo9XTnO https://t.co/hQnJOnKhuH
  • Les libraires RT @les_libraires: Je lis la science! https://t.co/IrWh2Tzgvu @NSERC_CRSNG @BayardJCA @EditionsQuintin @EMultiMondes @QuebecScience @Gallim…