A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools
type: Dataset
description: International audience
issued: 2026-05-05T16:15:06.869431
language: en
modified: 2026-05-05T16:15:06.869436
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: sccocompcognitive-sciencecomputer-science
landing page: Runtime Verification (RV 2013)

A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools
type: Distribution
format: HTML
issued: 2026-05-05T16:15:06.872096
modified: 2026-05-05T16:15:06.864398
access URL: https://inria.hal.science/hal-00974764

test_moissonnage_selune
type: Agent