An optimized approach to generate object oriented software test case by Colored Petri Net

Mirzaeian, Esmaeil; Mojaveri, Samad Ghaderi; Motameni, Homayun; Farahi, Ahmad

doi:10.1109/icste.2010.5608812

Cited by 6 publications

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Colored Petri Nets (CPNs) [6,16] which is an extended version of Petri Nets and are usually used in system modeling, editing, simulating the concurrent systems and analyzing their properties. The major advantages [16] of using CPNs simulation are to gain insight, analysis and specification, and to describe concurrent behavior and interaction behavior of a complex real-time system, which is particularly significant for a safety-critical system.…”

Section: B Web Security Using Colored Petri Netsmentioning

confidence: 99%

Verification of Web Content Integrity: Detection and Recovery Security Approach using Colored Petri Nets

Hijazi¹,

Hudaib²

2018

IJCNIS

View full text Add to dashboard Cite

This paper focuses on the design model verification processes to reduce modification cost after the software is delivered. We proposed a new design flow of web content integrity to protect web security by using colored petri nets simulation. The method covers the design process from the firewall stage to the recovery stage. In the proposed solution, the model verified the integrity of web content through detection tampering and recovery web content processes. Furthermore, the specification formally verifies the model checking technique by colored Petri nets formalism. Finally, the model is simulated by colored petri nets to insure the correct behavior of the designed web content integrity model.

show abstract

Section: B Web Security Using Colored Petri Netsmentioning

confidence: 99%