1 citations · 3 across the 6 of their papers we have counts for
1 paper · 1 filter
Adilson Luiz Bonifacio, Arnaldo Vieira Moura
Testing on reactive systems is a well-known laborious activity on software development due to their asynchronous interaction with the environment. In this setting model based testi…