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-01http://repository.iitgn.ac.in/handle/IITG2025/32010hbk.; 30 cmBug Mining TechniquesMinecraftMineCPPMining software bug fixes and SAT analysis: dataset creation and tool development for improved software quality assuranceM.Techxiv, 83p.M.Tech123456789/440