Registered user since Wed 26 Aug 2020
Contributions
2024
ASE
- Interrogation Testing of Program Analyzers for Soundness and Precision Issues
- Interrogation Testing of Program Analyzers for Soundness and Precision Issues
- Constraint-Based Test Oracles for Program Analyzers
- Committee Member in Program Committee within the Tool Demonstrations-track
- Constraint-Based Test Oracles for Program Analyzers - Artifact Submission
ASE 2024-profile
View general profile
View general profile