Using Petri Nets to Test Concurrent Behavior of Web Applications

Thummala, Sunitha; Offutt, Jeff

doi:10.1109/icstw.2016.15

Cited by 3 publications

(1 citation statement)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This approach has been used for a large class of applications from security of Android systems [23] to digital ecosystems [19]. A large variety of models can be used for model-based testing such as Petri nets [24], timed automata [27], pushdown automata [11], process algebra [2], etc. Moreover, a strength of model-based testing is that it can be combined with several verification approaches, such as model-checking [8] or those using SMT-solvers [1].…”

Section: Related Workmentioning

confidence: 99%

An Approximation-Based Approach for the Random Exploration of Large Models

Bernard

Héam

Kouchnarenko

2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

System modeling is a classical approach to ensure their reliability since it is suitable both for a formal verification and for software testing techniques. In the context of model-based testing an approach combining random testing and coverage based testing has been recently introduced [9]. However, this approach is not tractable on quite large models. In this paper we show how to use statistical approximations to make the approach work on larger models. Experimental results, on models of communicating protocols, are provided; they are very promising, both for the computation time and for the quality of the generated test suites.

show abstract