Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Contact Expert
Ed Brinksma
prof.dr.
Full Professor
,
Formal Methods and Tools
1987 …
2024
Research activity per year
Overview
Fingerprint
Network
Research output
(148)
Activities
(38)
Similar Profiles
(6)
Supervised Work
(18)
Research output
Research output per year
1987
1990
1991
1992
1993
1994
1995
1996
1997
1998
2001
2004
2005
2024
49
Conference contribution
30
Report
24
Article
16
Chapter
29
More
14
Paper
4
Book
3
Book editing
3
Other contribution
2
Abstract
1
Inaugural speech
1
Conference article
1
Working paper
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Working paper
Search results
2006
A Semantic Framework for Test Coverage (Extended Version)
Brinksma, E.
,
Stoelinga, M.
& Brandan Briones, L.,
2006
,
University of Twente
,
23 p.
Research output
:
Working paper
File
Extended Version
100%
Semantics
100%
Coverage Test
100%
Models
66%
Testing
66%
50
Downloads (Pure)