Author

D. Mo

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

PROGRESS: Property-Guided Regression Search for Semantic Falsification

This work presents PROGRESS (PROperty-Guided REgression Search for Semantic Falsification), integrating intent-driven properties into coverage-guided, search-based evolutionary test generation to reach deep program states and detect violations of intended behavior.

D. Mo, Noshin Ulfat, Matthew B. Dwyer et al. · arXiv.org · 0 citations