2006 / documentation

• CTesK 2.2. Installation Instructions PDF [492 K]
• Using CTesK 2.2 with GCC. Getting started PDF [396 K]
• Using CTesK 2.2 with Microsoft Visual C++® 6.0. Getting started PDF [605 K]
• CTesK 2.2 User Guide PDF [1,27 M]
• CTesK 2.2 SeC Language Reference PDF [1,09 M]

2004 / presentation

Enhancing IPMP-2 for Conformance Testing (for Audio Video coding Standard Working Group of China).

PDF [208 K] in English

2004 / report

MPEG-2 IPMP conformance test suite development (for Audio Video coding Standard Working Group of China).

PDF [498 K] in English and Chinese

2004 / presentation

MPEG-2 IPMP conformance test suite development (for Audio Video coding Standard Working Group of China).

PDF [40 K] in English
PDF [169 K] in Chinese

2004 / case study / industrial project

TinyOS component verification (01.2004–02.2004).

PDF [27 K]

2004 / case study / industrial project

Testing of CTesK abstract data type library (03.2003–05.2003, 09.2003–10.2003).

PDF [20 K]

2004 / case study / industrial project

Verification of an IPv6 implementation for Windows CE 4.1 (05.2002–03.2003).

PDF [83 K]

2004 / case study / pilot project

Testing of IPv6 Core (04.2002–05.2002).

PDF [18 K]

2004 / case study / industrial project

MSR IPv6 verification (12.2000–12.2001).

PDF [76 K]

2004 / whitepaper

CTesK Whitepaper.

PDF [71 K]