Login / Signup

LuMiNous - model-driven assertion generation for runtime failure detection.

Mauro PezzèJochen Wuttke
Published in: ICSE Companion (2009)
Keyphrases