Test case generation for Java Bytecode programs annotated with BML specifications

The work presented in this paper extends an existing constraint model defined to automatically generate test inputs for java Bytecode programs. We propose to consider also BML specifications for generating valid test data. The main objective is to apply constraint based testing on java bytecode program annotated with BML for detecting the valid execution paths, to check the validity of the returned result, to reduce the domain of input data, and to perform coverage of the testing method under test.