• View
• Edit
• History
• Print

SEFM session

• Deductive Compilation (Reiner, 30 min)
• Achieving MCDC coverage with automated testgeneration (Gabriele, 25 min)
• Denotational Semantics of Asynchronous Objects (Wolfgang, 40-45 min)

All times include discussion time.