Papers tagged symbolic execution

• EPITAXIS A System for Syntactic and Semantic Software Queries using Deductive Retrieval and Symbolic Execution
• Making Programs Forget: Enforcing Lifetime For Sensitive Data
• The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors

• Browse
• All Keywords
• By Category