Lukas Brügger

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Topics

Reactive Systems

Test Data Generation

Statistical Significance

Testing Process

Top Venues

Arch. Formal Proofs

Softw. Test. Verification Reliab.

Publications

Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Formal Network Models and Their Application to Firewall Policies. Arch. Formal Proofs 2017 (2017)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Formal firewall conformance testing: an application of test and proof techniques. Softw. Test. Verification Reliab. 25 (1) (2015)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
The Unified Policy Framework (UPF). Arch. Formal Proofs 2014 (2014)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. ICTAC (2013)
Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff
An approach to modular and testable security models of real-world health-care applications. SACMAT (2011)
Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff
Verified Firewall Policy Transformations for Test Case Generation. ICST (2010)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Model-Based Firewall Conformance Testing. TestCom/FATES (2008)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Verifying Test-Hypotheses: An Experiment in Test and Proof. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)