Can I read Extracting FSM from Java Programs on EtoBox?

Extracting FSM from Java Programs by Tamal Sen is a document available to read on EtoBox.

What is Extracting FSM from Java Programs about?

The paper presents a static analysis technique for extracting finite state machine models from sequential Java programs using symbolic execution. This approach helps in understanding program behavior, facilitates test case selection, and aids in software maintenance by reverse engineering state models from code. The technique, named StateJ, addresses challenges in maintaining accurate state models due to software evolution and provides a method for creating object state models based on execution summaries.

Author

Tamal Sen

Language

EN