Testing Asynchronous Reactive Systems: Beyond the ioco framework
Manual testing can be rather time consuming and prone to errors specially when testing asynchronous reactive systems. Model based testing is a well-established approach to verify reactive systems specified by input output labeled transition systems (IOLTSs). One of the challenges stemming from mod...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Centro Latinoamericano de Estudios en Informática
2021-07-01
|
| Series: | CLEI Electronic Journal |
| Subjects: | |
| Online Access: | http://www.clei.org/cleiej/index.php/cleiej/article/view/499 |