Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 16:40 - 17:00 at Laurier - Analysis and Verification Chair(s): Domenico Bianculli

Program analysis tools typically compute either may or must information. By accumulating both kinds of information computed with respect to different portions of a program’s state space, it is possible to collect a comprehensive view of how program inputs relate to some property. This can be done using the framework of an alternating conditional analysis (ACA). In this paper, we present a toolset that instantiates an ACA to analyze C programs. The toolset, dubbed ALPACA (A Large Portfolio-based ACA), computes a sound characterization of all the ways a program either may or must satisfy some property. It does so by alternating between over- and underapproximate analyses, conditioning analyses to ignore portions of the program that have already been analyzed, and combining the results of 14 state-of-the-art analysis tools in a portfolio run in parallel. Download ALPACA at Its video demonstration is at

Wed 29 May
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

16:00 - 18:00: Papers - Analysis and Verification at Laurier
Chair(s): Domenico BianculliUniversity of Luxembourg
icse-2019-Technical-Papers16:00 - 16:20
Minxue PanNanjing University, Shouyu ChenNanjing University, Yu PeiThe Hong Kong Polytechnic University, Tian ZhangNanjing University, Xuandong LiNanjing University
icse-2019-Technical-Papers16:20 - 16:40
Sora BaeOracle Labs, Australia, Sungho LeeKAIST, South Korea, Sukyoung RyuKAIST, South Korea
icse-2019-Demonstrations16:40 - 17:00
Mitchell GerrardUniversity of Virginia, Matthew DwyerUniversity of Virginia
icse-2019-Demonstrations17:00 - 17:20
Derrick LockwoodIowa State University, Benjamin Holland, Suresh KothariIowa State University, USA
icse-2019-Technical-Papers17:20 - 17:40
Richard RutledgeGeorgia Institute of Technology, Sunjae ParkGeorgia Institute of Technology, Haider KhanGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech, Milos PrvulovicGeorgia Institute of Technology, Alenka ZajicGeorgia Institute of Technology
icse-2019-Journal-First-Paper17:40 - 17:50
Rezwana KarimSamsung Research America, Frank TipNortheastern University, Alena SochurkovaAvast, Koushik SenUniversity of California, Berkeley
icse-2019-Paper-Presentations17:50 - 18:00