Follow
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
Title
Cited by
Cited by
Year
Security testing: A survey
M Felderer, M Büchler, M Johns, AD Brucker, R Breu, A Pretschner
Advances in Computers 101, 1-51, 2016
2302016
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
1262016
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
702012
Representation-Independent Data Usage Control
A Pretschner, E Lovat, M Büchler
Technical Report 2011, 23, Karlsruhe Institute of Technology, Department of …, 0
57*
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
402009
Security mutants for property-based testing
M Büchler, J Oudinet, A Pretschner
Tests and Proofs, 69-77, 2011
362011
Transform-based methods for indexing and retrieval of 3d objects
H Dutagaci, B Sankur, Y Yemez
Fifth International Conference on 3-D Digital Imaging and Modeling (3DIM'05 …, 2005
302005
SPaCiTE--Web Application Testing Engine
M Büchler, J Oudinet, A Pretschner
Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth …, 2012
272012
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
122014
Semi-automatic security testing of web applications with fault models and properties
M Büchler
Technische Universität München, 2015
72015
Security testing with fault-models and properties
M Büchler
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
22013
Evaluation of ASLan Mutation Operators
J Oudinet, A Calvi, M Büchler
International Conference on Tests and Proofs, 178-196, 2013
12013
General Message from the SECTEST 2014 Workshop Chairs
AR Cavalli, M Buchler, Y Yang
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
2014
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
The system can't perform the operation now. Try again later.
Articles 1–15