TY  - BOOK
AU  - Memon, Atif M. (ed)
TI  - Advances in computers 2018
SN  - 9780128151198
U1  - 004 
PY  - 2018///
CY  - London
PB  - Elsevier
KW  - Computers
N1  - Model-Based Testing for Internet of Things Systems Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret and Bruno Legeard A
dvances in Software Model Checking Junaid H. Siddiqui, Affan Rauf and Maryam A. Ghafoor 
Emerging Software Testing Technologies Francesca Lonetti and Eda Marchetti Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts Amal Khalil and Juergen Dingel 
A Tutorial on Software Obfuscation Sebastian Banescu and Alexander Pretschner
ER  -