Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations (original) (raw)

MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation

Einollah Pira

Soft Computing, 2018

View PDFchevron_right

A heuristic solution for model checking graph transformation systems

Rosa Yousefian

Applied Soft Computing, 2014

View PDFchevron_right

EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles

Einollah Pira

Applied Soft Computing, 2016

View PDFchevron_right

Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation

Einollah Pira

Reliability Engineering & System Safety, 2019

View PDFchevron_right

Using Markov Chain Based Estimation of Distribution Algorithm for Model-Based Safety Analysis of Graph Transformation

Einollah Pira

Journal of Computer Science and Technology, 2021

View PDFchevron_right

A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

Hossein Momeni

Journal of AI and Data Mining, 2020

View PDFchevron_right

Model checking graph transformations: A comparison of two approaches

Arend Rensink

Graph Transformations, 2004

View PDFchevron_right

Automatic Graph Transformation In System Verification

András Pataricza

2000

View PDFchevron_right

An alternative to model checking: Verification by random search of AND-OR graphs representing finite-state models

Tim Menzies

2002

View PDFchevron_right

Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm

Einollah Pira

Journal of Systems and Software, 2017

View PDFchevron_right

H.: Survey on directed model checking

Anton Wijs

2012

View PDFchevron_right

Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking

Waqar Ahmad

ArXiv, 2017

View PDFchevron_right

Searching for Safety Violations Using Estimation of Distribution Algorithms

John Clark

2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 2010

View PDFchevron_right

A Combined Graph-Based Approach For Systems Design And Verification

Najet Zoubeir, adel khalfallah

View PDFchevron_right

Survey on Directed Model Checking

Ansgar Fehnker, Dragan Bošnački

Lecture Notes in Computer Science, 2009

View PDFchevron_right

Towards automated software model checking using graph transformation systems and Bogor

Vahid Rafe

Journal of Zhejiang University Science, 2009

View PDFchevron_right

Checking and Enforcement of Modeling Guidelines with Graph Transformations

Andy Schürr, Ingo Stürmer

Lecture Notes in Computer Science, 2008

View PDFchevron_right

Model Checking Safety-Critical Systems Using Safecharts

Pao-Ann Hsiung

IEEE Transactions on Computers, 2007

View PDFchevron_right

A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems

Rosa Yousefian

Journal of Intelligent & Fuzzy Systems, 2016

View PDFchevron_right

Heuristic Search for the Analysis of Graph Transition Systems

Alberto Lluch Lafuente

2006

View PDFchevron_right

An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems

faranak nejati

IEEE Access

View PDFchevron_right

Fault Nodes in Implication Graph for Equivalence/Dominance Collapsing, and Identifying Untestable and Independent Faults

Rajamani Sethuram

26th IEEE VLSI Test Symposium (vts 2008), 2008

View PDFchevron_right

Enhancing symbolic model checking by AI techniques

N. Leone

1997

View PDFchevron_right

MDG-SAT: An Automated methodology for Efficient Safety Checking

Khaza Anuarul Hoque

View PDFchevron_right

A Modeling and Verification Approach Based on Graph Transformation

Raida ElMansouri

Lecture Notes on Software Engineering, 2013

View PDFchevron_right

Scalable graph analyzing approach for software fault-localization

Zaynab Mousavian

Proceeding of the 6th international workshop on Automation of software test - AST '11, 2011

View PDFchevron_right

Finding faults quickly in formal models using random search

Tim Menzies

2003

View PDFchevron_right

Model checking through symbolic reachability graph

Khalil Ajami

Lecture Notes in Computer Science, 1997

View PDFchevron_right

Symbolic Fault Tree Analysis for Reactive Systems

Alessandro Cimatti

Lecture Notes in Computer Science, 2007

View PDFchevron_right

Verification of DSMLs using graph transformation

Barrett Bryant

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09, 2009

View PDFchevron_right

Using Graph Transformations and Graph Abstractions for Software Verification

Eduardo Zambon

Gg, 2010

View PDFchevron_right

Checking and Correcting Safety Properties using Compositional Reachability Analysis

Jeff Kramer

1999

View PDFchevron_right

Symbolic Observation Graph-Based Generation of Test Paths

Kais Klai

Lecture Notes in Computer Science, 2023

View PDFchevron_right

STATE SPACE GENERATION FRAMEWORK BASED ON BINARY DECISION DIAGRAM FOR DISTRIBUTED EXPLICIT MODEL CHECKING

Computer Science & Information Technology (CS & IT) Computer Science Conference Proceedings (CSCP)

View PDFchevron_right

Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering

Anton Wijs

Electronic Proceedings in Theoretical Computer Science, 2014

View PDFchevron_right