Advances in computers 2018/ 
edited by Atif M. Memon 
 - London:  Elsevier,  2018 
 - v.108 (ix, 353p.) 
<br/><br/>Model-Based Testing for Internet of Things Systems Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret and Bruno Legeard A<br/>dvances in Software Model Checking Junaid H. Siddiqui, Affan Rauf and Maryam A. Ghafoor <br/>Emerging Software Testing Technologies Francesca Lonetti and Eda Marchetti Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts Amal Khalil and Juergen Dingel <br/>A Tutorial on Software Obfuscation Sebastian Banescu and Alexander Pretschner 
<br/><br/><label>ISBN: </label>9780128151198 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computers
<br/><br/><label>Dewey Class. No.: </label>004  / MEM/A