Ph.D. in EE CS in USC
Software Engineer
Software Testing Engineer
-
University of Southern California - USC
- Los Angeles
-
jpf-symbc-1 Public
Forked from SymbolicPathFinder/jpf-symbcSymbolic PathFinder
Java UpdatedFeb 16, 2020 -
jpf-core-1 Public
Forked from javapathfinder/jpf-coreJPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…
Java UpdatedJan 30, 2019 -
-
-