Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

ISSN： 0928-8910

Source： Automated Software Engineering, Vol.20, Iss.3, 2013-09, pp. : 391-425

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Formula-based abstractions and symbolic execution for model checking programs

By Santone A. Vaglini G.

Microprocessors and Microsystems, Vol. 28, Iss. 2, 2004-03 ,pp. : 69-76

Elsevier

Access to resources Recommend Favorite

Bytecode Verification by Model Checking

By Basin David Friedrich Stefan Gawkowski Marek

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 399-444

Springer Publishing Company

Access to resources Recommend Favorite

Data structures for symbolic multi-valued model-checking

By Chechik Marsha Gurfinkel Arie Devereux Benet Lai Albert Easterbrook Steve

Formal Methods in System Design, Vol. 29, Iss. 3, 2006-11 ,pp. : 295-344

Springer Publishing Company

Access to resources Recommend Favorite

Counter-example generation in symbolic abstract model-checking

By Pace Gordon Halbwachs Nicolas Raymond Pascal

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 2-3, 2004-03 ,pp. : 158-164

Springer Publishing Company

Access to resources Recommend Favorite

Computable fixpoints in well-structured symbolic model checking

By Bertrand N. Schnoebelen P.

Formal Methods in System Design, Vol. 43, Iss. 2, 2013-10 ,pp. : 233-267

Springer Publishing Company

Access to resources Recommend Favorite