Login / Signup

Fault localization using a model checker.

Andreas GriesmayerStefan StaberRoderick Bloem
Published in: Softw. Test. Verification Reliab. (2010)
Keyphrases