soneyahossain

hcc-gap-recommender

This repository contains the artifact for "Measuring and Mitigating Gaps in Structural Testing" paper published at ICSE-2023

deep_learning_project

A deep learning system for building recognition at the University of Virginia

soneyahossain.github.io

STG-I

Symbolic Test Generalization Instrumentation LLVM Pass

2024sp-GenAI-Risk-Benefits

CS6501: Risks and Benefits of Generative AI and LLMs (Spring 2024)

Branch-and-Bound

cmake-tutorial

complogic-s21

Computational Logic For All

covhitcounter

cplex

CPS-Project

data

DL_Assignment_3

expoTSP

git_diff_parser

jaxen_pom

llm-course

Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

monotone_triangulation

mybugfinder

A tool for finding bugs in java program using pattern matching. This tool generates the abstract syntax tree of the program under test and performs pattern matching to detect faulty instructions

NQueen

probability_statistics

problem_solving

set_cover

skip_list

Slicer4J

Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.

splayTree

string_match

TIP

Static program analysis for TIP

toga

TSP