Login / Signup
An empirical study to quantify the characteristics of Java programs that may influence symbolic execution from a unit testing perspective.
Marcelo Medeiros Eler
André Takeshi Endo
Vinicius H. S. Durelli
Published in:
J. Syst. Softw. (2016)
Keyphrases
</>
java programs
symbolic execution
tool suite
test data generation
unit testing
software testing
multi threaded
test generation
test cases
source code
test suite
specification language
software components
static analysis
building blocks
real world
fine grained
computer systems
information systems