Statistics

xmlui.dri2xhtml.structural.head-subtitle

K-REx will undergo a system upgrade on Tuesday, February 16th, starting at 7AM.

Statistics

Total Visits

Views
Efficient and formal generalized symbolic execution 627

Total Visits Per Month

August 2015 September 2015 October 2015 November 2015 December 2015 January 2016 February 2016
Efficient and formal generalized symbolic execution 8 4 0 2 30 27 12

File Visits

Views
Robby AutomSoftwareEng 2012.pdf 493

Top country views

Views
United States 296
China 50
France 16
Germany 14
Netherlands 13
United Kingdom 8
Israel 8
Japan 8
Belarus 4
Argentina 3

Top cities views

Views
Manhattan 53
Sunnyvale 50
Beijing 41
Redmond 23
Ashburn 16
Washington 16
Woodbridge 16
New York 13
Palo Alto 8
Seattle 7