"Scaling Symbolic Execution to Large Software Systems."

Gábor Horváth, Réka Kovács, Zoltán Porkoláb (2024)

Details and statistics

DOI: 10.48550/ARXIV.2408.01909

access: open

type: Informal or Other Publication

metadata version: 2024-09-11