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…