Program Testing Using High-Level Property-Driven Models.

Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix, Theo D'Hondt

Browse the full SEKE paper archive.