( en | de | ru )

 

Disambiguation of "Pretschner, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

Personalization on the Web, and . Information and Telecommunication Technology Center, (1999)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)ACCBench: A Framework for Comparing Causality Algorithms., , , and . CREST@ETAPS, volume 259 of EPTCS, page 16-30. (2017)Towards a Unified Model of Accountability Infrastructures., , and . CREST@ETAPS, volume 224 of EPTCS, page 40-54. (2016)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)Poking the bear: lessons learned from probing three Android malware datasets., and . A-Mobile@ASE, page 19-24. ACM, (2018)Data Protection in a Cloud-Enabled Smart Grid., , and . SmartGridSec, volume 7823 of Lecture Notes in Computer Science, page 96-107. Springer, (2012)A Fully Decentralized Data Usage Control Enforcement Infrastructure., and . ACNS, volume 9092 of Lecture Notes in Computer Science, page 409-430. Springer, (2015)