Statistics

K-REx Repository

Statistics

Total Visits

Views
Efficient and formal generalized symbolic execution 392

Total Visits Per Month

May 2014 June 2014 July 2014 August 2014 September 2014 October 2014 November 2014
Efficient and formal generalized symbolic execution 13 14 21 17 21 28 8

File Visits

Views
Robby AutomSoftwareEng 2012.pdf 68

Top country views

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

Top cities views

Views
Beijing 32
Sunnyvale 27
Washington 16
Ashburn 12
Manhattan 10
New York 10
Woodbridge 6
Kiez 5
Mountain View 5
Seattle 5