Travelled to:1 × Taiwan
Collaborated with:H.Collavizza M.Rueher S.Devulder T.Gueguen
Talks about:counterexampl (1) constraint (1) strategi (1) generat (1) dynam (1) base (1) bmc (1)
Person: Nguyen Le Vinh
DBLP: Vinh:Nguyen_Le
Contributed to:
2011Wrote 1 papers:
- SAC-2011-CollavizzaVRDG #constraints #generative
- A dynamic constraint-based BMC strategy for generating counterexamples (HC, NLV, MR, SD, TG), pp. 1633–1638.