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: B=uuml=chler:Matthias
Contributed to:
2014
2013
201320122011Wrote 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.