Statistics

K-REx Repository

Statistics

Total Visits

Views
Efficient and formal generalized symbolic execution 452

Total Visits Per Month

September 2014 October 2014 November 2014 December 2014 January 2015 February 2015 March 2015
Efficient and formal generalized symbolic execution 21 28 21 15 18 12 2

File Visits

Views
Robby AutomSoftwareEng 2012.pdf 108

Top country views

Views
United States 217
China 45
Netherlands 13
France 12
Germany 11
United Kingdom 8
Israel 8
Japan 7
Belarus 4
Argentina 3

Top cities views

Views
Sunnyvale 39
Beijing 37
Washington 16
Ashburn 15
New York 13
Redmond 12
Manhattan 10
Woodbridge 9
Seattle 7
Kiez 5