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 × Belgium
1 × Canada
1 × Hungary
1 × Luxembourg
1 × Switzerland
Collaborated with:
J.Oudinet A.Pretschner A.Calvi K.Hossen P.F.Mihancea M.Minea R.Groz C.Oriat
Talks about:
test (4) secur (3) properti (2) model (2) project (1) spacit (1) spacio (1) mutant (1) applic (1) mutat (1)

Person: Matthias Büchler

DBLP DBLP: B=uuml=chler:Matthias

Contributed to:

CSMR-WCRE 20142014
ICST 20132013
TAP 20132013
ICST 20122012
TAP 20112011

Wrote 5 papers:

CSMR-WCRE-2014-BuchlerHMMGO #model inference #security #testing
Model inference and security testing in the spacios project (MB, KH, PFM, MM, RG, CO), pp. 411–414.
ICST-2013-Buchler #security #testing
Security Testing with Fault-Models and Properties (MB), pp. 501–502.
TAP-2013-OudinetCB #evaluation
Evaluation of ASLan Mutation Operators (JO, AC, MB), pp. 178–196.
ICST-2012-BuchlerOP #named #testing #web
SPaCiTE — Web Application Testing Engine (MB, JO, AP), pp. 858–859.
TAP-2011-BuchlerOP #security #testing
Security Mutants for Property-Based Testing (MB, JO, AP), pp. 69–77.

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.