[PDF][PDF] TQPropRefiner: How to Interactively Comprehend and Refine Specifications on Transient Software Quality Properties?

S Frank, J Brott, A Hakamian, A van Hoorn - dqualizer.github.io
TQPropRefiner: How to Interactively Comprehend and Refine Specifications on Transient
Software Quality Properties? Page 1 Sebastian Frank, Julian Brott, Alireza Hakamian, André van …