The following pages link to Static Analysis (Q5897439):
Displaying 6 items.
- Modular inference of subprogram contracts for safety checking (Q604392) (← links)
- Sound Non-statistical Clustering of Static Analysis Alarms (Q2891424) (← links)
- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (Q3075478) (← links)
- Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting (Q5039530) (← links)
- Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations (Q5170174) (← links)
- Stratified Static Analysis Based on Variable Dependencies (Q5170182) (← links)
