( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A taxonomy of model-based testing

, , и . (2006)

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.

Alexander Pretschner

Walter Alexander Pretschner

Dietrich Pretschner

Sabine Pretschner

Andreas Pretschner

 

Другие публикации лиц с тем же именем

Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction., , , , , и . ISSTA, стр. 127-139. ACM, (2023)Empirically evaluating readily available information for regression test optimization in continuous integration., , , и . ISSTA, стр. 491-504. ACM, (2021)FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer., , , , , и . ICSE-Companion, стр. 75-79. ACM/IEEE, (2022)Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs., , , и . ESSoS, том 8978 из Lecture Notes in Computer Science, стр. 34-42. Springer, (2015)Computing refactorings of state machines, и . Software and Systems Modeling, 6 (4): 381--399 (декабря 2007)Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective., и . ICST Workshops, стр. 379-381. IEEE Computer Society, (2017)From Checking to Inference: Actual Causality Computations as Optimization Problems., и . ATVA, том 12302 из Lecture Notes in Computer Science, стр. 343-359. Springer, (2020)BinaryRTS: Cross-language Regression Test Selection for C++ Binaries in CI., , , , , , и . ICST, стр. 327-338. IEEE, (2023)Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning., , и . USENIX Security Symposium, стр. 661-678. USENIX Association, (2017)Why Did the Test Execution Fail? Failure Classification Using Association Rules (Practical Experience Report)., , , и . ISSRE, стр. 517-528. IEEE, (2022)