This project uses ACM library to build a program`s control flow graph(directed graph) in tree represenation which then can be used to change the existing code ...

The paper details the first step of testing constraint specifications which consist of modeling and generating control flow graph in inter and intra procedural level from the byte code of java-card ...

Linear Control Programming project, implemented using JavaSE to calculate the overall transfer function given its signal flow graph which can be drawn easily using a friendly graphical user interface.