Statistics
Annual Publications by Category
Summary of Budget vs Expenditure per vote for all research grants
Last 3 Projects
Project Title Progress Status
Automated Formal Analysis of Software Specification Using Pattern Analysis
end
This information is generated from Research Grant Management System
Latest Publications
2024

Toward Reduction in False Positives Just-In-Time Software Defect Prediction Using Deep Reinforcement Learning

2024

KCO: Balancing class distribution in just-in-time software defect prediction using kernel crossover oversampling

2021

Analyzing Students' Experience(SX) in Programming with Computational Thinking through Competitive, Physical and Tactile Games: The Quadrilateral Method Approach.

2021

Experimental Analysis in Hadoop MapReduce: A Closer Look at Fault Detection and Recovery Techniques

2011

Model Transformation Specification for Automated Formal Verification.