Statistics for Automatic Test Case Generation for Web Service Processes Using a SAT Solver

Total visits

views
Automatic Test Case Generation for Web Service Processes Using a SAT Solver 531

Total visits per month

views
October 2023 0
November 2023 0
December 2023 0
January 2024 0
February 2024 0
March 2024 0
April 2024 0

File Visits

views
fulltext.pdf 795

Top country views

views
United States 166
India 23
Ireland 19
China 18
France 16
Germany 15
South Korea 14
Russia 11
Sweden 10
United Kingdom 8
Finland 7
Vietnam 6
Austria 4
Hong Kong SAR China 4
Indonesia 4
Pakistan 4
Thailand 4
Argentina 3
Canada 3
Spain 3
Iran 3
Italy 3
Romania 3
Singapore 3
Ukraine 3
Australia 2
Belgium 2
Greece 2
Netherlands 2
Poland 2
Belarus 1
Switzerland 1
Czechia 1
Estonia 1
Jordan 1
Kenya 1
Kazakhstan 1
Luxembourg 1
Latvia 1
Myanmar (Burma) 1
Norway 1
Philippines 1
Slovenia 1
Slovakia 1

Top city views

views
San Marcos 27
Dublin 19
Woodbridge 16
Shenzhen 12
Mountain View 9
Hyderabad 7
Seattle 7
Philadelphia 6
Cincinnati 5
Wilmington 5
Bangkok 4
Hanoi 4
New Delhi 4
Phoenix 4
Seoul 4
Ashburn 3
Buenos Aires 3
Cupertino 3
Gilroy 3
Jacksonville 3
New York 3
Nyköping 3
Overland Park 3
Palo Alto 3
Pittsburgh 3
Tokyo 3
Umeå 3
Vienna 3
Andover 2
Bangalore 2
Boardman 2
Dearborn 2
Des Moines 2
Los Angeles 2
Louvain 2
Nanjing 2
North Andover 2
Providence 2
Redwood City 2
Santa Clara 2
Semarang 2
Singapore 2
Sunnyvale 2
Warsaw 2
Acworth 1
Alexandria 1
Athens 1
Azad 1
Bandung 1
Beijing 1
Berlin 1
Boston 1
Bothell 1
Burnaby 1
Buthiers 1
Böhl-iggelheim 1
Cambridge 1
Campbell 1
Central District 1
Dayton 1
Denton 1
Driedorf 1
Escondido 1
Fremont 1
Graz 1
Göteborg 1
Helsinki 1
Houston 1
Irvine 1
Islamabad 1
Kirkland 1
Kitchener 1
Lahore 1
Lake Forest 1
Lausanne 1
Lincoln 1
Ljubljana 1
London 1
Ludhiana 1
Lyon 1
Madras 1
Maladzyechna 1
Markt Schwaben 1
Mcallen 1
Melbourne 1
Melle 1
Moscow 1
Mumbai 1
New Orleans 1
Nur-Sultan 1
Oliveira 1
Omaha 1
Orange 1
Orléans 1
Oslo 1
Pasadena 1
Plano 1
Redmond 1
Riga 1
Rohoznik 1