報告題目：Toward Smarter Continuous Integration: Automated Fault Finding and Fixing with Sapienz at Facebook

　　報告人：Ke Mao

　　時間：2019年4月23日（周二） 上午10:00

　　地點：中科院軟件所 五號樓3層337會議室

　　Abstract:

　　Sapienz designs system tests that simulate user interactions with mobile apps. It automatically finds app issues, localizes, tracks and triages them to developers. SapFix automatically generates patches for specific bugs. This talk will cover how Sapienz is deployed at a large scale at Facebook, including its continuous integration with Facebook's development process, fault signal boosting with Infer static analysis and SapFix patch generation. This talk contains joint work of the whole Sapienz team and its partners and collaborators at Facebook.

　　Bio:

　　Ke Mao is a software engineer at Facebook where he works on Sapienz for automated fault finding and fixing. Sapienz has been deployed at Facebook since October 2017. It automatically designs, executes, and reports results of tests on the Facebook's Android and iOS apps that are used by over a billion users worldwide every day. Related papers have published on top ranked conferences such as ICSE, ASE, ISSTA. Sapienz grew out of his PhD research work. He co-founded the start-up Majicke with Prof. Mark Harman and Dr. Yue Jia and later the co-founders moved to Facebook in February 2017. He holds a PhD degree in computer science from University College London (UCL) and an MS in computer science from the Institute of Software, Chinese Academic of Sciences (ISCAS).