Friday, May 30, 2014

Friday, May 30, 2014 — 10:00 to 10:00 AM EDT

Candidate

Lei Zhang

Title

DASE: Document-Assisted Symbolic Execution for Improving Automated Test Generation

Supervisor

Lin Tan

Abstract

S M T W T F S
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
  1. 2019 (248)
    1. December (2)
    2. November (12)
    3. October (19)
    4. September (26)
    5. August (26)
    6. July (40)
    7. June (24)
    8. May (23)
    9. April (35)
    10. March (25)
    11. February (9)
    12. January (10)
  2. 2018 (150)
    1. December (13)
    2. November (25)
    3. October (12)
    4. September (13)
    5. August (7)
    6. July (23)
    7. June (9)
    8. May (6)
    9. April (9)
    10. March (16)
    11. February (10)
    12. January (7)
  3. 2017 (212)
  4. 2016 (242)
  5. 2015 (242)
  6. 2014 (268)
    1. December (30)
    2. November (27)
    3. October (14)
    4. September (27)
    5. August (24)
    6. July (25)
    7. June (13)
    8. May (23)
    9. April (43)
    10. March (10)
    11. February (12)
    12. January (20)
  7. 2013 (192)
  8. 2012 (31)