… In this section, we explain the details of PathFinder, our tool designed to automate the
generation of comprehensive test cases for C language source codes, with a particular focus on …

… In this talk, we present Java StarFinder (JSF), a JPF extension for testing units that manipulate
… tested adequately. We describe techniques for automated test input generation of Java ... …

… 5 Lazy Test Input Generation In this section, we present the test input generation based on
the symbolic execution engine we depicted in the previous sections. The inputs of our method …

… In line with the research of source test case generation, this paper attempts to investigate
how to maximize the diversity of source test cases based on their path constraints, which are …

… ShadowJPF needs initial test inputs, so we generated test inputs that each test case covers
at least one change-statement, similar to the assumption in [13]. For ShadowJPF+ we do not …

… Java PathFinder [16] enables symbolic execution of Java programs. Korat [2] systematically
explores the input space of Java … UDITA [5] performs bounded exploration of test-input …

… The functions of symbolic execution are test input generation, unreachable path … test input
generation using symbolic execution. Our execution for Java programs uses Java Path Finder (…

… of input generation for arbitrary program parts without the need for any user provided inputs.
The … Test input generation with java PathFinder. In Proceedings of the 2004 ACM SIGSOFT …

… One of the first example programs we tested using JPF is the test program shown below.
This is an adapted test program from one of the sample tests of our Exceptions Analysis project (…

… test input generation, path coverage, regression testing, worst-case execution, load testing,
… There are many symbolic execution tools available like KLEE, CUTE, Symbolic PathFinder […