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
1 × Japan
Collaborated with:
A.D.Brucker B.Wolff P.Kearney
Talks about:
test (4) firewal (2) verifi (2) transform (1) hypothes (1) generat (1) conform (1) polici (1) experi (1) proof (1)

Person: Lukas Brügger

DBLP DBLP: Br=uuml=gger:Lukas

Contributed to:

ICST 20102010
MBT 20082008
TestCom/FATES 20082008

Wrote 3 papers:

ICST-2010-BruckerBKW #generative #policy #testing
Verified Firewall Policy Transformations for Test Case Generation (ADB, LB, PK, BW), pp. 345–354.
MBT-2008-BruckerBW #empirical #proving #verification
Verifying Test-Hypotheses: An Experiment in Test and Proof (ADB, LB, BW), pp. 15–27.
TestCom-FATES-2008-BruckerBW #consistency #modelling #testing
Model-Based Firewall Conformance Testing (ADB, LB, BW), pp. 103–118.

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.