학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 18건 | 목록 1~10
Academic Journal
IEEE Communications Surveys & Tutorials IEEE Commun. Surv. Tutorials Communications Surveys & Tutorials, IEEE. 23(1):341-390 Jan, 2021
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, :150-162)
Academic Journal
In: Software Quality Journal. (Software Quality Journal, 15 June 2019, 27(2):757-795)
Academic Journal
In: Software and Systems Modeling. (Software and Systems Modeling, 4 April 2019, 18(2):889-911)
Conference
In: Proceedings - International Conference on Software Engineering, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. (Proceedings - International Conference on Software Engineering, 2022, 2022-May:859-870)
Book
In: Tests and Proofs - 14th International Conference, TAP 2020, held as part of STAF 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12165 LNCS:23-42)
Book
In: Tests and Proofs - 13th International Conference, TAP 2019, held as part of the 3rd World Congress on Formal Methods 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11823 LNCS:93-111)
Book
In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10998 LNCS:153-169)
Book
In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11024 LNCS:36-52)
Conference
In: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. (Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, 15 May 2017, :390-400)
검색 결과 제한하기
제한된 항목
[AR] Schumi, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어