https://zbchen.github.io/portfolio/portfolio-1/ https://zbchen.github.io/portfolio/portfolio-2/ https://zbchen.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00-07:00 https://zbchen.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00-07:00 https://zbchen.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00-07:00 https://zbchen.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00-07:00 https://zbchen.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00-08:00 https://zbchen.github.io/projects/2012-nsfc/ 2014-12-31T00:00:00-08:00 https://zbchen.github.io/projects/2015-nsfc/ 2018-12-31T00:00:00-08:00 https://zbchen.github.io/projects/2018-nsfc/ 2021-12-31T00:00:00-08:00 https://zbchen.github.io/projects/2022-nsfc/ 2025-12-31T00:00:00-08:00 https://zbchen.github.io/publications/2005-jos-Chen/ https://zbchen.github.io/publications/2006-compsac-ChenWDQY06/ https://zbchen.github.io/publications/2006-entcs-DongCW07/ https://zbchen.github.io/publications/2006-sitis-ChenWDQ06/ https://zbchen.github.io/publications/2007-birthday-ChenLLSY07/ https://zbchen.github.io/publications/2007-dagstuhl-ChenHHKLLLNORSYZ07/ https://zbchen.github.io/publications/2007-iceccs-ChenLSYR07/ https://zbchen.github.io/publications/2007-ijbpim-ChenWDQ07/ https://zbchen.github.io/publications/2008-entcs-DingCL08/ https://zbchen.github.io/publications/2009-fsen-ChenMS09/ https://zbchen.github.io/publications/2009-scp-ChenLRSZ09/ https://zbchen.github.io/publications/2010-ictac-ChenL10/ https://zbchen.github.io/publications/2011-dsn-RaoWSCCZS11/ https://zbchen.github.io/publications/2011-fm-ChenLW11/ https://zbchen.github.io/publications/2012-IEEEcloud-FanCWZL12/ https://zbchen.github.io/publications/2012-compsac-MiWCZLC12/ https://zbchen.github.io/publications/2012-icpads-FanCWZ12/ https://zbchen.github.io/publications/2012-ijwgs-FanWCZL12/ https://zbchen.github.io/publications/2012-issre-ZhangCW12/ https://zbchen.github.io/publications/2012-sigsoft-ZhangCW12/ https://zbchen.github.io/publications/2012-tcs-ChenLW12/ https://zbchen.github.io/publications/2013-rv-WangCM13/ https://zbchen.github.io/publications/2013-wsfm-YuCW13/ https://zbchen.github.io/publications/2014-IEEEcloud-ZhouCWZL14/ https://zbchen.github.io/publications/2014-apsec-FuCHDW14/ https://zbchen.github.io/publications/2014-cloudcom-ZhouCWZL14/ https://zbchen.github.io/publications/2014-corr-FuCZHW14/ https://zbchen.github.io/publications/2014-ijwgs-FanCWZL14/ https://zbchen.github.io/publications/2014-issre-ZhouCWZD14/ https://zbchen.github.io/publications/2014-sose-MiWCZ14/ https://zbchen.github.io/publications/2014-sose-ZhouCMW14/ https://zbchen.github.io/publications/2014-ssiri-YuCD14/ https://zbchen.github.io/publications/2015-hase-FuCZHDW15/ https://zbchen.github.io/publications/2015-icse-FuCYHDW15/ https://zbchen.github.io/publications/2015-icse-ZhangCWD015/ https://zbchen.github.io/publications/2015-icse-ZhouCW15/ https://zbchen.github.io/publications/2017-sigsoft-YuCZWD17/ https://zbchen.github.io/publications/2018-corr-abs-1803-06300/ https://zbchen.github.io/publications/2018-corr-abs-1811-07108/ https://zbchen.github.io/publications/2018-icse-LiuC0F18/ https://zbchen.github.io/publications/2018-icse-Wang0CZWL18/ https://zbchen.github.io/publications/2018-icse-YuCWS018/ https://zbchen.github.io/publications/2018-tsc-ZhouCWZL18/ https://zbchen.github.io/publications/2019-chinaf-HongCYW19/ https://zbchen.github.io/publications/2019-jos-ZhangCC/ https://zbchen.github.io/publications/2019-sigsoft-ChenYWD19/ https://zbchen.github.io/publications/2020-corr-abs-2002-03328/ https://zbchen.github.io/publications/2020-icse-ChenYFW20/ https://zbchen.github.io/publications/2020-icse-YuCFWSSHD20/ https://zbchen.github.io/publications/2020-jzusc-HongLCDW20/ https://zbchen.github.io/publications/2020-kbse-ChenCSZP20/ https://zbchen.github.io/publications/2020-kbse-LiuHPFCW20/ https://zbchen.github.io/publications/2020-kbse-ZhangCSZLW20/ https://zbchen.github.io/publications/2020-kbse-ZhangZCSW20/ https://zbchen.github.io/publications/2020-setta-YuCHW20/ https://zbchen.github.io/publications/2021-corr-abs-2102-05485/ https://zbchen.github.io/publications/2021-fm-HongCDW21/ https://zbchen.github.io/publications/2021-issre-LuoLLC021/ https://zbchen.github.io/publications/2021-issta-ChenCSZP0021/ https://zbchen.github.io/publications/2021-issta-PanCZL0021/ https://zbchen.github.io/publications/2021-issta-ShuaiC0S021/ https://zbchen.github.io/publications/2021-qrs-LiuZCS21/ https://zbchen.github.io/publications/2022-apsec-ZhangCS22/ https://zbchen.github.io/publications/2022-apsec-ZhangCSZW22/ https://zbchen.github.io/publications/2022-tase-DuHCW22/ https://zbchen.github.io/publications/2023-ase-ZhaoLCW23/ https://zbchen.github.io/publications/2023-aspec-Hu23/ https://zbchen.github.io/publications/2023-aspec-Shuai23/ https://zbchen.github.io/publications/2023-jos-DuHCW/ https://zbchen.github.io/publications/2023-jsep-Chen23/ https://zbchen.github.io/publications/2023-neurips-Zhang23/ https://zbchen.github.io/publications/2023-rv-XiongCXZ23/ https://zbchen.github.io/publications/2023-saner-YuYYLCH23/ https://zbchen.github.io/publications/2023-setta-Hong23/ https://zbchen.github.io/publications/2023-tkde-Zhang23/ https://zbchen.github.io/publications/2024-ase-Zhang24/ https://zbchen.github.io/publications/2024-fase-Zhang24/ https://zbchen.github.io/publications/2024-fse-Shuai24/ https://zbchen.github.io/publications/2024-fse-poster-Liu24/ https://zbchen.github.io/publications/2024-jss-Yang24/ https://zbchen.github.io/publications/2024-scp-Hong24/ https://zbchen.github.io/publications/2024-tacas-Wang24/ https://zbchen.github.io/publications/2025-chinaf-Ding25/ https://zbchen.github.io/publications/2025-fse-Wang25/ https://zbchen.github.io/publications/2025-fse-poster-Bian25/ https://zbchen.github.io/publications/2025-oopsla-Zhang25/ https://zbchen.github.io/publications/2025-tacas-Lin25/ https://zbchen.github.io/publications/2025-tosem-Zhu25/ https://zbchen.github.io/publications/2026-fase-zhang26/ https://zbchen.github.io/publications/2026-fm-Du/ https://zbchen.github.io/publications/2026-fm-Zhang/ https://zbchen.github.io/publications/2026-icse-YaoLiu/ https://zbchen.github.io/publications/2026-icse-nier-he/ https://zbchen.github.io/publications/2026-oopsla-Ma26/ https://zbchen.github.io/services/ACMCS/ https://zbchen.github.io/services/AI-Testing/ https://zbchen.github.io/services/ASE/ https://zbchen.github.io/services/ESE/ https://zbchen.github.io/services/FACS/ https://zbchen.github.io/services/FCS/ https://zbchen.github.io/services/FM/ https://zbchen.github.io/services/FMAC/ https://zbchen.github.io/services/FormaliSE/ https://zbchen.github.io/services/ICFEM/ https://zbchen.github.io/services/ICSE/ https://zbchen.github.io/services/ICTAC/ https://zbchen.github.io/services/ISSTA/ https://zbchen.github.io/services/IST/ https://zbchen.github.io/services/Internetware/ https://zbchen.github.io/services/JCST/ https://zbchen.github.io/services/JISA/ https://zbchen.github.io/services/JLAMP/ https://zbchen.github.io/services/JOS/ https://zbchen.github.io/services/JSS/ https://zbchen.github.io/services/MODELS/ https://zbchen.github.io/services/NASAC/ https://zbchen.github.io/services/OOPSLA/ https://zbchen.github.io/services/SANER/ https://zbchen.github.io/services/SATE/ https://zbchen.github.io/services/SCIS/ https://zbchen.github.io/services/SCP/ https://zbchen.github.io/services/SEFM/ https://zbchen.github.io/services/SETTA/ https://zbchen.github.io/services/SQJ/ https://zbchen.github.io/services/SV-COMP/ https://zbchen.github.io/services/TASE/ https://zbchen.github.io/services/TEST-COMP/ https://zbchen.github.io/services/TOSEM/ https://zbchen.github.io/services/TR/ https://zbchen.github.io/services/TSE/ https://zbchen.github.io/services/VECoS/ https://zbchen.github.io/services/YR-FMAC/ https://zbchen.github.io/services/YR-SETTA/ https://zbchen.github.io/students/2008-fp/ 2012-12-31T00:00:00-08:00 https://zbchen.github.io/students/2009-zyf/ 2013-12-31T00:00:00-08:00 https://zbchen.github.io/students/2010-fxj/ 2015-12-31T00:00:00-08:00 https://zbchen.github.io/students/2011-zjw/ 2015-12-31T00:00:00-08:00 https://zbchen.github.io/students/2015-lyj/ 2017-12-31T00:00:00-08:00 https://zbchen.github.io/students/2015-jww/ 2018-09-01T00:00:00-07:00 https://zbchen.github.io/students/2014-yhb/ 2018-12-31T00:00:00-08:00 https://zbchen.github.io/students/2017-fcd/ 2019-12-31T00:00:00-08:00 https://zbchen.github.io/students/2017-hwj/ 2019-12-31T00:00:00-08:00 https://zbchen.github.io/students/2018-czh/ 2021-09-01T00:00:00-07:00 https://zbchen.github.io/students/2018-ljj/ 2021-09-01T00:00:00-07:00 https://zbchen.github.io/students/2018-ztq/ 2021-09-01T00:00:00-07:00 https://zbchen.github.io/students/2019-dyd/ 2022-06-01T00:00:00-07:00 https://zbchen.github.io/students/2019-ly/ 2022-06-01T00:00:00-07:00 https://zbchen.github.io/students/2019-pwy/ 2022-06-01T00:00:00-07:00 https://zbchen.github.io/students/2022-lkl-1/ 2022-07-01T00:00:00-07:00 https://zbchen.github.io/students/2022-lzy/ 2022-07-01T00:00:00-07:00 https://zbchen.github.io/students/2022-mkl-1/ 2022-07-01T00:00:00-07:00 https://zbchen.github.io/students/2023-wd/ 2022-07-01T00:00:00-07:00 https://zbchen.github.io/students/2019-lmx/ 2022-09-01T00:00:00-07:00 https://zbchen.github.io/students/2020-zgf/ 2022-12-31T00:00:00-08:00 https://zbchen.github.io/students/2019-szq/ 2023-06-01T00:00:00-07:00 https://zbchen.github.io/students/2020-lyl/ 2023-06-01T00:00:00-07:00 https://zbchen.github.io/students/2023-by/ 2023-07-01T00:00:00-07:00 https://zbchen.github.io/students/2023-hj/ 2023-07-01T00:00:00-07:00 https://zbchen.github.io/students/2023-hzr-1/ 2023-07-01T00:00:00-07:00 https://zbchen.github.io/students/2023-xsb/ 2023-07-01T00:00:00-07:00 https://zbchen.github.io/students/2020-hnh/ 2023-12-10T00:00:00-08:00 https://zbchen.github.io/students/2020-zsa/ 2023-12-10T00:00:00-08:00 https://zbchen.github.io/students/2021-hps/ 2023-12-10T00:00:00-08:00 https://zbchen.github.io/students/2020-hwj/ 2024-06-01T00:00:00-07:00 https://zbchen.github.io/students/2021-lly/ 2024-06-01T00:00:00-07:00 https://zbchen.github.io/students/2021-wz/ 2024-06-01T00:00:00-07:00 https://zbchen.github.io/students/2021-xyc/ 2024-06-01T00:00:00-07:00 https://zbchen.github.io/students/2024-chk/ 2024-07-01T00:00:00-07:00 https://zbchen.github.io/students/2024-cmh/ 2024-07-01T00:00:00-07:00 https://zbchen.github.io/students/2022-bz/ 2025-06-01T00:00:00-07:00 https://zbchen.github.io/students/2022-mkl/ 2025-06-01T00:00:00-07:00 https://zbchen.github.io/students/2025-cys/ 2025-07-01T00:00:00-07:00 https://zbchen.github.io/students/2025-djq/ 2025-07-01T00:00:00-07:00 https://zbchen.github.io/students/2025-wq/ 2025-07-01T00:00:00-07:00 https://zbchen.github.io/students/2023-hzr/ 2026-01-01T00:00:00-08:00 https://zbchen.github.io/students/2023-ly/ 2026-01-01T00:00:00-08:00 https://zbchen.github.io/students/2023-yjq/ 2026-01-01T00:00:00-08:00 https://zbchen.github.io/students/2022-lkl/ 2027-01-01T00:00:00-08:00 https://zbchen.github.io/students/2022-yx/ 2027-01-01T00:00:00-08:00 https://zbchen.github.io/students/2024-cmh-1/ 2027-01-01T00:00:00-08:00 https://zbchen.github.io/students/2024-dml/ 2027-01-01T00:00:00-08:00 https://zbchen.github.io/students/2023-lmx/ 2028-01-01T00:00:00-08:00 https://zbchen.github.io/students/2023-mk/ 2028-01-01T00:00:00-08:00 https://zbchen.github.io/students/2023-zgf/ 2028-01-01T00:00:00-08:00 https://zbchen.github.io/students/2023-wxd/ 2028-06-01T00:00:00-07:00 https://zbchen.github.io/students/2023-zwm/ 2028-06-01T00:00:00-07:00 https://zbchen.github.io/students/2024-dyd/ 2028-12-01T00:00:00-08:00 https://zbchen.github.io/students/2024-hps/ 2028-12-01T00:00:00-08:00 https://zbchen.github.io/students/2024-lh/ 2028-12-01T00:00:00-08:00 https://zbchen.github.io/students/2024-tx/ 2028-12-01T00:00:00-08:00 https://zbchen.github.io/students/2024-wl/ 2028-12-01T00:00:00-08:00 https://zbchen.github.io/students/2024-zpy/ 2028-12-01T00:00:00-08:00 https://zbchen.github.io/students/2025-wz/ 2029-12-01T00:00:00-08:00 https://zbchen.github.io/students/2025-yjq/ 2029-12-01T00:00:00-08:00 https://zbchen.github.io/talks/2010-09-ictac/ 2010-09-01T00:00:00-07:00 https://zbchen.github.io/talks/2011-06-fm/ 2011-06-20T00:00:00-07:00 https://zbchen.github.io/talks/2012-11-icpads/ 2012-11-17T00:00:00-08:00 https://zbchen.github.io/talks/2013-08-ws-fm/ 2013-08-29T00:00:00-07:00 https://zbchen.github.io/talks/2014-04-sose/ 2014-04-07T00:00:00-07:00 https://zbchen.github.io/talks/2014-11-issre/ 2014-11-03T00:00:00-08:00 https://zbchen.github.io/talks/2014-12-apsec/ 2014-12-01T00:00:00-08:00 https://zbchen.github.io/talks/2015-05-icse/ 2015-05-16T00:00:00-07:00 https://zbchen.github.io/talks/2018-05-icse/ 2018-05-28T00:00:00-07:00 https://zbchen.github.io/talks/2019-11-jpf/ 2019-11-11T00:00:00-08:00 https://zbchen.github.io/talks/2020-09-icse/ 2020-09-21T00:00:00-07:00 https://zbchen.github.io/talks/2021-07-issta-1/ 2021-07-11T00:00:00-07:00 https://zbchen.github.io/talks/2021-07-issta-2/ 2021-07-11T00:00:00-07:00 https://zbchen.github.io/talks/2021-07-issta-3/ 2021-07-11T00:00:00-07:00 https://zbchen.github.io/talks/2022-11-chinasoft/ 2022-11-27T00:00:00-08:00 https://zbchen.github.io/talks/2023-12-chinasoft/ 2023-12-01T00:00:00-08:00 https://zbchen.github.io/talks/2024-04-klee/ 2024-04-15T00:00:00-07:00 https://zbchen.github.io/talks/2024-07-FSE/ 2024-07-18T00:00:00-07:00 https://zbchen.github.io/talks/2024-11-chinasoft/ 2024-11-17T00:00:00-08:00 https://zbchen.github.io/talks/2025-05-FSE/ 2025-06-24T00:00:00-07:00 https://zbchen.github.io/talks/2025-11-chinasoft/ 2025-11-29T00:00:00-08:00 https://zbchen.github.io/teaching/2015-spring-teaching/ 2015-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2015-autumn-teaching/ 2015-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2016-spring-teaching/ 2016-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2016-autumn-teaching/ 2016-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2017-spring-teaching/ 2017-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2018-spring-teaching/ 2018-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2018-autumn-teaching/ 2018-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2020-spring-teaching-1/ 2020-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2020-spring-teaching-2/ 2020-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2020-autumn-teaching/ 2020-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2021-spring-teaching-1/ 2021-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2021-spring-teaching-2/ 2021-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2021-autumn-teaching/ 2021-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2022-spring-teaching-1/ 2022-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2022-spring-teaching-2/ 2022-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2022-autumn-teaching-1/ 2022-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2022-autumn-teaching-2/ 2022-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2023-spring-teaching-1/ 2023-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2023-spring-teaching-2/ 2023-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2023-autumn-teaching-1/ 2023-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2023-autumn-teaching-2/ 2023-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2024-spring-teaching-1/ 2024-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2024-spring-teaching-2/ 2024-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2024-autumn-teaching-1/ 2024-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2024-autumn-teaching-2/ 2024-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2024-autumn-teaching-3/ 2024-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2025-spring-teaching-1/ 2025-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2025-spring-teaching-2/ 2025-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2025-autumn-teaching-1/ 2025-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2025-autumn-teaching-2/ 2025-09-01T00:00:00-07:00 https://zbchen.github.io/teaching/2026-spring-teaching-1/ 2026-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2026-spring-teaching-2/ 2026-01-01T00:00:00-08:00 https://zbchen.github.io/teaching/2026-spring-teaching-3/ 2026-01-01T00:00:00-08:00 https://zbchen.github.io/ https://zbchen.github.io/archive-layout-with-content/ https://zbchen.github.io/categories/ https://zbchen.github.io/collection-archive/ https://zbchen.github.io/cv/ https://zbchen.github.io/markdown/ https://zbchen.github.io/non-menu-page/ https://zbchen.github.io/page-archive/ https://zbchen.github.io/portfolio/ https://zbchen.github.io/projects/ https://zbchen.github.io/publications/ https://zbchen.github.io/services/ https://zbchen.github.io/sitemap/ https://zbchen.github.io/students/ https://zbchen.github.io/tags/ https://zbchen.github.io/talkmap.html https://zbchen.github.io/talks/ https://zbchen.github.io/talks/ https://zbchen.github.io/teaching/ https://zbchen.github.io/terms/ https://zbchen.github.io/year-archive/ https://zbchen.github.io/markdown_generator/ https://zbchen.github.io/files/MiWCZLC12.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/RaoWSCCZS11.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/SETTA2020.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/apsec2014.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/apsec2014_slides.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/apsec2022-1.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/apsec2022-2.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/arXiv2018.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/arXiv2018_2.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/arXiv2020.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/arXiv2021.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ase-2020-1.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ase-2020-2.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ase-2020-3.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ase-2020-4.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ase-nier2023.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ase2024.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/chinaf2019.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/cloud2012.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/cloud2014.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/cloudcom2014.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/cocome.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/compsac2006.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/css2012.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/fase2024.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/fase2026.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/festschrift07.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/fm2011.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/fm2011_slides.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/fm2021.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/fse-2024-slides.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/fse-2025-slides.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/fse2017demo.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/fse2024-poster.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/fse2024.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/fse2025-poster.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/fse2025.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/fsen2009.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/hase2014.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/iceccs2007.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/icse-2020-demo.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/icse-2020-preprint.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/icse-2020-slides.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/icse2015.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/icse2015_slides.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/icse2015poster1.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/icse2015poster2.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/icse2018-1.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/icse2018-2.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/icse2018_slides.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/icse2018poster.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/icse2026.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ictac2010.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ictac2010_slides.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ijbpim2007.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ijwgs.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ijwgs2014.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/issre2012.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/issre2014.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/issta-2021-1.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/issta-2021-2.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/issta-2021-3.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/issta-2021-slides-1.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/issta-2021-slides-2.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/issta-2021-slides-3.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/jpf2012.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/jss2024.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/klee-2024-slides.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/oopsla2025.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/paper1.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/paper2.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/paper3.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/rv2013.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/rv2023.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/scp2009.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/setta2023.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/sitis2006.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/sose2014.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/tacas2024.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/tacas2025.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/tase2022.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/tcs12.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ttss2007.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ws-fm2013.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/files/ws-fm2013_slides.pdf 2026-03-20T08:37:00-07:00 https://zbchen.github.io/talkmap/map.html 2026-03-20T08:37:00-07:00