Dwarakanathan, Srinivasan

Email Address
Research Projects
Organizational Units
Research Interests

Search Results

Now showing 1 - 1 of 1
  • Publication
    High-Level Model Extraction via Symbolic Execution
    (2012-01-01) Wang, Shaohui; Dwarakanathan, Srinivasan; Sokolsky, Oleg; Lee, Insup
    We study the problem of extracting high-level state machine models from software source code. Our target domain is GUI-driven applications for small hand-held devices such as cell phones and PDAs. In such systems, a natural high-level model is captured by a state machine, where states are GUI screens and button/menu item tappings are actions that trigger transitions between states. The paper presents a symbolic execution technique that allows us to identify states and transitions from the application source code. We discuss an implementation of this technique that operates on a large subset of the C# language and apply as a case study to the subsystem of a decision support tool for medical diagnosis.