Statistics

K-REx Repository

Statistics

Total Visits

Views
Efficient and formal generalized symbolic execution 411

Total Visits Per Month

June 2014 July 2014 August 2014 September 2014 October 2014 November 2014 December 2014
Efficient and formal generalized symbolic execution 14 21 17 21 28 21 6

File Visits

Views
Robby AutomSoftwareEng 2012.pdf 81

Top country views

Views
United States 191
China 42
Netherlands 13
Germany 11
France 8
United Kingdom 8
Japan 7
Belarus 4
Argentina 3
Czech Republic 3

Top cities views

Views
Beijing 34
Sunnyvale 31
Washington 16
Ashburn 13
New York 13
Manhattan 10
Seattle 7
Woodbridge 7
Kiez 5
Mountain View 5