@inproceedings{3ec6ee93b96d4e61850f99d04dd57fc8,
title = "A method for detecting unusual defects in enterprise system using model checking techniques",
abstract = "This paper proposes a method based on model checking for detecting hard-to-discover defects in enterprise systems. Source codes are transformed into an appropriate phased abstract model so that we can observe the phenomena. UPPAAL, which is a typical model checking tool, makes an exhaustive checking of the model and provides a result whether the model can reach the specified state or not. We have developed a supporting tool to narrow the range of model checking and to generate UPPAAL model automatically. We discuss our method in detail on the basis of the results of a case study.",
keywords = "Abstraction, Bugs, Enterprise system, Infinity loop, Model checking, UPPAAL",
author = "Yoshitaka Aoki and Saeko Matsuura",
year = "2011",
month = jun,
day = "17",
language = "English",
isbn = "9789604742776",
series = "Recent Researches in Software Engineering, Parallel and Distributed Systems - 10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11",
pages = "165--171",
booktitle = "Recent Researches in Software Engineering, Parallel and Distributed Systems - 10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11",
note = "10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11 ; Conference date: 20-02-2011 Through 22-02-2011",
}