Vol-1888⫷ Vol-1889 ⫸Vol-1890
urn:nbn:de:0074-1889-0


Vol-1889/invited2⫷Vol-1889/paper1⫸Vol-1889/paper2
Aina NiemetzMathias PreinerArmin Biere

Model-Based API Testing for SMT Solvers