Sign in

Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications.

Wei DouDomenico BianculliLionel C. Briand
Published in: MoDELS (2018)
Keyphrases