학술논문
'학술논문'
에서 검색결과 10건 | 목록
1~10
Academic Journal
In: Empirical Software Engineering . (Empirical Software Engineering, November 2022, 27(6))
Book
In: Search-Based Software Engineering - 15th International Symposium, SSBSE 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14415 LNCS:133-139)
Book
Brownlee, A.E.I.; Callan, J.; Hanna, C.; Petke, J.; Sarro, F.; Even-Mendoza, K.; Geiger, A.; Sobania, D.
In: Search-Based Software Engineering - 15th International Symposium, SSBSE 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14415 LNCS:153-159)
Book
In: Search-Based Software Engineering - 15th International Symposium, SSBSE 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14415 LNCS:160-166)
Conference
In: ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis , ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. (ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 12 July 2023, :1219-1231)
Conference
In: Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020 , Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020. (Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, September 2020, :1219-1223)
Conference
In: MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design , MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. (MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 9 October 2019)
Conference
Asadi, S.; Blicha, M.; Hyvärinen, A.E.J.; Sharygina, N.; Fedyukovich, G.; Even-Mendoza, K.; Chockler, H.
In: EPiC Series in Computing , 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2018. (EPiC Series in Computing, 2018, 57:56-75)
Book
In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11294 LNCS:50-68)
Book
In: Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10491 LNCS:347-363)
검색 결과 제한하기
제한된 항목
[AR] Even-Mendoza, K.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어