The Wayback Machine - https://web.archive.org/web/20210118233146/https://github.com/YcheLanguageStudio/JavaRelatedStudy
Skip to content

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

master
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 

ReadMe.md

Java-Related Study

Java Dev-Env

content detail type
guidance some guidance instructions jdk-config, java decompiler install
maven tutorial introduction of maven build tool
gradle tutorial introduction of gradle build tool

Software Analysis

Course Materials

content detail
course notes notes about the course
assign1 statement coverage, branch coverage and program instrumentation
assign2 concolic analysis, fault-localization and program instrumentation
reading report reading report about concurrency bugs
review codes implementation of prime-path-coverage and def-use coverage in python

Course Codes

content detail
code hunt play codes code hunt codes
in-class practice codes junit practice
in-class study codes simple language feature testing

Software Analysis Course Study Materials

content detail
randoop random generated test cases based on five simple test oracles
soot study codes program instrumentation
soot materials program instrumentation
janala2 - build with ant concolic analysis tool to generate test cases
janala2 - build with gradle concolic analysis tool to generate test cases
gzoltar fault-localization

Useful Links

About

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

Topics

Resources

License

Releases

No releases published

Packages

No packages published

Languages

You can’t perform that action at this time.