From post

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.

 

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

Integrating Model Checking and Theorem Proving for Relational Reasoning, , , и . (2004)Structure or Nurture?, , , , и . Proceedings of the ACM on Human-Computer Interaction, 2 (CSCW): 1--21 (ноября 2018)https://doi.org/10.1145/3274337.Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects., , , , и . ISSRE, стр. 403-413. IEEE, (2020)A Large-Scale Longitudinal Study of Flaky Tests., , , , , и . Software Engineering, том P-320 из LNI, стр. 57-59. Gesellschaft für Informatik e.V., (2022)Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests., , , , и . TACAS (1), том 12651 из Lecture Notes in Computer Science, стр. 270-287. Springer, (2021)A Theoretical Analysis of Random Regression Test Prioritization., , , , и . TACAS (2), том 13244 из Lecture Notes in Computer Science, стр. 217-235. Springer, (2022)Finding Polluter Tests Using Java PathFinder., , , , и . ACM SIGSOFT Softw. Eng. Notes, 46 (3): 37-41 (2021)Scientific Tests and Continuous Integration Strategies to Enhance Reproducibility in the Scientific Software Context., , , , и . P-RECS@HPDC, стр. 23-28. ACM, (2019)AlloyMC: Alloy meets model counting., , , и . ESEC/SIGSOFT FSE, стр. 1541-1545. ACM, (2020)iFixFlakies: a framework for automatically fixing order-dependent flaky tests., , , , и . ESEC/SIGSOFT FSE, стр. 545-555. ACM, (2019)