Text Size
FacebookTwitterStumbleuponyoutubeflickr

Technical Research: Symbolic Execution

 

Symbolic Execution

May 22nd, Friday, 08:30 am - 10:30 am
Session Chair: Tao Xie
Room: F1a
 

08:30 - 09:00

 

Edmund Wong; Lei Zhang; Song Wang; Taiyue Liu; Lin Tan

University of Waterloo, Canada

     

09:00 - 09:30

 

Rui Qiu; Guowei Yang; Corina S. Pasareanu; Sarfraz Khurshid

The University of Texas at Austin, USA; Texas State University, USA; CMU, USA; NASA Ames Research Center, USA

     

09:30 - 10:00 

 

Yufeng Zhang; Zhenbang Chen; Ji Wang; Wei Dong; Zhiming Liu

National University of Defense Technology, China; Birmingham City University, UK

     

10:00 - 10:30 

 

Ting Su; Zhoulai Fu; Geguang Pu; Jifeng He; Zhendong Su

East China Normal University, China; University of California at Davis, USA

 

NOTE! This site uses cookies and similar technologies.

If you not change browser settings, you agree to it. Learn more

I understand