Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: RGSE: a regular property guided symbolic executor for Java
Regular property guided dynamic symbolic execution
Selective Symbolic Execution
SymDroid: Symbolic Execution for Dalvik Bytecode
K-Java: A Complete Semantics of Java
Symbolic execution for software testing in practice: preliminary assessment
Symbolic execution for software testing: three decades later
OpenJIT: an open-ended, reflective JIT compiler framework for Java
Steering symbolic execution to less traveled paths
The KeY Platform for Verification and Analysis of Java Programs
A Survey of Symbolic Execution Techniques
Symbolic execution and program testing
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
TruffleC: dynamic execution of C on a Java virtual machine
Jimple: Simplifying Java Bytecode for Analyses and Transformations
Symbolic execution with mixed concrete-symbolic solving
A lightweight symbolic virtual machine for solver-aided host languages
A survey of new trends in symbolic execution for software testing and analysis
Symbolic execution of programmable logic controller code
Assertion guided symbolic execution of multithreaded programs
Featherweight Java: a minimal core calculus for Java and GJ
Serial elongation, derotation and flexion (EDF) casting under general anesthesia and neuromuscular blocking drugs improve outcome in patients with juvenile scoliosis: preliminary results
Houdini, an Annotation Assistant for ESC/Java
Adaptive BFT protocols
Applications of Computer Vision for Assessing Quality of Agri-food Products: A Review of Recent Research Advances
LIBMF: a library for parallel matrix factorization in shared-memory systems