Workflow-based modeling of web application and automatically generating test sequences
L Dong, H Li, S Zhang - 2013 13th international conference on …, 2013 - ieeexplore.ieee.org
Web applications are main applications in Internet. Before developing Web Application, a
CPN (Colored Petri net) model based on workflow is constructed. By this way, the rationality …
CPN (Colored Petri net) model based on workflow is constructed. By this way, the rationality …
State space coverage and deterministically testing concurrent software
P Cordemans, E Steegmans… - … in ICT, Date: 2013/09/11 …, 2013 - lirias.kuleuven.be
Due to state space explosion of concurrent software, it is hard to determine state space
coverage of a particular test. Moreover, non-deterministic execution violates the premise of …
coverage of a particular test. Moreover, non-deterministic execution violates the premise of …