issues
search
numairmansur
/
Error-Localization
http://numairmansur.github.io/Error-Localization/final/final.pdf
4
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
IMAGES IMAGES IMAGES
#20
numairmansur
opened
7 years ago
17
Organize all the previous failed approaches
#19
numairmansur
closed
7 years ago
1
temp [DELETE ME]
#18
numairmansur
closed
7 years ago
0
Are the proofs correct under the new definition of relevancy?
#17
numairmansur
opened
7 years ago
1
Does the theorem / Proof still makes sense with the new definition ?
#16
numairmansur
opened
7 years ago
3
A very philosophical view on Error Relevancy
#15
numairmansur
closed
7 years ago
0
Turn the sets(execution, blocking execution) into functions in the definitions and theorems.
#14
numairmansur
opened
7 years ago
1
come up with a way to easily define wp, pre, sp
#13
numairmansur
opened
7 years ago
0
Discard the current definition of Restrictivness
#12
numairmansur
opened
7 years ago
6
More types of statements (call/reutrn statements)
#11
numairmansur
opened
7 years ago
0
Potential Problem.
#10
numairmansur
opened
7 years ago
37
Potential Problem
#9
numairmansur
closed
7 years ago
5
Improve Performance
#8
numairmansur
closed
7 years ago
0
Security Analysis
#7
numairmansur
opened
7 years ago
0
Terminology
#6
numairmansur
opened
7 years ago
1
Skeleton for the paper
#5
numairmansur
closed
7 years ago
0
Comparison to related work
#4
numairmansur
opened
7 years ago
3
More types of statements (assume statements)
#3
numairmansur
opened
7 years ago
6
Several error traces
#2
numairmansur
opened
7 years ago
5
Proof of correctness
#1
numairmansur
opened
7 years ago
5