BugwarsREU-JPFTeam/jpf-symbc2
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
Symbolic (Java) PathFinder: --------------------------- This JPF extension provides symbolic execution for Java bytecode. It performs a non-standard interpretation of byte-codes. Currently, it allows symbolic execution on methods with arguments of basic types (int, long, double, boolean, etc.). Symbolic input globals and method pre-conditions are specified via user annotations (see symbc/examples and symbc/test). A paper describing Symbolic PathFinder appeared at ISSTA'08: Title: Combining Unit-level Symbolic Execution and System-level Concrete Execution for Testing NASA Software, Authors: C. S. Pasareanu, P. C. Mehlitz, D. H. Bushnell, K. Gundy-Burlet, M. Lowry, S. Person, M. Pape. Tool documentation can be found at: http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published