Performance, Security, and Safety Requirements Testing for Smart Systems Through Systematic Software Analysis by Ke Hong A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Computer Science and Engineering) in the University of Michigan 2019 Doctoral Committee: Professor Z. Morley Mao, Chair Assistant Professor Qi Alfred Chen, University of California Irvine Professor Scott Mahlke Assistant Professor Florian Schaub Ke Hong
[email protected] ORCID iD: 0000-0002-8830-373X c Ke Hong 2019 To Xiaqing and my parents. ii ACKNOWLEDGEMENTS The past five years would be much harder without the guidance from my advisor Pro- fessor Zhuoqing Morley Mao, the assistance from my collaborators and colleagues and the support from my family and friends. Foremost, I would like to express my deepest gratitude to my advisor, Professor Zhuo- qing Morley Mao for her continuous kind support and patient guidance on my research. Her constant support was a definite factor in bringing this dissertation to its completion. I still remember she tried different ways to teach me in details how to define meaningful research problems, effectively communicate my ideas in research discussions and conduct impactful research in my early PhD years. Whenever I got lost or stuck in my research, she would always try her best to gear me to the right track and point me to the right direction. Her candid and insightful feedback has been helping me overcome my weaknesses in the research. With her constant guidance and support over these years, I have grown to be a researcher that can independently conduct research.