Test-Case Calculation through Abstraction
Abstract:
Reference: B. K. Aichernig.
Test-case calculation through abstraction.
In J. N. Oliveira and P. Zave, editors, Proceedings of Formal Methods
Europe 2001, FME 2001: Formal Methods for Increasing Software Productivity,
March 12-16 2001, Berlin, Germany, volume 2021 of Lecture Notes in
Computer Science, pages 571-589. Springer Verlag, 2001.
www-data,
2020-09-10