Generation of Integration Tests for Self-Testing Components.

Leonardo Mariani, Mauro Pezz, David Willmor

Browse the full FORTE paper archive.