Registered user since Wed 7 Jun 2023
Name:Maria Christakis
Country:Austria
Affiliation:TU Wien
Personal website: https://mariachris.github.io/
Contributions
2024
ASE
- Constraint-Based Test Oracles for Program Analyzers
- Interrogation Testing of Program Analyzers for Soundness and Precision Issues
- Olympia: Fuzzer Benchmarking for Solidity
- Constraint-Based Test Oracles for Program Analyzers - Artifact Submission
- Interrogation Testing of Program Analyzers for Soundness and Precision Issues
ASE 2024-profile
View general profile
View general profile