Concepedia

G.J. Tretmans

GT

Statistics

Publications

6

Citations

256

H-Index

6

Active since

1995

Affiliations

Scientific Methods (United States)(Current)

G.J. Tretmans is an author at Scientific Methods (United States) specializing in formal verification, formal methods, and software testing.

Top concepts

Publications per year

1995–2004

6

Publications

6

TorX: Automated Model-Based Testing

G.J. Tretmans, Hendrik Brinksma · University of Twente Research Information · 2003 · 179 citations · Full text

Testing theory in practice: a simple experiment

R. Terpstra, Zmago Brezočnik, Timotej Kapus et al. · University of Twente Research Information · 1996 · 20 citations · Full text

On-the-Fly Conformance Testing using Spin

R.G. de Vries, G.J. Tretmans · 1998 · 18 citations

Testing labelled Transition Systems with Inputs and Outputs

G.J. Tretmans · Data Archiving and Networked Services (DANS) · 1995 · 17 citations

, , +10

Testing and Formal Methods - BOS Project Case Study

Wouter Geurts, K.C.J. Wijbrans, G.J. Tretmans · Data Archiving and Networked Services (DANS) · 1998 · 12 citations · Full text

, , +10

1–5 of 6