REINAM: Reinforcement learning for input-grammar inference

Keyphrases

• Grammar 100%
• Reinforcement Learning 100%
• Grammatical Inference 100%
• Seed Output 37%
• Program Inputs 37%
• Input Space 25%
• Symbolic Execution 25%
• Iterative Process 12%
• Existing State 12%
• Small Parts 12%
• Additional Inputs 12%
• Novel Formulations 12%
• Search Space 12%
• Search Problems 12%
• Free Program 12%
• Initial Seed 12%
• Software Engineering 12%
• Target Programs 12%
• Reinforcement Learning Approach 12%
• Context-free 12%
• Execution Engine 12%
• Native Code 12%
• High Variety 12%
• Generalized Operator 12%
• Probabilistic Setting 12%
• Real-world Benchmark 12%
• Reinforcement Learning Problems 12%
• Delta Debugging 12%
• Fuzz Testing 12%
• Grammar Tests 12%

Computer Science

• Reinforcement Learning 100%
• Symbolic Execution 66%
• Software Engineering 33%
• Learning Approach 33%
• Learning Problem 33%
• Search Space 33%
• Iterative Process 33%
• Execution Engine 33%
• Target Program 33%
• Generalization Operator 33%
• Probabilistic Context 33%
• Fuzz Testing 33%