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

Journals Menu

Follow SCIRP

ISSN Print: 2153-1234
ISSN Online: 2153-1242
www.scirp.org/journal/jis
E-mail: jis@scirp.org

"A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming"
written by Khalid Benlhachmi, Mohammed Benattou,
published by Journal of Information Security, Vol.4 No.2, 2013

has been cited by the following article(s):

[1]	Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs
	2018

[2]	Constraint Based Testing and Verification of Java Bytecode Programs
	2018

[3]	A Model Based Testing Approach for Java Bytecode Programs
	2018

[4]	A Model Based Testing Approach for Java Bytecode Programs.
	2018

[5]	A Constraint-Based Verification Approach for Java Bytecode Programs
	2018

[6]	Test case generation for Java Bytecode programs annotated with BML specifications
	2016

[7]	Conformity Behavior of Dissimilar Methods for Object Oriented Constraint Programming
	2015

Follow SCIRP