Advances in computers 2018/
Advances in computers 2018/
edited by Atif M. Memon
- London: Elsevier, 2018
- v.108 (ix, 353p.)
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
9780128151198
Computers
004 / MEM/A
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
9780128151198
Computers
004 / MEM/A