| Security testing: A survey M Felderer, M Büchler, M Johns, AD Brucker, R Breu, A Pretschner Advances in Computers 101, 1-51, 2016 | 246 | 2016 |
| 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 | 130 | 2016 |
| 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 | 71 | 2012 |
| Representation-Independent Data Usage Control A Pretschner, E Lovat, M Büchler Technical Report 2011, 23, Karlsruhe Institute of Technology, Department of …, 0 | 60* | |
| 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 | 40 | 2009 |
| Security mutants for property-based testing M Büchler, J Oudinet, A Pretschner Tests and Proofs, 69-77, 2011 | 36 | 2011 |
| 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 | 34 | 2005 |
| SPaCiTE--Web Application Testing Engine M Büchler, J Oudinet, A Pretschner Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth …, 2012 | 27 | 2012 |
| Chapter one-security testing: A survey. volume 101 of Advances in Computers M Felderer, M Büchler, M Johns, AD Brucker, R Breu, A Pretschner Elsevier, 2016 | 12 | 2016 |
| 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 | 12 | 2014 |
| Semi-automatic security testing of web applications with fault models and properties M Büchler Technische Universität München, 2015 | 7 | 2015 |
| Security testing with fault-models and properties M Büchler 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 3 | 2013 |
| Evaluation of ASLan Mutation Operators J Oudinet, A Calvi, M Büchler International Conference on Tests and Proofs, 178-196, 2013 | 1 | 2013 |
| 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 | | |
Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenBestätigte E-Mail-Adresse bei in.tum.de
