( en | de | ru )

 

Disambiguation of "Pretschner, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Model-Based Testing of Reactive Systems, Advanced Lectures The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004

, , , , and (Eds.) volume 3472 of Lecture Notes in Computer Science, Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexander Pretschner

Walter Alexander Pretschner

Dietrich Pretschner

Andreas Pretschner

Sabine Pretschner

 

Other publications of authors with the same name

Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective., and . ICST Workshops, page 379-381. IEEE Computer Society, (2017)A taxonomy of model-based testing approaches., , and . Softw. Test. Verification Reliab., 22 (5): 297-312 (2012)Guest editorial for the special section on MODELS 2016., and . Softw. Syst. Model., 18 (3): 1681-1682 (2019)Computing refactorings of state machines., and . Softw. Syst. Model., 6 (4): 381-399 (2007)Ethics in the Software Development Process: From Codes of Conduct to Ethical Deliberation., , , , , and . CoRR, (2020)From Checking to Inference: Actual Causality Computations as Optimization Problems., and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 343-359. Springer, (2020)Mechanisms for usage control., , , , and . AsiaCCS, page 240-244. ACM, (2008)Defining a Software Maintainability Dataset: Collecting, Aggregating and Analysing Expert Evaluations of Software Maintainability., , and . ICSME, page 278-289. IEEE, (2020)Defect-Based Testing.. Dependable Software Systems Engineering, volume 40 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2015)Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach., , , and . CoRR, (2017)