guicat

symbolic execution of java swing/awt GUI software to automated generate testcases. It is an artifact of our research paper guicat

install dependency

./guicat.sh ./conf/barad-ticket/barad-ticket.conf
xvfb-run ./guicat.sh ./conf/barad-ticket/barad-ticket.conf #no graphicx
./guicat.sh ./conf/barad-ticket/barad-ticket.conf --savedata #copy result to ./data dir
./guicat.sh ./conf/workout/workout.conf #test workout generator

Name		Name	Last commit message	Last commit date
Latest commit History 109 Commits
aut		aut
conf		conf
data		data
doc/paper		doc/paper
lib		lib
src		src
.gitignore		.gitignore
LICENSE		LICENSE
Readme.md		Readme.md
agent.sh		agent.sh
all.sh		all.sh
argouml.sh		argouml.sh
barad-ticket.sh		barad-ticket.sh
build.gradle		build.gradle
catg.conf		catg.conf
clean.sh		clean.sh
concolic.py		concolic.py
encode.sh		encode.sh
gctestcase.sh		gctestcase.sh
guicat.sh		guicat.sh
jabref.sh		jabref.sh
jacoco-workers.sh		jacoco-workers.sh
jacoco.sh		jacoco.sh
janag.sh		janag.sh
jgp.sh		jgp.sh
partial.sh		partial.sh
printAccessibleName.sh		printAccessibleName.sh
rachota.sh		rachota.sh
radio.sh		radio.sh
replay-a-test-case.sh		replay-a-test-case.sh
replay-testcases.sh		replay-testcases.sh
robotManager.sh		robotManager.sh
run.sh		run.sh
save-data.sh		save-data.sh
single.sh		single.sh
tct.sh		tct.sh
testme.sh		testme.sh
ticket.sh		ticket.sh
word.sh		word.sh
workout.sh		workout.sh