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 prog... View More