Statistics

K-REx Repository

Statistics

Total Visits

Views
Efficient and formal generalized symbolic execution 437

Total Visits Per Month

July 2014 August 2014 September 2014 October 2014 November 2014 December 2014 January 2015
Efficient and formal generalized symbolic execution 21 17 21 28 21 15 17

File Visits

Views
Robby AutomSoftwareEng 2012.pdf 95

Top country views

Views
United States 204
China 44
Netherlands 13
Germany 11
France 11
United Kingdom 8
Israel 8
Japan 7
Belarus 4
Argentina 3

Top cities views

Views
Beijing 36
Sunnyvale 36
Washington 16
Ashburn 15
New York 13
Manhattan 10
Woodbridge 8
Seattle 7
Redmond 6
Kiez 5