A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction
2015
IEICE transactions on information and systems
A practical model-checking (MC) approach for fault analysis, that is one of the most cost-effective tasks in software development, is proposed. The proposed approach is based on a technique, named "Program-oriented Modeling" (POM) for extracting a model from source code. The framework of model extraction by POM provides configurable abstraction based on user-defined transformation rules, and it supports trialand-error model extraction. An environment for MC called POM/MC was also built. POM/MC
doi:10.1587/transinf.2014fop0012
fatcat:lbcx5oyfbvhgvgh5i7yvamnlgq