학술논문
'학술논문'
에서 검색결과 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
Aichernig, B.K.; Schumi, R.; Bauerstätter, P.; Krenn, W.; Mateis, C.; Schlick, R.; Jöbstl, E.; Kann, S.; Korošec, R.
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)
주제어
언어