Optimizing a structural constraint solver for efficient software checking

Keyphrases

• Structural Constraints 100%
• Constraint Solver 100%
• Efficient Software 100%
• Number of Tests 66%
• Order of Magnitude 33%
• Novel Technique 33%
• Aliasing 33%
• Static Analysis 33%
• Dynamic Analysis 33%
• Complex Data 33%
• Symbolic Execution 33%
• Analysis Code 33%
• Specification Testing 33%

Computer Science

• Constraint Solver 100%
• Structural Constraint 100%
• Analysis Technique 66%
• Code Analysis 33%
• Experimental Result 33%
• Aliasing 33%
• Symbolic Execution 33%
• Static Program Analysis 33%
• Dynamic Analysis 33%