Statistics

K-REx Repository

Statistics

Total Visits

Views
Efficient and formal generalized symbolic execution 346

Total Visits Per Month

March 2014 April 2014 May 2014 June 2014 July 2014 August 2014 September 2014
Efficient and formal generalized symbolic execution 23 13 13 14 21 17 11

File Visits

Views
Robby AutomSoftwareEng 2012.pdf 48

Top country views

Views
United States 148
China 36
Germany 10
Netherlands 10
United Kingdom 7
Japan 6
Argentina 3
Czech Republic 3
Belarus 2
India 2

Top cities views

Views
Beijing 29
Sunnyvale 19
Washington 16
Manhattan 10
New York 8
Ashburn 7
Kiez 5
Mountain View 5
Milton Keynes 4
Berkeley 3