TY  - RPRT
TI  - Extracting Formal Specifications to Strenghten Type Behaviour Testing
AU  - Dimitri Racordon
AU  - Didier Buchs
PY  - 2017
UR  - https://arxiv.org/abs/1708.05194
ID  - 1708.05194
ER  -