Semi-Automatic Repair of Over-Constrained Models for Combinatorial Robustness Testing.

Konrad Fgen, Horst Lichter

Browse the full APSEC paper archive.