236801 Spring 2019
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

View only
 
ABCDEFGHIJKLMNOPQRSTUVWXYZAAAB
1
WeekSpeakersTitleAuthors / conference
2
2מתן פלדSymbolic execution and program testingJames C. King: Communications of the ACM 1976
3
26/3└ A program testing systemLorie A. Clarke: ACM Annual Conference 1976
4
└ SELECT—a formal system for testing and debugging programs by symbolic execution
Robert S. Boyer, Bernard Elspas, Karl N. Levitt: international conference on Reliable software, 1975
5
3מתן פוגץ׳Chopped Symbolic ExecutionDavid Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar: ICSE 2018
6
2/4גיא מנחל
7
4עופר גוטמן
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Cristian Cadar, Daniel Dunbar, Dawson R. Engler: OSDI 2008
8
16/4שקד סיידוף
9
5נג׳יב נבואניExecution Synthesis: A Technique for Automated Software DebuggingCristian Zamfir, George Candea: EuroSys 2010
10
30/4אילן דורון
11
6מיכל שסטוביץCUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking ToolsKoushik Sen, Gul Agha: CAV 2006
12
7/5עומר דמבינסקי└ CUTE: a concolic unit testing engine for CKoushik Sen; Darko Marinov; Gul Agha: ESEC/FSE 2005
13
7ליעם קימלAutomated Whitebox Fuzz TestingPatrice Godefroid, Michael Y. Levin, David Molnar: NDSS 2008
14
14/5ליאור צדיק└ Pex – White Box Test Generation for .NETNikolai Tillmann, Jonathan de Halleux
15
8דניאל זולוטניצקיExpliSAT: Guiding SAT-Based Software Verification with Explicit States.
Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz: HVC (Haifa Verification Conference) 2006
16
21/5אוהד חאודסמיד
17
9בן ישיMultiSE: Multi-Path Symbolic Execution using Value SummariesKoushik Sen, George Necula, Liang Gong, Wontae Choi: ESEC/FSE 2015
18
28/5מעיין ארנברג
19
20
10פאר שגיבKATCH: High-Coverage Testing of Software PatchesPaul Dan Marinescu, Christian Cadar: FSE 2013
21
4/6נועה כהן
22
11אלון דנקנרAEG: automatic exploit generationThanassis Avgerinos , Brent Lim Tze Hao, David Brumley: NDSS 2011
23
11/6
24
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta: Automated Software Engineering 2013
25
26
Efficient state merging in symbolic executionVolodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea: PLDI 2012
27
28
29
30
יקיר בן אלישע
31
עלי עבאדי
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
Loading...