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

License

Notifications You must be signed in to change notification settings

YcheLanguageStudio/JavaRelatedStudy

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages