Using formal specifications to support testing

Overview of attention for article published in ACM Computing Surveys, February 2009

Altmetric Badge

About this Attention Score

In the top 25% of all research outputs scored by Altmetric
Good Attention Score compared to outputs of the same age (78th percentile)

Mentioned by

twitter: 1 X user
patent: 8 patents

wikipedia: 4 Wikipedia pages

Readers on

mendeley: 205 Mendeley
citeulike: 5 CiteULike

So far, Altmetric has seen 5 citations on 4 Wikipedia pages.

Ukrainian

Сергій Вількомір

Cited by user Guglenko on 21 Nov 2025

Сергій Адольфович Вількомір (англ. Sergiy A. Vilkomir; народився 19 листопада 1956 – помер 9 лютого 2020) — .американський вчений-інформатик українського походження.

English

Hussein Zedan

Cited by user Jpbowen on 17 Feb 2020

Prof. Hussein S. M. Zedan (1 July 1953 – 23 February 2019) was a computer scientist of Egyptian descent, mainly based in the United Kingdom.

English

Sergiy Vilkomir

Cited by user Jpbowen on 12 Feb 2020

Dr. Sergiy A. Vilkomir (died February 9, 2020) was a Ukrainian-born computer scientist.

English

Sergiy Vilkomir

Cited by user Jpbowen on 12 Feb 2020

Dr. Sergiy A. Vilkomir (died February 9, 2020) was a Ukrainian-born computer scientist.

This page shows the most recent Wikipedia articles that mention this research output. Click here to find out how to access more activity, including 1 additional Wikipedia articles.