Quantitative timing analysis for cyber-physical systems using uncertainty-aware scenario-based specifications
Due to the merits of intuitive and visual modeling of design requirements, unified modeling
language (UML) sequence diagrams are widely used as scenario-based specifications in …
language (UML) sequence diagrams are widely used as scenario-based specifications in …
[PDF][PDF] An uml based software automatic test case generation: survey
SE Ingle, MR Mahamune - International Research Journal of …, 2015 - academia.edu
Software testing is important activity in software Engineering concerned to Software
Development Life Cycle (SDLC). To reduce cost of physical testing as well as to growth …
Development Life Cycle (SDLC). To reduce cost of physical testing as well as to growth …
Soundness of timed-arc workflow nets in discrete and continuous-time semantics
Abstract Analysis of workflow processes with quantitative aspects like timing is of interest in
numerous time-critical applications. We suggest a workflow model based on timed-arc Petri …
numerous time-critical applications. We suggest a workflow model based on timed-arc Petri …
Soundness of timed-arc workflow nets
Abstract Analysis of workflow processes with quantitative aspects like timing is of interest in
numerous time-critical applications. We suggest a workflow model based on timed-arc Petri …
numerous time-critical applications. We suggest a workflow model based on timed-arc Petri …
Timed arc Petri nets: The time-element approach
In this work, a novel model is proposed for Deterministic Timed Arc Petri Nets. In the
proposed Timed Arc Petri Net, transition firing processes are associated with time, where …
proposed Timed Arc Petri Net, transition firing processes are associated with time, where …
A classification framework of test models in model-based testing
A Sabbaghi - Future Generation of Communication and Internet …, 2022 - fgciot.semnan.iau.ir
In model-based testing (MBT), the quality of input models and their relevance with the testing
target has a direct impact on the quality of the test suite and the effectiveness of the whole …
target has a direct impact on the quality of the test suite and the effectiveness of the whole …
Timed arc Petri nets: The impulsive approach
In this work, a new graphical and mathematical model is presented as a new approach for
Deterministic Timed Arc Petri Net. In the proposed Timed Arc Petri Net, time is associated …
Deterministic Timed Arc Petri Net. In the proposed Timed Arc Petri Net, time is associated …
Automated Analysis of Multi-View Software Architectures
Software architectures usually are comprised of different views for capturing static, runtime,
and deployment aspects. What is currently missing, however, are formal validation and …
and deployment aspects. What is currently missing, however, are formal validation and …
A Framework for Model-based Testing
A Sabbaghi - Future Generation of Communication and Internet …, 2022 - fgciot.semnan.iau.ir
Model-based testing (MBT) has attracted a lot of attention and has been extensively applied
in different areas such as probabilistic systems, mobile systems, concurrent systems, real …
in different areas such as probabilistic systems, mobile systems, concurrent systems, real …
[CITATION][C] Timed-arc Petri Nets modeling and forbidden state control approach
A Yufka - 2019 - Eskişehir Teknik Üniversitesi