Reference: B. K. Aichernig and C. George.
When specification-based testing fails.
In Proceedings of PRISE 2004, the First Conference on the PRInciples of
Software Engineering, Buenos Aires, Argentina, November 22 - 27, 2004.,
2004.
www-data,
2020-09-10