Mining software bug fixes and SAT analysis: dataset creation and tool development for improved software quality assurance
Avula, Sai Krishna
Mining software bug fixes and SAT analysis: dataset creation and tool development for improved software quality assurance - Gandhinagar: Indian Institute of Technology Gandhinagar, 2024. - xiv, 83p.; hbk; 30cm.
Includes references.
22210036
M.Tech
Computer Science and Engineering
Bug Mining Techniques
Minecraft
MineCPP
005.1068 AVU
Mining software bug fixes and SAT analysis: dataset creation and tool development for improved software quality assurance - Gandhinagar: Indian Institute of Technology Gandhinagar, 2024. - xiv, 83p.; hbk; 30cm.
Includes references.
22210036
M.Tech
Computer Science and Engineering
Bug Mining Techniques
Minecraft
MineCPP
005.1068 AVU