000146549 001__ 146549
000146549 005__ 20190416055738.0
000146549 037__ $$aREP_WORK
000146549 245__ $$aModel Checking Tools for Software System Implementations
000146549 269__ $$a2010
000146549 260__ $$c2010
000146549 336__ $$aReports
000146549 520__ $$aSystematic State Exploration or Model Checking techniques have been used for years to check the model of softwares against user-specified properties. Nevertheless, they never achieved a wide-spread usage because of the difficulties and problems in translating from the programming languages, which are used to develop the software, to the modeling language on which the model checker can work. Recently, there have been several efforts in direct state exploration of software system implementations. In this survey, we illustrate the challenges in this domain and explain the different solutions adopted by the state-of-the-art developed tools for state exploration of software systems. The focus of this paper in on the developed model checking tools for software systems, and it does not include solutions for unit testing and selecting the optimal test scenarios.
000146549 6531_ $$aModel Checking
000146549 6531_ $$aSoftware Systems
000146549 700__ $$g179583$$aYabandeh, Maysam$$0242991
000146549 8564_ $$uhttp://richmodels.epfl.ch/surveys:mc$$zURL
000146549 8564_ $$uhttps://infoscience.epfl.ch/record/146549/files/modelchecking-tools.pdf$$zn/a$$s182371
000146549 909C0 $$xU10407$$0252114$$pDCL
000146549 909CO $$ooai:infoscience.tind.io:146549$$qGLOBAL_SET$$pIC$$preport
000146549 937__ $$aLPD-REPORT-2010-003
000146549 973__ $$sPUBLISHED$$aEPFL
000146549 980__ $$aREPORT