시간 | Session1 | Session2 |
---|---|---|
11:00~11:50 |
C1: CPS and IoT 1[우수 일반 논문] Safety Assurance in Collaborative Cyber-Physical System through Fault Criticality AnalysisManzoor Hussain (충북대학교), 홍장의 (충북대학교), Nazakat Ali (충북대학교) |
D1: Software Testing 3[초청 발표] MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry (Journal of Information and Software Technology, 2020)김윤호 (한양대학교), 이동주 (현대모비스), 백준기 (현대모비스), 김문주 (KAIST)[일반 논문] A Systematic Translation from PAT-based Counterexamples to Viable Test SequencesZelalem Mihret Belay (KAIST), Lingjun Liu (KAIST), 지은경 (KAIST), 배두환 (KAIST) |
13:10~14:00 |
C2: Mining Software Repositories 2[초청 발표] Predicting just‐in‐time software defects to reduce post‐release quality costs in the maritime industry (Journal of Software Practice and Experience, 2020)강종구 (KAIST), 류덕산 (전북대학교), 백종문 (KAIST) |
D2: Software Architecture[단편 논문] Design of Serverless Clusters with stateless computing environment정대욱 (KAIST), 백종문 (KAIST), 지은경 (KAIST) |
14:10~15:00 |
논문발표 C3: Maintenance & Repair |
논문발표 D3: Maintenance & Architecture |
15:10~16:00 |
C4: SE & Machine Learning 2[단편 논문] Variational AutoEncoder를 활용한 여행자 후기 기반 관광지 추천 알고리즘조원희 (전남대학교), 김창영 (전남대학교), 김은수 (전남대학교), 김윤민 (전남대학교), 양형정 (전남대학교) |
D4: Mining Software Repositories 3 |