Avula, Sai Krishna <br/><br/>
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. 
<br/><br/>Includes references. 
<br/><br/>
<br/><br/><label>Subjects--Topical Terms: </label><br/>22210036<br/>M.Tech<br/>Computer Science and Engineering<br/>Bug Mining Techniques<br/>Minecraft<br/>MineCPP
<br/><br/><label>Dewey Class. No.: </label>005.1068 AVU