Statistics

K-REx Repository

Statistics

Total Visits

Views
Efficient and formal generalized symbolic execution 489

Total Visits Per Month

November 2014 December 2014 January 2015 February 2015 March 2015 April 2015 May 2015
Efficient and formal generalized symbolic execution 21 15 18 12 14 12 13

File Visits

Views
Robby AutomSoftwareEng 2012.pdf 208

Top country views

Views
United States 242
China 49
France 15
Germany 14
Netherlands 13
United Kingdom 8
Israel 8
Japan 8
Belarus 4
Argentina 3

Top cities views

Views
Sunnyvale 47
Beijing 40
Redmond 17
Washington 16
Ashburn 15
Woodbridge 15
New York 13
Manhattan 11
Palo Alto 8
Seattle 7