A taxonomy of model‐based testing approaches M Utting, A Pretschner, B Legeard Software testing, verification and reliability 22 (5), 297-312, 2012 | 1157 | 2012 |
Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Volume 3472 of Springer LNCS, 2005 | 697* | 2005 |
Ontology-based personalized search and browsing S Gauch, J Chaffee, A Pretschner Web Intelligence and Agent Systems: An international Journal 1 (3-4), 219-234, 2003 | 691 | 2003 |
Ontology based personalized search A Pretschner, S Gauch Tools with Artificial Intelligence, 1999. Proceedings. 11th IEEE …, 1999 | 649 | 1999 |
Software engineering for automotive systems: A roadmap A Pretschner, M Broy, IH Kruger, T Stauner Future of Software Engineering (FOSE'07), 55-71, 2007 | 485 | 2007 |
Engineering automotive software M Broy, IH Kruger, A Pretschner, C Salzmann Proceedings of the IEEE 95 (2), 356-373, 2007 | 461 | 2007 |
Distributed usage control A Pretschner, M Hilty, D Basin Communications of the ACM 49 (9), 39-44, 2006 | 345 | 2006 |
One evaluation of model-based testing and its automation A Pretschner, W Prenninger, S Wagner, C Kühnel, M Baumgartner, ... Proceedings of the 27th international conference on Software engineering …, 2005 | 316 | 2005 |
Security testing: A survey M Felderer, M Büchler, M Johns, AD Brucker, R Breu, A Pretschner Advances in Computers 101, 1-51, 2016 | 242 | 2016 |
A policy language for distributed usage control M Hilty, A Pretschner, D Basin, C Schaefer, T Walter Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007 | 236 | 2007 |
Code obfuscation against symbolic execution attacks S Banescu, C Collberg, V Ganesh, Z Newsham, A Pretschner Proceedings of the 32nd Annual Conference on Computer Security Applications …, 2016 | 234 | 2016 |
On obligations M Hilty, D Basin, A Pretschner Computer Security–ESORICS 2005: 10th European Symposium on Research in …, 2005 | 181 | 2005 |
Model-based testing A Pretschner Proceedings of the 27th international conference on Software engineering …, 2005 | 169* | 2005 |
Model-based development of embedded systems B Schätz, A Pretschner, F Huber, J Philipps International Conference on Object-Oriented Information Systems, 298-311, 2002 | 158 | 2002 |
Methodological Issues in Model-Based Testing A Pretschner, J Philipps Model-Based Testing of Reactive Systems, 281-291, 2005 | 156 | 2005 |
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 | 128 | 2016 |
Usage control enforcement: Present and future A Pretschner, M Hilty, F Schütz, C Schaefer, T Walter IEEE Security & Privacy 6 (4), 44-53, 2008 | 106 | 2008 |
Model-based tests for access control policies A Pretschner, T Mouelhi, Y Le Traon 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 106 | 2008 |
Model-based testing for real: The inhouse card case study A Pretschner, O Slotosch, E Aiglstorfer, S Kriebel International Journal on Software Tools for Technology Transfer 5, 140-157, 2004 | 101 | 2004 |
Abstractions for model-based testing W Prenninger, A Pretschner Electronic Notes in Theoretical Computer Science 116, 59-71, 2005 | 100 | 2005 |