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

dc.contributor.advisor	Mondal, Shouvick
dc.contributor.author	Avula, Sai Krishna
dc.date.accessioned	2024-09-13T08:19:28Z
dc.date.available	2024-09-13T08:19:28Z
dc.date.issued	2024
dc.identifier.citation	Avula, Sai Krishna (2024). Mining software bug fixes and SAT analysis: dataset creation and tool development for improved software quality assurance. Gandhinagar: Indian Institute of Technology Gandhinagar, 83p. (Acc. No.: T01243).
dc.identifier.uri	https://repository.iitgn.ac.in/handle/123456789/10530
dc.description.statementofresponsibility	by Sai Krishna Avula
dc.format.extent	xiv, 83p.: hbk.; 30 cm
dc.language.iso	en_US
dc.publisher	Indian Institute of Technology Gandhinagar
dc.subject	Bug Mining Techniques
dc.subject	Minecraft
dc.subject	MineCPP
dc.title	Mining software bug fixes and SAT analysis: dataset creation and tool development for improved software quality assurance
dc.type	Thesis
dc.contributor.department	Computer Science and Engineering
dc.description.degree	M.Tech