Browsing by Author "Liu, Bozhen"
Now showing items 1-4 of 4
-
Liu, Bozhen (2023-05-15)Nowadays, the number of code bases are growing explosively together with their size and complexity, where million lines of code become common to see. To guarantee the correctness and quality of software applications, program ...
-
Liu, Bozhen (2023-05-15)Nowadays, the number of code bases are growing explosively together with their size and complexity, where million lines of code become common to see. To guarantee the correctness and quality of software applications, program ...
-
Liu, Bozhen (2023-05-15)Nowadays, the number of code bases are growing explosively together with their size and complexity, where million lines of code become common to see. To guarantee the correctness and quality of software applications, program ...
-
Liu, Bozhen (2019-05-06)Concurrency bug detection is important to guarantee the correct behavior of multithread programs. However, existing static techniques are expensive with false positives, and dynamic analyses cannot expose all potential ...