Matthias Büchler
Matthias Büchler
Ph.D student in Computer Science, Technical University Munich (Technische Universität München)
Verified email at cs.tum.edu
TitleCited byYear
Security testing: A survey
M Felderer, M Büchler, M Johns, AD Brucker, R Breu, A Pretschner
Advances in Computers 101, 1-51, 2016
672016
Model‐based security testing: a taxonomy and systematic classification
M Felderer, P Zech, R Breu, M Büchler, A Pretschner
Software Testing, Verification and Reliability 26 (2), 119-148, 2016
642016
Semi-automatic security testing of web applications from a secure model
M Büchler, J Oudinet, A Pretschner
2012 IEEE Sixth International Conference on Software Security and …, 2012
512012
Representation-Independent Data Usage Control
A Pretschner, E Lovat, M Büchler
Technical Report 2011, 23, Karlsruhe Institute of Technology, Department of …, 0
47*
Usage control enforcement with data flow tracking for x11
A Pretschner, M Buechler, M Harvan, C Schaefer, T Walter
Proc. 5th Intl. Workshop on Security and Trust Management, 124-137, 2009
362009
Security mutants for property-based testing
M Büchler, J Oudinet, A Pretschner
Tests and Proofs, 69-77, 2011
242011
SPaCiTE--Web Application Testing Engine
M Büchler, J Oudinet, A Pretschner
Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth …, 2012
192012
Model inference and security testing in the spacios project
M Büchler, K Hossen, PF Mihancea, M Minea, R Groz, C Oriat
2014 Software Evolution Week-IEEE Conference on Software Maintenance …, 2014
112014
Semi-Automatic Security Testing of Web Applications with Fault Models and Properties
M Büchler
Technische Universität München, 2015
22015
Security testing with fault-models and properties
M Büchler
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
22013
General Message from the SECTEST 2014 Workshop Chairs
AR Cavalli, M Büchler, Y Yang
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
2014
Evaluation of ASLan Mutation Operators
J Oudinet, A Calvi, M Büchler
International Conference on Tests and Proofs, 178-196, 2013
2013
Method and apparatus for performing a file operation
M Buechler, T Walter, A Pretschner, M Harvan, C Schaefer
EP Patent 2,194,456, 2010
2010
ICSTW 2014
AR Cavalli, M Büchler, Y Yang
Workshop Organization
J Oudinet
Mälardalen University, Sweden, 0
The system can't perform the operation now. Try again later.
Articles 1–15