Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
Featherweight Java: a minimal core calculus for Java and GJ
Harissa: A flexible and efficient Java environment mixing bytecode and compiled code
Automatic Testing with Formal Methods
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Making the future safe for the past: adding genericity to the Java programming language
An Approach to Checking Consistency between UML Class Model and Its Java Implementation
Testing Programs with the Aid of a Compiler
Collective program analysis
Specification and Verification of Concurrent Programs by forall-Automata
A general path-based representation for predicting program properties
EDDIE: EM-Based Detection of Deviations in Program Execution
Review of recent systems for automatic assessment of programming assignments
CMC: a pragmatic approach to model checking real code
Static Analysis for Java Servlets and JSP
Needle: Leveraging Program Analysis to Analyze and Extract Accelerators from Whole Programs
Compiler validation via equivalence modulo inputs
Calysto: scalable and precise extended static checking
Design and evaluation of dynamic optimizations for a Java just-in-time compiler
Combining the logical and the probabilistic in program analysis
A System to Generate Test Data and Symbolically Execute Programs
Estimating occupancy and abundance using aerial images with imperfect detection
Real-time digital forensics and triage
Entheses: tendon and ligament attachment sites
Incentive Compatibility of Bitcoin Mining Pool Reward Functions