Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.

Holger Giese, Stefan Henkler, Martin Hirsch

Browse the full ICSE paper archive.