Y. Cheon and C. E. Rubio-Medrano, “Random Test Data Generation for Java Classes Annotated with JML Specifications,” Proceedings of the 2007 International Conference on Software Engineering Research and Practice, Volume II, 25-28 June 2007, Las Vegas, pp. 385-392.

has been cited by the following article:

• TITLE: A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming

  AUTHORS: Khalid Benlhachmi, Mohammed Benattou

  KEYWORDS: Conformity Test; Security Test; Constraints Resolution; Formal Specification; Inheritance

  JOURNAL NAME: Journal of Information Security, Vol.4 No.2, April 23, 2013

  ABSTRACT: This paper presents an approach for extending the constraint model defined for conformity testing of a given method of class to its overriding method in subclass using inheritance principle. The first objective of the proposed work is to find the relationship between the test model of an overriding method and its overridden method using the constraint propagation. In this context the approach shows that the test cases developed for testing an original method can be used for testing its overriding method in a subclass and then the number of test cases can be reduced considerably. The second objective is the use of invalid data which do not satisfy the precondition constraint and induce valid output values for introducing a new concept of test called secure testing. The implementation of this approach is based on a random generation of test data and analysis by formal proof.