Program Analysis through Testing, Learning and Verification (TLA)

Home / Research / Research Projects  / Program Analysis through Testing, Learning and Ver...
PISun Jun Funding Source:  MOE
Co PI:  - Start Date:  10 January, 2013
Research Areas:  Software Technologies End Date:  30 September, 2016

In this work, we propose to develop a scalable method and software toolkit, which is not only capable of finding bugs efficiently but also provide formal guarantee or conditional guarantee for bug freeness. That is, the proposed toolkit aims to combine the strength of testing and verification while avoiding their problems. The toolkit is composed of three main components, a tester which is built based on state-of-art testing techniques; a verifier which adopts advanced verification techniques; and a learner which uses learning techniques from machine learning community to connect the world of testing and verification.