1 citations · 3 across the 6 of their papers we have counts for
1 paper · 1 filter
Adilson Luiz Bonifacio, Arnaldo Vieira Moura
Model based testing is a well-established approach to verify implementations modeled by I/O labeled transition systems (IOLTSs). One of the challenges stemming from model based tes…