Publisher
Springer International Publishing
Reference59 articles.
1. Aiguier, M., Arnould, A., Boin, C., Gall, P.L., Marre, B.: Testing from algebraic specifications: Test data set selection by unfolding axioms. In: Formal Approaches to Software Testing, 5th International Workshop, FATES. Lecture Notes in Computer Science, vol. 3997, pp. 203–217. Springer (2005)
2. Arnold, A., Gaudel, M., Marre, B.: An experiment on the validation of a specification by heterogeneous formal means: The transit node. In: 5th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA5). pp. 24–34 (1995)
3. Barbey, S., Buchs, D.: Testing Ada abstract data types using formal specifications. In: 1st Int. Eurospace-Ada-Europe Symposium. pp. 76–89. No. 887 in Lecture Notes in Computer Science, Springer Verlag (1994)
4. Barbey, S., Buchs, D., Péraire, C.: A theory of specification-based testing for object-oriented software. In: EDCC-2, Second European Dependable Computing Conference,Proceedings. Lecture Notes in Computer Science, vol. 1150, pp. 303–320. Springer (1996)
5. Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: A survey. IEEE Trans. Software Eng. 41(5), 507–525 (2015)