International Journal of Innovative Science Engineering and Technology (IJISET)
To aid program testing efforts and help program verification tools to find bugs and ensure correctness of systems the mined specifications can be used. Mining of specification process starts with a program under analysis and/or a set of test cases. By applying static or dynamic analysis method traces should be produced from the program. Techniques employing dynamic analysis require the running of the test cases to produce a set of traces which is later analyzed. Program traces are often long and involve several phases. Semantic clustering can be used to split the traces vertically into phases based on comments or annotations on source code.