learning-errors

Abstractly represent software error traces as finite automata.

Cite as Learning the language of error. Chapman, Martin and Chockler, Hana and Kesseli, Pascal and Kroening, Daniel and Strichman, Ofer and Tautschnig, Michael. International Symposium on Automated Technology for Verification and Analysis. 2015.

A demo website is provided in docs/index.html. It includes animated automata generation demonstration, all benchmark source codes and a benchmark result summary.

Name		Name	Last commit message	Last commit date
Latest commit History 726 Commits
VTT Validation Case 3		VTT Validation Case 3
adjacency_list		adjacency_list
cbmc-patch		cbmc-patch
cg		cg
demos		demos
docs		docs
libalf		libalf
paper_demos		paper_demos
scc		scc
.gitattributes		.gitattributes
0001-Extended-call-sequence-checking.patch		0001-Extended-call-sequence-checking.patch
GUI.java		GUI.java
Makefile		Makefile
README.md		README.md
TODO.txt		TODO.txt
branch.bat		branch.bat
cbmc_headers.c		cbmc_headers.c
cbmc_headers_for_gcc.c		cbmc_headers_for_gcc.c
ce-symex.sh		ce-symex.sh
ce.bat		ce.bat
ce.sh		ce.sh
conjecture_data.h		conjecture_data.h
conjecture_query_branch.c		conjecture_query_branch.c
conjecture_query_nobranch.c		conjecture_query_nobranch.c
convert.sh		convert.sh
egypt		egypt
file_names.h		file_names.h
generate_call_graph.bat		generate_call_graph.bat
get_func_names.bat		get_func_names.bat
get_func_names.sh		get_func_names.sh
gui.jar		gui.jar
learn.c		learn.c
learn.h		learn.h
learn_code.c		learn_code.c
lift-fshell.c		lift-fshell.c
membership_query_branch.c		membership_query_branch.c
membership_query_nobranch.c		membership_query_nobranch.c
mode.c		mode.c
nobranch.bat		nobranch.bat
results.txt		results.txt
run.bat		run.bat
run.sh		run.sh
try_branches.c		try_branches.c
try_nondet.c		try_nondet.c
unlearn.c		unlearn.c

martinchapman/learning-errors

Folders and files

Latest commit

History

Repository files navigation

learning-errors

About

Topics

Resources

Stars

Watchers

Forks

Languages