Selective Concolic Testing

Singapore Management University Institutional Knowledge (InK) (Singapore Management University) 2026 Open access

Read full text
Authors: Guofeng Zhang
DOI: 10.5281/zenodo.18603532
Cited by: 0

Abstract

This is the artifact of paper "Selective Concolic Testing" from FM 2026.

Fields of Study & Subjects

Software Testing and Debugging Techniques Formal Methods in Verification Logic programming and type systems

Publication details

Journal / source
Singapore Management University Institutional Knowledge (InK) (Singapore Management University)
Publication date
11 February 2026
Language
EN