TY  - BOOK
AU  - Hurson,Ali R.
AU  - Memon,Atif M.Memon
TI  - Advances in computers
T2  - Advances in computers. 
SN  - 9780128151198
AV  - QA76.9 ADV
PY  - 2018///
CY  - Amsterdam : 
PB  - Academic Press
KW  - Graphical user interfaces (Computer systems)
KW  - System analysis
N1  - 1. Model-Based Testing for Internet of Things Systems Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret and Bruno Legeard 2. Advances in Software Model Checking Junaid H. Siddiqui, Affan Rauf and Maryam A. Ghafoor 3. Emerging Software Testing Technologies Francesca Lonetti and Eda Marchetti 4. Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts Amal Khalil and Juergen Dingel 5. A Tutorial on Software Obfuscation Sebastian Banescu and Alexander Pretschner
ER  -