Abstract
Multithreaded and parallel software systems are notably difficult to test due to their nature of non-determinism. Researchers from the literature suggested formal modeling and model checking to verify such systems. However, manual construction of models and abstractions of such systems could be time consuming, tiresome, and error prone. Automated models extraction approaches are necessary. In this study, we propose an approach to automatically extract Colored Petri Nets model from source code. Moreover, we establish a set of mapping rules to translate control flow graphs to Colored Petri Nets.
| Original language | English |
|---|---|
| Title of host publication | 2021 1st International Conference on Artificial Intelligence and Data Analytics, CAIDA 2021 |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 245-250 |
| Number of pages | 6 |
| ISBN (Electronic) | 9780738131771 |
| DOIs | |
| State | Published - 6 Apr 2021 |
Publication series
| Name | 2021 1st International Conference on Artificial Intelligence and Data Analytics, CAIDA 2021 |
|---|
Bibliographical note
Publisher Copyright:© 2021 IEEE.
Keywords
- Automated Processing
- Colored Petri Nets
- Control Flow Graph Analysis
- Model Extraction
- Software Modeling
ASJC Scopus subject areas
- Artificial Intelligence
- Computer Science Applications
- Computer Vision and Pattern Recognition
- Information Systems and Management
Fingerprint
Dive into the research topics of 'CPN.Net: An Automated Colored Petri Nets Model Extraction From.Net Based Source Code'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver