Effective unit-testing in model-based software development.

Damodaram Kamma, Pooja Maruthi

Browse the full ICSE paper archive.