Alexander Pretschner spends much of his time researching Model-based testing, Computer security, Test case, World Wide Web and Software engineering. His Model-based testing research is multidisciplinary, incorporating elements of Test strategy, Model checking, Data mining and Taxonomy. His biological study spans a wide range of topics, including Virtualization, Semantics and Resilience.
His work in Test case addresses issues such as System testing, which are connected to fields such as Non-regression testing. His research integrates issues of Control and Information retrieval in his study of World Wide Web. His work deals with themes such as Computational science and Reactive system, Systems engineering, which intersect with Software engineering.
Alexander Pretschner mainly investigates Computer security, Software engineering, Control, Software and Model-based testing. His work is connected to Access control and Malware, as a part of Computer security. His Software engineering research is multidisciplinary, incorporating perspectives in Software development, Systems engineering and Social software engineering.
His Software study integrates concerns from other disciplines, such as Machine learning and Artificial intelligence. His work in Model-based testing covers topics such as Programming language which are related to areas like Theoretical computer science. His Test case research incorporates elements of System testing and Reliability engineering.
Alexander Pretschner mainly investigates Artificial intelligence, Machine learning, Causal model, Software system and Process. Alexander Pretschner has included themes like Domain, Test case, Parameterized complexity and Functional specification in his Artificial intelligence study. His research in Machine learning intersects with topics in Test suite, Scenario testing, Data modeling and Malware.
Alexander Pretschner has researched Causal model in several fields, including Computer security and Preemption. His Software system research is within the category of Software. His work in Process addresses subjects such as Task, which are connected to disciplines such as Task analysis.
Alexander Pretschner mostly deals with Machine learning, Artificial intelligence, Scenario testing, Causality and Causal model. His Machine learning study incorporates themes from Domain, Software, Symbolic execution and Baseline. His studies in Artificial intelligence integrate themes in fields like Data modeling, Data flow diagram, Data mining and Fuzz testing.
His Scenario testing research includes themes of Reliability engineering, Test case, Process and Functional specification. His Test case research integrates issues from Envelope, Collision and Parameterized complexity. He combines subjects such as Optimization problem and Inference with his study of Theoretical computer science.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
A taxonomy of model-based testing approaches
Mark Utting;Alexander Pretschner;Bruno Legeard.
Software Testing, Verification & Reliability (2012)
Ontology based personalized search
A. Pretschner;S. Gauch.
international conference on tools with artificial intelligence (1999)
Model-Based Testing of Reactive Systems, Advanced Lectures
Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker.
Lecture Notes in Computer Science (2005)
Software Engineering for Automotive Systems: A Roadmap
A. Pretschner;M. Broy;I.H. Kruger;T. Stauner.
international conference on software engineering (2007)
Engineering Automotive Software
M. Broy;I.H. Kruger;A. Pretschner;C. Salzmann.
Proceedings of the IEEE (2007)
Distributed usage control
Alexander Pretschner;Manuel Hilty;David Basin.
Communications of The ACM (2006)
One evaluation of model-based testing and its automation
A. Pretschner;W. Prenninger;S. Wagner;C. Kühnel.
international conference on software engineering (2005)
A taxonomy of model-based testing
Mark Utting;Alexander Pretschner;Bruno Legeard.
Technical report 04/2006, Department of Computer Science, The University of Waikato (New Zealand) (2006)
A policy language for distributed usage control
M. Hilty;A. Pretschner;D. Basin;C. Schaefer.
european symposium on research in computer security (2007)
On obligations
Manuel Hilty;David Basin;Alexander Pretschner.
european symposium on research in computer security (2005)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Technical University of Munich
University of Lübeck
RWTH Aachen University
Uppsala University
Schaffhausen Institute of Technology
University of Arkansas at Fayetteville
ETH Zurich
Vrije Universiteit Amsterdam
University of Innsbruck
University of Paderborn
École Polytechnique Fédérale de Lausanne
Shanghai Jiao Tong University
University of Santiago de Compostela
Uppsala University
Augsburg College
University of Brescia
Woosuk University
Michigan State University
Yale University
Public Health Agency of Canada
Swiss Federal Institute for Forest, Snow and Landscape Research
University of Teramo
University of Bologna
University of Sydney
University of Auckland
Emory University