Thu 21 May 2026 14:10 - 14:35 at 2F Conference Room - TAP Session 2: Program Analysis, Testing & Coverage Chair(s): Nikolai Kosmatov
Thu 21 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Thu 21 May
Displayed time zone: Osaka, Sapporo, Tokyo change
14:10 - 15:35 | TAP Session 2: Program Analysis, Testing & CoverageTAP Track at 2F Conference Room Chair(s): Nikolai Kosmatov Thales Research & Technology | ||
14:10 25mTalk | Selective Concolic Testing TAP Track Guofeng Zhang College of Computer, National University of Defense Technology, Zhenbang Chen College of Computer, National University of Defense Technology, Ziqi Shuai School of Computer, National University of Defense Technology, China, Jun Sun Singapore Management University, Weijiang Hong National University of Defense Technology, Changsha, China, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology, Yang Liu | ||
14:35 25mTalk | From Execution to Necessity: Proof-Based Metrics for Code Coverage TAP Track | ||
15:00 25mTalk | Active Automata Learning with Noisy Data: From Big to Small Data TAP Track Felix Wallner Institute for Formal Models and Verification, Johannes Kepler University Linz, Bernhard Aichernig Johannes Kepler University, Linz, Benjamin von Berg Graz University of Technology, Maximilian Rindler Graz University of Technology | ||