CPBPV

swMATH164MaRDI QIDQ12932FDOQ12932

Author name not available (Why is that?)

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