Statistics

K-REx Repository

Statistics

Total Visits

Views
Efficient and formal generalized symbolic execution 314

Total Visits Per Month

January 2014 February 2014 March 2014 April 2014 May 2014 June 2014 July 2014
Efficient and formal generalized symbolic execution 15 11 23 13 13 14 17

File Visits

Views
Robby AutomSoftwareEng 2012.pdf 42

Top country views

Views
United States 125
China 36
Germany 9
United Kingdom 7
Japan 6
Argentina 3
Czech Republic 3
Belarus 2
India 2
Myanmar 2

Top cities views

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