Toward testing from finite state machines with symbolic inputs and outputs
Crossref DOI link: https://doi.org/10.1007/s10270-017-0613-x
Published Online: 2017-08-03
Published Print: 2019-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Petrenko, Alexandre
Funding for this research was provided by:
NSERC of Canada and the MEIE of Gouvernement du Québec
Text and Data Mining valid from 2017-08-03
Article History
Received: 8 September 2016
Revised: 27 January 2017
Accepted: 16 July 2017
First Online: 3 August 2017