Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems
Vaclav Rechtberger
◽
Miroslav Bures
◽
Bestoun S. Ahmed
2013 ◽
Vol 33
(1)
◽
pp. 149-152
Jianjun LI
◽
Yixiang JIANG
◽
Jie QIAN
◽
Wei LI
◽
Yu LI
Francesco Baccino
◽
Francesco Conte
◽
Samuele Grillo
◽
Stefano Massucco
◽
Federico Silvestro
Yunhao Wang
◽
Songqiao Han
◽
Da Huang
◽
Xiuying Zhang
2013 ◽
Vol 13
(3)
◽
pp. 50-67
◽
Patrick Heckeler
◽
Hanno Eichelberger
◽
Thomas Kropf
◽
Jürgen Ruf
◽
Stefan Huster
◽
...
Shunkun Yang
◽
Guangwei Zhang
◽
Qingpei Hu
◽
Hong Kong
Jose Cecilio
◽
Pedro Martins
◽
Joao Costa
◽
Pedro Furtado
2017 ◽
Vol 55
(8)
◽
pp. 1143-1188
◽
Haotian Cao
◽
Xiaolin Song
◽
Song Zhao
◽
Shan Bao
◽
Zhi Huang