In this paper to avoid this problem, we used binary decision diagram, a model checking technique to reduce state space at the time of state machine generation.

To understand and analyze extreme dynamism of web application, we implemented a tool which is used to generate state machine model of dynamic behavior of user ...

A tool which is used to generate state machine model of dynamic behavior of user session is implemented, a model checking technique to reduce state space at ...

In this paper to avoid this problem, we used binary decision diagram, a model checking technique to reduce state space at the time of state machine generation.

122–134, 2008. [6] A. Arora and M. Sinha, “Avoiding state explosion problem of generated AJAX web application state machine. using BDD,”in Sixth Int. Conf ...

Jul 1, 2023 · In [6] the authors have discussed the use of Binary. Decision Diagrams (BDD) to avoid state explosion problem. In their approach the state ...

May 29, 2018 · ... BDD qualities, such as handling more states1 (avoiding?! the state-space explosion problem), general speedup2 (bounded model checking), using ...

18. Anuja Arora and Madhavi Sinha , “Avoiding State Explosion Problem of Generated AJAX. Web Application State Machine using BDD”, in Proc. 6th International ...

Apr 25, 2024 · Avoiding state explosion problem of generated AJAX web application state machine using BDD. IC3 2013: 381-386. [+][–]. Coauthor network.

Avoiding state explosion problem of generated AJAX web application state machine using BDD · Anuja AroraMadhavi Sinha. Computer Science. 2013 Sixth ...