Program Testing Using High-Level Property-Driven Models.

Isabel Michiels Coen De Roover Johan Brichau Elisa Gonzalez Boix Theo D'Hondt Program Testing Using High-Level Property-Driven Models. 489-494 2006 conf/seke/2006 SEKE db/conf/seke/seke2006.html#MichielsRBBD06