Cyril Moser

According to our database, Cyril Moser authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Artifact for "Validating Soundness and Completeness in Pattern-Match Coverage Analyzers".

Cyril Moser, Thodoris Sotiropoulos, Chengyu Zhang, Zhendong Su

Dataset, August, 2025