CPBPV

MaRDI QIDQ12932swMATHFDO

Official website http://www.springerlink.com/content/j22226282p0v4220/fulltext.pdf

Described by source

• CPBPV: a constraint-programming framework for bounded program verification

Cited in

(5)

• Constraint-based fitness function for search-based software testing
• OSMOSE
• TCAS
• BINSEC/SE
• Sharpening constraint programming approaches for bit-vector theory

This page was built for software: CPBPV