PhD Seminar • Software Engineering — Learning Software Behavioral Models from Execution TracesExport this event to calendar

Friday, April 27, 2018 — 11:30 AM EDT

Rafael Olaechea Velazco, PhD candidate
David R. Cheriton School of Computer Science

Software behavioural models, such as finite state machines, are used as an input to model checking tools to verify that software satisfies its requirements. As constructing such models by hand is time-consuming and error-prone, researchers have developed tools to automatically extract such models from systems’ execution traces. 

In this seminar I will present GK-Tail+, which is an existing state-of-the-art tool that analyzes execution traces that consist of method calls annotated with values for their parameters. I discuss how effective the extracted models are in precisely representing the set of execution traces that the software can generate. Finally, I discuss the challenges associated with evaluating the quality of the extracted models.

Location 
DC - William G. Davis Computer Research Centre
3126
200 University Avenue West

Waterloo, ON N2L 3G1
Canada

S M T W T F S
30
31
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
1
2
3
  1. 2020 (181)
    1. October (2)
    2. September (19)
    3. August (28)
    4. July (14)
    5. June (18)
    6. May (17)
    7. April (20)
    8. March (16)
    9. February (25)
    10. January (22)
  2. 2019 (255)
    1. December (21)
    2. November (25)
    3. October (16)
    4. September (20)
    5. August (18)
    6. July (12)
    7. June (23)
    8. May (23)
    9. April (32)
    10. March (25)
    11. February (16)
    12. January (24)
  3. 2018 (220)
  4. 2017 (36)
  5. 2016 (21)
  6. 2015 (36)
  7. 2014 (33)
  8. 2013 (23)
  9. 2012 (4)
  10. 2011 (1)
  11. 2010 (1)
  12. 2009 (1)
  13. 2008 (1)