Concepedia

Jan Tretmans

JT

19

Publications

1.4K

Citations

14

H-Index

1989

Active since

Affiliations

Radboud University Nijmegen(Current)

University of Twente

Jan Tretmans is an author at Radboud University Nijmegen specializing in engineering, software testing, and formal verification.

Top concepts

EngineeringSoftware TestingVerificationFormal VerificationFormal MethodsComputer ScienceSoftware AnalysisProgram AnalysisSystems EngineeringSoftware Engineering

Publications per year

1989–2024

19

Publications

19

Test Generation with Inputs, Outputs and Repetitive Quiescence

Jan Tretmans · 1996 · 486 citations

Engineering, Verification, Test Data Generation +23

A Formal Approach to Conformance Testing

Jan Tretmans · 1993 · 253 citations

Engineering, Verification, Software Engineering +21

Conformance testing with labelled transition systems: Implementation relations and test generation

Jan Tretmans · Computer Networks and ISDN Systems · 1996 · 179 citations · Full text

Engineering, Program Analysis, Conformance Testing +15

On-the-fly conformance testing using SPIN

Ren x E G. de Vries, Jan Tretmans · International Journal on Software Tools for Technology Transfer · 2000 · 88 citations

Spintronics, Engineering, Physics +9

Automatic Testing with Formal Methods

Jan Tretmans, Axel Belinfante · Data Archiving and Networked Services (DANS) · 1999 · 86 citations · Full text

Rows per page

1–5 of 19