Statistics

K-REx Repository

Statistics

Total Visits

Views
Efficient and formal generalized symbolic execution 262

Total Visits Per Month

October 2013 November 2013 December 2013 January 2014 February 2014 March 2014 April 2014
Efficient and formal generalized symbolic execution 11 4 14 15 11 23 5

File Visits

Views
Robby AutomSoftwareEng 2012.pdf 28

Top country views

Views
United States of America 106
China 32
United Kingdom 7
Germany 6
Japan 6
Argentina 3
Czech Republic 3
India 2
Myanmar 2
Netherlands 2

Top cities views

Views
Beijing 29
Washington 14
Manhattan 10
Sunnyvale 5
Milton Keynes 4
Berkeley 3
Brno 3
Buenos Aires 3
Kiez 3
Mountain View 3