Software Analysis Course Study (Build With Gradle or Maven). course materials: notes, two assignments projects, reading reports. technologies included: randoop, soot, janala, gzoltar

A simple benchmark comparing two popular automatic test generation tools

A tool for extracting literal values from Java source code for use by Randoop test generator

Parking Server: Meticulously crafted with UML-designed graphical user interface (GUI), flexible customer rates, and streamlined admin approval workflows. Underwent comprehensive testing with EvoSuite and Randoop, showcasing not only Java proficiency but also a commitment to robust software design practices and user-centered solutions.

Module that connects a llm repOK generator with a randoop verifier to generate representation invariants for Java classes.

Randoop-based automated test generation for Go-to-Java translated data structures (List & AVL Tree) with repOK invariants. Includes coverage analysis and debugging guide.

Software Engineering-EECS3311 Presents country data's with several type of charts and years.

Software testing course project

Projeto utilizado no TCC para estudo de ferramentas de geração automática de suites de testes automatizados

A simple framework to run Randoop or EvoSuite to generate tests, JaCoCo to measure coverage, and other scripts to run EvoSuite and Randoop (soon) for a whole benchmark.

A Unix-like bash shell and several relevant applications are designed and implemented to simulate the behaviour of Bash shell in GNU/Linux and Mac OS.

Eleventh assignment for Software Engineering course @USI19/20.

Judy-generator tool experiment for master-thesis

Here are the source codes for List.java and AvlTree.java translated from Go

Assignments and projects from the Software Testing offered at the University of Tehran.