Mining software bug fixes and SAT analysis: dataset creation and tool development for improved software quality assurance

Mondal, ShouvickAvula, Sai KrishnaSai KrishnaAvula2025-09-042025-09-042024-01-01https://repository.iitgn.ac.in/handle/IITG2025/32010hbk.; 30 cmen-USBug Mining TechniquesMinecraftMineCPPMining software bug fixes and SAT analysis: dataset creation and tool development for improved software quality assuranceM.Tech Thesesxiv, 83p.123456789/440