학술논문
'학술논문'
에서 검색결과 140건 | 목록
20~30
Conference
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2019 IEEE/ACM 41st International Conference on. :524-535 May, 2019
Conference
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) ICST Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on. :58-68 Mar, 2017
Conference
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion (ICSE-Companion), 2018 IEEE/ACM 40th International Conference on. :339-341 May, 2018
Academic Journal
Artho, Cyrille; Barringer, Howard; Goldberg, Allen; Havelund, Klaus ; Khurshid, Sarfraz; Lowry, Mike; Pasareanu, Corina; Roşu, Grigore; Sen, Koushik; Visser, Willem; Washington, Rich
In Theoretical Computer Science 2005 336(2):209-234
Conference
Balasubramanian, Daniel; Pap, Gabor; Nine, Harmon; Karsai, Gabor; Lowry, Michael; Pasareanu, Corina; Pressburger, Tom
2011 22nd IEEE International Symposium on Rapid System Prototyping Rapid System Prototyping (RSP), 2011 22nd IEEE International Symposium on. :121-127 May, 2011
검색 결과 제한하기
제한된 항목
[AR] Pasareanu, Corina
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어