المؤلفون: Beyer, Dirk, Grunske, Lars, Kettl, Matthias, Lingsch-Rosenfeld, Marian, Raselimo, Moeketsi

المصدر: 2024 IEEE/ACM 21st International Conference on Mining Software Repositories (MSR) MSR Mining Software Repositories (MSR), 2024 IEEE/ACM 21st International Conference on. :123-127 Apr, 2024

Relation: 2024 IEEE/ACM 21st International Conference on Mining Software Repositories (MSR)

المؤلفون: Beyer, Dirk, Chien, Po-Chun, Lee, Nian-Ze

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2403.07821

المؤلفون: Beyer, Dirk, Lingsch-Rosenfeld, Marian, Spiessl, Martin

المصدر: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :2078-2081 Sep, 2023

Relation: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Beyer, Dirk, Chien, Po-Chun, Lee, Nian-Ze

المصدر: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :2050-2053 Sep, 2023

Relation: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Beyer, Dirk, Spiessl, Martin

المصدر: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :2074-2077 Sep, 2023

Relation: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Beyer, Dirk, Kettl, Matthias, Lemberger, Thomas

المصدر: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2024 IEEE/ACM 46th International Conference on. :339-340 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

المؤلفون: Beyer, Dirk, Kanav, Sudeep, Wachowitz, Henrik

المصدر: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2023 IEEE/ACM 45th International Conference on. :21-25 May, 2023

Relation: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

المؤلفون: Baier, Daniel^Aff3, Beyer, Dirk^Aff3, Chien, Po-Chun^Aff3, Jankola, Marek^Aff3, Kettl, Matthias^Aff3, Lee, Nian-Ze^Aff3, Lemberger, Thomas^Aff3, Lingsch-Rosenfeld, Marian^Aff3, Spiessl, Martin^Aff3, Wachowitz, Henrik^Aff3, Wendler, Philipp^Aff3

المساهمون: Finkbeiner, Bernd, editor^Aff1, Kovács, Laura, editor^Aff2

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III. 14572:359-364

المؤلفون: Beyer, Dirk^Aff3

المساهمون: Finkbeiner, Bernd, editor^Aff1, Kovács, Laura, editor^Aff2

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III. 14572:299-329

المؤلفون: Ádám, Zsófia^{Aff3, Aff4}, Beyer, Dirk^Aff4, Chien, Po-Chun^Aff4, Lee, Nian-Ze^Aff4, Sirrenberg, Nils^Aff4

المساهمون: Finkbeiner, Bernd, editor^Aff1, Kovács, Laura, editor^Aff2

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III. 14572:129-149