Tamal Sen

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We present a static analysis-based technique for reverse engineering finite state machine models from a large subset of sequential Java programs. Our approach enumerates all feasible program paths in a class using symbolic execution and records execution summary for each path. Subsequently, it creates states and transitions by analyzing symbolic execution(More)
  • 1