BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
2 × Germany
Collaborated with:
W.Müller M.Conrad I.Oliver
Talks about:
classif (2) system (2) tree (2) test (2) systemat (1) function (1) descript (1) approach (1) coverag (1) random (1)

Person: Alexander Krupp

DBLP DBLP: Krupp:Alexander

Contributed to:

DATE 20102010
DATE 20062006
MBT 20062006
DATE DF 20042004

Wrote 4 papers:

DATE-2010-Krupp0 #approach
A systematic approach to the test of combined HW/SW systems (AK, WM), pp. 323–326.
DATE-2006-KruppM #classification #functional #random testing #testing
Classification trees for random tests and functional coverage (AK, WM), pp. 1031–1032.
MBT-2006-ConradK #classification #embedded
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events (MC, AK), pp. 3–11.
DATE-DF-2004-KruppMO #model checking #refinement
Formal Refinement and Model Checking of an Echo Cancellation Unit (AK, WM, IO), pp. 102–107.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.