TY  - RPRT
TI  - Differential Testing for Variational Analyses: Experience from Developing KConfigReader
AU  - Christian Kästner
PY  - 2017
UR  - https://arxiv.org/abs/1706.09357
ID  - 1706.09357
ER  -