2023 한국 소프트웨어공학 학술대회 (KCSE 2023) 논문 모집

“건강하고 안전한 사회를 위한 소프트웨어공학 기술”
KCSE2023 Main: https://sigsoft.or.kr/kcse2023

▣ 행사개요

– 일시:2023년 2월 8일(수) ~ 2월 10일(금)
– 주최: 한국정보과학회, 한국정보처리학회
– 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회
– 장소: 강원도 휘닉스 평창 한화리조트
– 후원: ㈜STA테스팅컨설팅, ETRI, ㈜솔루션링크, ㈜비트컴퓨터, ㈜이에스지, ㈜ 다한테크, 브이플러스랩㈜, 슈어소프트테크㈜, 한국정보통신기술협회, KOSTA한국소프트웨어기술진흥협회, 모아소프트, T3Q㈜, SPID

▣ 모시는 글

한국정보과학회와 한국정보처리학회가 공동 주최하고 한국정보과학회의 소프트웨어공학 소사이어티와 한국정보처리학회의 소프트웨어공학 연구회가 공동 주관하는 “2023 한국 소프트웨어공학 학술대회 (KCSE 2023)”가 2023년 2월 8일부터 2월 10일까지 개최됩니다. 이번 행사에서는 “건강하고 안전한 사회를 위한 소프트웨어공학 기술건강하고 안전한 사회를 위한 소프트웨어공학 기술”을 주제로 다양한 논문 발표 및 토론이 있을 예정입니다. 이에 아래와 같이 논문을 모집하오니 여러분의 많은 참여를 부탁드립니다.

▣ 논문 모집 분야
아래 나열된 분야를 포함하여 소프트웨어공학 전 분야의 논문을 모집합니다.

▣ 논문 접수
논문 성격에 따라 아래와 같은 트랙으로 구분하여 접수합니다.

– 일반(Regular) 논문: 대학, 연구소 또는 기업에서 수행한 이론, 실험, 아이디어 제시 위주의 논문 (8-10쪽)
– 단편(Short) 논문: 대학, 연구소 또는 기업에서 수행한 이론, 실험, 아이디어 제시 위주의 논문 (2-4쪽)
– 산업체 논문: 소프트웨어 공학의 각종 기법을 실제 업무에 적용한 논문 (4-8쪽 논문 또는 발표자료)
– 박사학위 논문: 2021년도 이후에 소프트웨어공학 분야의 박사학위를 취득했거나 예정인 논문 (2쪽)
– 학부생 논문: 학부생이 수행한 프로젝트, 이론/실험, 아이디어 위주의 논문 (4-8쪽 논문)
– 튜토리얼 제안서: 개인이나 팀을 구성하여 제안

※ 제출된 일반논문 중 우수논문을 선정하여 한국정보과학회 논문지 및 한국정보처리학회 논문지에 게재 추천

▣ 주요 일정

– 튜토리얼 제안서 접수: 2022년 12월 16일(금) 연장: 2023년 1월 3일(화)
– 논문 접수 마감: 2022년 12월 27일(화) 2023년 1월 3일(화) 연장(최종): 2023년 1월 8일(일)
– 심사 결과 통보: 2023년 1월 17일(화) -> 2023년 1월 20일 (금)
 2023년 1월 20일 (금)
– 최종 원고 제출: 2023년 1월 24일(화) -> 2023년 1월 27일 (금)

2023년 1월 27일 (금) 

– 단, 코로나 바이러스 방역상의 이유로 오프라인 발표가 불가한 경우, 발표 동영상 제출 가능 (학술위원장의 허가 필요)

▣ 논문 및 제안서 제출

– 논문 양식: https://sigsoft.or.kr/category/자료실/기타
– 논문 제출: https://easychair.org/conferences/?conf=kcse2023
– 튜토리얼 제안서는 학술위원장에게 이메일로 제출해주시기 바랍니다.
– 기타 문의 사항 연락처: KAIST 지은경 (ekjee@se.kaist.ac.kr, 042-350-7810)

▣ 학술 대회 조직 구성

• 대회장: 고인영 (KAIST), 이은서 (안동대)
• 조직위원장: 류덕산 (전북대)
• -조직위원: 김순태(전북대), 김정아(가톨릭관동대), 남재창(한동대), 백종문(KAIST), 유철중(전북대), 이은서(안동대), 이지현(전북대), 강성주 박사(ETRI), 권원일 대표(STA테스팅컨설팅), 민상윤 대표(솔루션링크), 이해서 대표(ESG), 전진옥 사장(비트컴퓨터)

• 학술위원장: 지은경 (KAIST)
– 학술위원: 김동선 교수(경북대), 김문주 교수(KAIST), 김미정 교수(UNIST), 김윤호 교수(한양대), 김진대 교수(서울과학기술대), 김진현 교수(경상대), 김태호 박사(ETRI), 김택수 박사(삼성전자), 마유승 박사(ETRI), 박수진 교수(서강대), 배경민 교수(POSTECH), 서영석 교수(영남대), 서주영 교수(아주대), 오학주 교수(고려대), 유신 교수(KAIST), 윤회진 교수(협성대), 이석원 교수(아주대), 이선아 교수(경상대), 이우석 교수(한양대), 이우진 교수(경북대), 이은주 교수(경북대), 이정원 교수(아주대), 이주용 교수(UNIST), 이찬근 교수(중앙대), 이희진 교수(한국폴리텍대학), 정우성 교수(서울교대), 채흥석 교수(부산대), 최윤자 교수(경북대), 한종대 교수(상명대), 홍신 교수(한동대), 홍장의 교수(충북대)

KCSE2023 후원 업체

“신뢰할 수 있는 인공지능을 위한 소프트웨어공학 기술”

오프라인 개최 (온라인 병행)
https://sigsoft.or.kr/KCSE2022
http://kcse2022.userinsight.co.kr (온라인 학술대회)

[프로그램북][KCSE 2022 proceedings][KCSE 2022 사진 링크]


▣ 일시: 2022년 1월 19일(수) ~ 1월 21일 (금)
▣ 주최: 한국정보과학회, 한국정보처리학회
▣ 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회
▣ 후원: ETRI(한국전자통신연구원), ㈜솔루션링크, ㈜비트컴퓨터, ㈜유정인베스트먼트, 한국소프트웨어기술진흥협회(KOSTA), T3Q㈜, ㈜다한테크, ㈜브이웨이, 브이플러스랩㈜, 슈어소프트테크㈜, ㈜이에스지, ㈜코어다트랩, STA테스팅컨설팅㈜, TTA소프트웨어시험인증연구소, 서강대 적응형 블록체인플랫폼기술 연구센터, KAIST 빅데이터 엣지클라우드 서비스 연구센터


▣ 모시는 글
소프트웨어공학 학술대회(KCSE 2022) 참가자 여러분을 환영합니다.

KCSE (Korea Conference on Software Engineering)는 기업, 연구소 및 학계에서 활동하고 계신 소프트웨어공학 분야 전문가들의 모임으로, 한국정보과학회 소프트웨어공학 소사이어티와 한국정보처리학회 소프트웨어공학연구회가 소프트웨어공학 기술의 발전 및 적용 확산을 위하여 1999 년부터 매년 개최하는 학술대회 입니다.

이번 제24회 학술대회는 “신뢰할 수 있는 인공지능을 위한 소프트웨어공학 기술”을 주제로, 기조 연설, 튜토리얼, 신진 연구자 발표, 우수 논문 발표 등의 초청 세션과 소프트웨어공학 분야의 각계에서 제출한 엄선된 논문으로 구성하였으며, 2022년 1월 19일부터 3일간에 걸쳐 진행하게 되었습니다.

이번 학술대회는 오프라인 중심, 온라인 병행으로 진행하고자 계획하고 있습니다만 추후 온라인 중심, 오프라인 병행으로 변경될 수 있음을 말씀드립니다. 온라인이든 오프라인이든 소통 방식과는 무관하게 이제는 시간과 공간의 한계를 넘어서는 교류의 시대가 되었습니다. 이번 KCSE 2022 학술대회가 소프트웨어공학을 연구하고, 적용하는 모든 연구자 그리고 전문가 여러분께 즐겁고 활기찬 학술 교류 및 기술 협력의 장이 될 수 있도록 철저한 방역과 다양한 프로그램으로 진행하고자 하오니 여러분의 많은 관심과 참여를 부탁드립니다.

제24회 KCSE 학술행사를 위해 수고해 주신 조직위원회와 학술위원회 위원들, 후원 기관 관계자 여러분, 그리고 기조 연설을 포함한 학술대회 모든 발표자분들께 깊이 감사드리며 건승을 기원합니다.

한국정보과학회 소프트웨어공학 소사이어티 회장 홍장의
한국정보처리학회 소프트웨어공학연구회 운영위원장 김정아

▣ 기조 강연
• 기조강연 1: “SE 관련 교육과 인재양성” – 권기현 교수, 경기대
• 기조강연 2: “Software Defined Weapon – Open Innovation을 통한 신뢰성있는 자율화 무기체계의 개발” – 김동환 연구위원, LIG 넥스원


▣ 튜토리얼
• T1: 김동선 (경북대학교) – “프로그램 자동 수정: 기초와 원리, 그리고 패턴 추출”
• T2: 박창규 (삼성전자) – “Challenges on System IP Design Automation Software”
• T3: 정세린 (와이즈스톤) – “신뢰성 있는 인공지능 품질평가방안 및 사례”
• T4: 이우석 (한양대학교) – “프로그램 합성 소개”
• T5: 황성재 (성균관대) – “Towards Secure Interoperation in Android”
• T6: 이재용 (한서대) – “소프트웨어 개발에서의 프로그래밍 심리학”


▣ 우수 국제학회/학술지 초청 논문발표
• “SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters”, ICSE 2022 (고려대)
• “NPEX: Repairing Java Null Pointer Exceptions without Tests”, ICSE 2022 (고려대)
• “JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification”, ICSE 2021, 박지혁 (KAIST)
• “JSTAR: JavaScript Specification Type Analyzer using Refinement”, ASE 2021, 박지혁 (KAIST)
• “Efficient SMT-Based Model Checking for Signal Temporal Logic”, ASE 2021, (POSTECH)
• “Ahead of Time Mutation Based Fault Localisation using Statistical Inference”, ISSRE 2021, 김진한 (KAIST)
• “Observation-based approximate dependency modeling and its use for program slicing”, Journal of Systems and Software 2021, 이성민 (KAIST)
• “HOTFUZ: cost-effective higher-order mutation-based fault localization”, Software Testing, Verification and Reliability, 2021, 장종인 (KAIST)

▣ 신진 연구자 초청 발표
• 김미정 (UNIST): “머신러닝 소프트웨어를 위한 자동화 테스팅 기술”
• 이낙원 (KAIST): “빠른 추상 도달가능성 분석을 위한 새로운 목표 지향 모델 체킹 (A Novel Target Directed Model Checking for Fast Abstract Reachability Analysis)”
• 이준영 (CryptoLab): “A Robust Foundation for the Correctness of LLVM Compiler”
• 양근석 (경남대): 오픈소스 소프트웨어에서의 버그 정정 관리를 위한 지능형 프레임워크
• 손현승 (목포대): Metamodel and Model Transformation for SW Visualization
• 박보경 (진주교육대): 비형식 요구사항 기반 유스케이스 추출을 통한 노력 추정 방법

▣ 워크숍 (Closed)
• 서강대 적응형 블록체인 플랫폼 기술 연구센터
• KAIST 빅데이터 엣지 클라우드 서비스 연구센터

▣ 프로그램


▣ 참가등록
• 백신 접종완료자(학회 참석일로부터 2주 전) 또는 PCR 검사 음성확인자만 참가 가능합니다.
• 백신 미접종자 또는 미완료자는 PCR 검사 음성확인서를 지참하시기 바랍니다.
• PCR 검사는 문자 혹은 종이로 통보 받은 시간부터 48시간이 경과되는 자정까지만 유효합니다. (따라서 21일 학회종료시점인 정오까지 참석하시기 위해서는 19일 오전에 통보를 받으신 내역이어야 합니다. 20일까지만 참석하실 예정이시면 18일 오전 문자 통보 내역도 인정)

• 1/3일 이후 방역패스 유효기간은 코로나19 백신 2차접종후 6개월(180일)입니다. 따라서 유효기간 만료가 임박한 경우에는 3차 접종후 혹은 PCR검사 음성확인후 참석 부탁드립니다.
• 19, 20, 21일 체온이 37.5도 이상인 경우, 학회 입장이 불가합니다.

• 참가등록비

• 논문발표자는 오프라인 참가등록 및 발표를 원칙으로 합니다. 단, 코로나 바이러스 방역상의 이유로 오프라인 발표가 불가한 경우 학술위원장의 허가 후 온라인 발표
• 한국정보과학회 회원/비회원 참가비 동일
• 사전등록 사이트: http://kiise.or.kr/conference/conf/100/
• 사전 등록 문의: 한국정보과학회 정가영 대리 (Email: gyjeong@kiise.or.kr, Tel. 02-588-4001)
o 납입증명서, 참가확인서(행사종료 후) 요청 가능
• 기타문의:
o 등록관련 아주대학교 이정원 교수 (Email: jungwony@ajou.ac.kr, Tel. 031-219-1959)
o 논문관련 UNIST 이주용 교수 (Email: jooyong@unist.ac.kr, Tel. 052-217-2123)

▣ 학술대회 조직 구성
• 대회장: 홍장의 (충북대), 김정아 (가톨릭 관동대)
• 조직위원장: 이정원 (아주대)
– 조직위원: 고인영 교수(KAIST), 김순태 교수(전북대), 김정아 교수(가톨릭관동대), 류덕산 교수(전북대), 백종문 교수(KAIST), 유준범 교수(건국대), 이선아 교수(경상대), 이찬근 교수(중앙대), 한종대 교수(상명대), 정효택 박사(ETRI), 민상윤 대표(솔루션링크), 전진옥 사장(비트컴퓨터), 박병훈 대표(T3Q), 박준석 회장(한국소프트웨어기술진흥협회)

• 학술위원장: 이주용 교수 (UNIST)
– 학술위원: 김동선 교수(경북대), 김문주 교수(KAIST), 김미정 교수(UNIST), 김윤호 교수(한양대), 김진대 교수(서울과학기술대), 김진현 교수(경상대), 김태호 박사(ETIR), 김택수 박사(삼성전자), 남재창 교수(한동대), 류덕산 교수(전북대), 박수진 교수(서강대), 배경민 교수(POSTECH), 서영석 교수(영남대), 오학주 교수(고려대), 유신 교수(KAIST), 윤회진 교수(협성대), 이우석 교수(한양대), 이우진 교수(경북대), 정우성 교수(서울교대), 지은경 교수(KAIST), 채흥석 교수(부산대), 최윤자 교수(경북대), 홍신 교수(한동대)

2022 한국 소프트웨어공학 학술대회 (KCSE 2022) 논문 모집

“신뢰할 수 있는 인공지능을 위한 소프트웨어공학 기술 ”
https://sigsoft.or.kr/KCSE2022/

▣ 행사개요

– 일시:2022년 1월 19일(수) ~ 1월 21일 (금)
– 주최: 한국정보과학회, 한국정보처리학회
– 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회
– 장소: 평창, 휘닉스파크 (현단계 유지시 오프라인 중심/온라인 병행)
– 백신 접종완료자(학회 참석일로부터 2주 전) 또는 PCR 검사 음성확인자만 참가 가능합니다.
– 백신 미접종자 또는 미완료자는 PCR 검사(학회 참석일로부터 48시간 이내) 음성확인서를 지참하시기 바랍니다.


▣ 모시는 글

한국정보과학회와 한국정보처리학회가 공동 주최하고 한국정보과학회의 소프트웨어공학 소사이어티와 한국정보처리학회의 소프트웨어공학 연구회가 공동 주관하는 “2022 한국 소프트웨어공학 학술대회 (KCSE 2022)”가 2022년 1월 19일부터 1월 21일까지 개최됩니다. 이번 행사에서는 “신뢰할 수 있는 인공지능을 위한 소프트웨어공학 기술”을 주제로 다양한 논문 발표 및 토론이 있을 예정입니다. 이에 아래와 같이 논문을 모집하오니 여러분의 많은 참여를 부탁드립니다.

▣ 논문 모집 분야
아래 나열된 분야를 포함하여 소프트웨어공학 전 분야의 논문을 모집합니다.

▣ 논문 접수
논문 성격에 따라 아래와 같은 트랙으로 구분하여 접수합니다.

– 일반(Regular) 논문: 대학, 연구소 또는 기업에서 수행한 이론, 실험, 아이디어 제시 위주의 논문 (8-10쪽)
– 단편(Short) 논문: 대학, 연구소 또는 기업에서 수행한 이론, 실험, 아이디어 제시 위주의 논문 (2-4쪽) 단편(Short) 논문: 대학, 연구소 또는 기업에서 수행한 이론, 실험, 아이디어 제시 위주의 논문 (2-4쪽)
– 산업체 논문: 소프트웨어 공학의 각종 기법을 실제 업무에 적용한 논문 (4-8쪽 논문 또는 발표자료)
– 박사학위 논문: 2018년도 이후에 소프트웨어공학 분야의 박사학위를 취득했거나 예정인 논문 (2쪽)
– 학부생 논문: 학부생이 수행한 프로젝트, 이론/실험, 아이디어 위주의 논문 (4-8쪽 논문 또는 발표자료)
– 튜토리얼 제안서: 개인이나 팀을 구성하여 제안

※ 제출된 일반논문 중 우수논문을 선정하여 한국정보과학회 논문지 및 한국정보처리학회 논문지에 게재 추천

▣ 주요 일정

– 튜토리얼 제안서 접수: 2021년 11월 26일 (금) – 2021년 12월 17(금) (최종마감)
– 논문 접수 마감: 2021년 12월 6일 (월) – 2021년 12월 17(금) (최종마감)
– 심사 결과 통보: 2021년 12월 28일 (화)
– 최종 원고 제출: 2022년 1월 4일 (화)
– 단, 코로나 바이러스 방역상의 이유로 오프라인 발표가 불가한 경우, 발표 동영상 제출 가능 (학술위원장의 허가 필요)

▣ 논문 및 제안서 제출

– 논문 양식: https://sigsoft.or.kr/category/자료실/기타
– 논문 제출: https://easychair.org/conferences/?conf=kcse2022
– 튜토리얼 제안서는 학술위원장에게 이메일로 제출해주시기 바랍니다.
– 기타 문의 사항 연락처: UNIST 이주용 (jooyong@unist.ac.kr, 052-217-2123)

▣ 학술 대회 조직 구성

– 대회장: 홍장의 (충북대), 김정아 (가톨릭 관동대)
– 조직위원장: 이정원 (아주대)
– 조직위원: 고인영 (KAIST), 김정아 (가톨릭 관동대), 류덕산 (전북대), 백종문 (KAIST), 서주영 (아주대), 유준범 (건국대), 이선아 (경상대), 이찬근 (중앙대), 한종대 (상명대)
– 학술위원장: 이주용 (UNIST)
– 학술위원: 김동선 (경북대), 김문주 (KAIST), 김미정 (UNIST), 김윤호 (한양대), 김진대 (서울과학기술대), 김진현 (경상대), 김태호 (ETRI), 김택수 (삼성전자), 남재창 (한동대), 류덕산 (전북대), 박수진 (서강대), 배경민 (POSTECH), 서영석 (영남대), 오학주 (고려대), 유신 (KAIST), 윤회진 (협성대), 이우석 (한양대), 이우진 (경북대), 정우성(서울교대), 지은경 (KAIST), 채흥석 (부산대), 최윤자 (경북대), 홍신 (한동대)

한국정보과학회 소프트웨어공학 소사이어티

제9회 소프트웨어공학 단기전문가강좌

2021년 7월 13일(화) / 20일(화), 온라인

 

행사개요

주제: 프로그램 합성 [ 2021 단기전문가강좌 ]

일시: 2021.07.13(화) 오전 9:00 ~ 오후 6:00 / 20(화) 오전 9:00 ~ 오후 6:00

장소: 온라인 (참여 링크 추후 등록메일로 공지)

주최: 한국정보과학회

주관: 한국정보과학회 소프트웨어공학 소사이어티

등록: ~ 2021. 7. 9. 까지

(30명 선착순/별도의 현장 등록은 없습니다.)

 

 

모시는글

한국정보과학회 소프트웨어공학 소사이어티는 매년 여름마다 단기 전문가 강좌를 개최하고 있습니다. 2021년에는 아홉 번째로 최근 학계와 산업계에서 많은 관심을 갖고 있는 “프로그램 자동 합성 기술”에 대한 주제로 여러분을 만나게 되었습니다. 탐색 기반 소프트웨어공학에 대한 연구와 니즈가 증가하고 있는 시점에서 재사용 가능한 소프트웨어를 탐색하고 이를 자동으로 합성하여 소프트웨어 개발해 가는 접근 방법은 생산성 및 품질 향상이라는 측점에서 매우 중요한 공학적 기술이라 할 수 있습니다.

이번 단기 전문가 강좌의 강사로 모신 한양대학교의 이우석 교수님은 프로그램 자동 합성 기술 분야에서 오랫동안 연구와 강의를 해오신 전문가로서, 다양한 프로그램 합성 전략에 대하여 이해하고, 이를 기반으로 프로그램 합성기를 직접 개발해 보는 유익한 시간을 제공할 것입니다. 이번 단기 전문가 강좌는 코드 기반 소프트웨어공학을 공부하는 연구자들에게는 물론, 산업체의 소프트웨어 개발자에게도 매우 유익한 기회가 될 것으로 확신합니다. 비록, 코로나 바이러스의 국가 안전 시책에 따라 이번 강좌가 비대면으로 진행하지만, 흥미로운 주제와 풍성한 콘텐츠를 준비하였으니 여러분의 많은 참여와 관심을 부탁드립니다. 
            2021년 6월 14일   한국정보과학회 소프트웨어공학 소사이어티 회장 홍 장 의

 

강사 및 과목 개요

 강사: 이우석 교수 (한양대 에리카 캠퍼스)

예제로부터 프로그램 코드를 자동으로 학습하는 기술을 귀납적 프로그래밍(inductive programming) 또는 일반적으로 프로그램 합성(program synthesis)이라고 한다. 최근 프로그램 합성 기술이 눈부시게 발전하고 있으며, MS Excel의 FlashFill과 같이 여러 상용 제품에서도 엔드 유저를 위한 프로그램 기술로 각광받고 있다. 본 단기 강좌에서는 프로그램 합성 기술에 대한 기본적인 이해를 갖추고, 용도에 알맞게 사용하는 방법을 다룬다. 또한 현재까지 제안된 다양한 프로그램 합성 전략을 통해 프로그램 합성 분야의 동향을 소개한다. 프로그램 합성 기술 관련 도구인 PROSE SDK를 사용하여 직접 프로그램 합성기를 만들어 봄으로써 실제적인 도구 활용 방법도 익힌다.

 

  학습목표

(1) 프로그램 합성 기술에 대한 이해를 갖추고, 용도에 알맞게 사용하는 방법을 익힌다.
(2) 현재까지 제안된 다양한 프로그램 합성 전략을 살펴본다.
(3) PROSE SDK를 사용하여 직접 프로그램 합성기를 만들어본다
  사전지식

(1) 일차 술어논리 (first order logic) 및 형식 문법 중 문맥 둔감 문법 (context-free grammar) 에 대한 기본적인 이해
(2) 자료구조, 이산수학, 알고리즘에 대한 기본적 이해
(3) 실습을 위해 C#에 대한 약간의 숙련도가 필요.
일반적으로 위와 같은 사전 지식이 필요하나, 본 강좌에서는 수강생들이 위와 같은 지식을 충분히 갖추지 않았다고 가정하고 기초부터 설명할 계획임.

준비물

• 수강생들은 실습을 위해 맥 혹은 윈도우즈 기반의 노트북 지참 (Virualbox, MS Visual Studio, MS PROSE SDK설치 필요)
• 실습 1,2,3에서 사용되는 도구들은 강사가 Virtualbox 이미지로 제공하여 환경에 관계없이 실행할 수 있도록 할 예정임
• 실습 4에서 사용되는 Microsoft PROSE SDK는 Visual Studio 만 설치되어 있다면 맥과 윈도우즈 모두 사용 가능함

 

 

프로그램

7/13 (화) 강사: 이우석 교수 (한양대 에리카 캠퍼스)
09:00 – 10:00 프로그램 합성 소개 (Introduction to program synthesis, SMT, Syntax-guided synthesis)
10:00 – 11:00 합성전략 1: 하나씩 나열해보며 찾기 (Bottom-up / Top-down enumerative search)
11:00 – 12:00 탐색 공간 줄이기 (search space pruning)
12:00 – 13:00 중식
13:00 – 13:30 실습 1 – SyGuS 포맷 소개 및 EUSolver 사용해보기
13:30 – 14:30 통계모델 기반 탐색 우선 순위 매기기 (search space prioritization)
14:30 – 15:00 실습 2 – Euphony 로 통계모델 학습 및 적용해보기
15:00 – 16:00 합성전략 2: 양방향 탐색 전략 (Bidirectional synthesis strategy)
16:00 – 17:30 합성전략 3: 효율적으로 여러 프로그램 찾기 (representation-based search)
17:30 – 18:00 실습 3 – Duet 사용해보기
7/20 (화) 2일차:
09:00 – 09:30 합성전략 4: 랜덤하게 바꾸며 찾기 (stochastic search)
09:30 – 12:00 합성전략 5: 제약식을 풀어서 찾기 (constraint based search)
12:00 – 13:00 중식
13:00 – 14:00 연역합성 (deductive synthesis) 전략들 소개
14:00 – 15:00 프로그램 합성 응용: 비 개발자를 위한 프로그래밍, 프로그램 최적화
15:00 – 18:00 실습 4 – Mircrosoft PROSE SDK 를 사용한 자바 스크립트 프로그램 합성기 작성

 

 

참가등록

  • 등록인원/등록비:
등록인원 등록비
선착순 30명 학생 30만원 / 일반 40만원

(현장 등록은 별도로 없습니다/무통장입금, 카드결제 모두 가능: 청구서 발행 가능)

  • 등록 기간: ~ 2021. 7. 9.
  • 제공 자료: 강의자료 배포, 한국정보과학회 소프트웨어공학 소사이어티 인증 수료증 발급
  • 프로그램 문의: 소프트웨어공학 소사이어티 기획부회장 이찬근 교수 (cglee@cau.ac.kr),
    교육부회장 이정원 교수 (jungwony@ajou.ac.kr)
  • 사전등록 문의: 한국정보과학회 정가영 대리 (gyjeong@kiise.or.kr) Tel. 02-588-4001

 

 

“비대면 시대를 지원하는 소프트웨어공학 기술”

http://kcse2021.userinsight.co.kr/  [KCSE 2021 사진 링크] [프로그램북] [KCSE2021-proceedings-v9]

 

▣ 일시: 2021년 2월 1일(월) – 2월 2일(화)

▣ 주최: 한국정보과학회, 한국정보처리학회

▣ 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회

▣ 후원: ETRI(한국전자통신연구원), 솔루션링크, ㈜비트컴퓨터, ㈜이에스지, STA테스팅컨설팅㈜, T3Q㈜

한국소프트웨어기술진흥협회(KOSTA), ㈜다한테크, 슈어소프트테크㈜

 

▣ 모시는 글

소프트웨어공학 학술대회(KCSE 2021) 참가자 여러분을 환영합니다.

KCSE (Korea Conference on Software Engineering)는 기업, 연구소 및 학계에서 활동하고 계신 소프트웨어공학 분야 전문가들의 모임으로, 한국정보과학회 소프트웨어공학 소사이어티와 한국정보처리학회 소프트웨어공학연구회가 소프트웨어공학 기술의 발전 및 적용 확산을 위하여 1999년부터 매년 개최하는 학술대회입니다.

이번 제23회 학술대회는 “비대면 시대를 지원하는 소프트웨어공학 기술”을 주제로, 기조 연설, 튜토리얼, 신진 연구자 발표, 우수 논문 발표 등의 초청 세션과 소프트웨어공학 분야의 각계에서 제출한 엄선된 40편의 논문으로 구성하였으며, 2021년 2월 1일부터 2일간에 걸쳐 비대면으로 진행하게 되었습니다.

이번 학술대회가 비록 온라인으로 진행되어 아쉽지만, 소프트웨어공학의 학문적 발전과 소프트웨어 산업기술 발전의 장이 되고, 학술 교류 및 기술 협력을 위한 활발한 토론장이 될 수 있도록 가상 공간에서의 즐거운 만남으로 여러분을 초대하오니 많은 참여를 부탁드립니다.

제23회 KCSE 학술행사를 위해 수고해 주신 조직위원회와 학술위원회 위원들, 후원 기관 관계자 여러분, 그리고 기조 연설을 포함한 학술대회 모든 발표자분들께 깊이 감사드리며 건승을 기원합니다.

 

KCSE 2021 공동대회장

한국정보과학회 소프트웨어공학소사이어티 홍장의

한국정보처리학회 소프트웨어공학연구회 김정아

 

▣ 기조강연

  • 기조강연 1: “Non-Functional Requirements in Software Engineering” – Prof. Lawrence Chung, UT Dallas
  • 기조강연 2: “Adaptive Software Engineering” – 배두환 교수, KAIST

▣ 튜토리얼

▣ 우수 국제학회/학술지 초청 논문발표

  • “SAVER: Scalable, Precise, and Safe Memory-Error Repair”, ICSE, 2020
  • “The effectiveness of context-based change application on automatic program repair”, Journal of Empirical Software Engineering (EMSE), 2020
  • “MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry”, ICSE Software Engineering In Practice (SEIP), 2020
  • “Predicting just‐in‐time software defects to reduce post‐release quality costs in the maritime industry”, Journal of Software Practice and Experience (SPE), 2020
  • “Property-based Testing for LG Home Appliances using Accelerated
    Software-in-the-Loop Simulation”,     ICSE Software Engineering In Practice (SEIP), 2020

▣ 신진 연구자 초청 발표

  • 김윤호 교수 (한양대학교): “Better, Cheaper, and Faster Than Humans: Automated Test Generation for Improving Software Quality”
  • 이성호 교수 (충남대학교): “다중언어 안드로이드 앱의 정적 분석 (Static Analysis for Multilingual Android Applications)”  (신진1 – 이성호)
  • 이의종 교수 (충북대학교): “모델 검증 기법을 적용한 자가–적응 소프트웨어 프레임워크 (Self-Adaptive Software Framework with Model-checking)”  (신진2 – 이의종)
  • 이윤규 교수 (서울여자대학교): TBA

 

▣ 프로그램

2020년 2월 1일 (Day 1)
시간 세션 1 세션 2
9:30 ~ 10:00 개회식 / 학술대회 공지
10:00 ~ 10:50 기조연설 1
11:00 ~ 11:50 튜토리얼 #1 신진연구자 소개 #1
11:50 ~ 13:10 점심식사
13:10 ~ 14:00 튜토리얼 #2 신진연구자 소개 #2
14:10 ~ 15:00 논문발표 #1 신진연구자 소개 #3
15:10 ~ 16:00 논문발표 #2 논문발표 #3
16:10 ~ 17:00 논문발표 #4 논문발표 #5
17:10 ~ 18:00 논문발표 #6 논문발표 #7
18:00 ~ 18:10 마무리

 

2020년 2월 2일 (Day 2)
시간 세션 1 세션 2
9:30 ~ 9:50 개회식 / 학술대회 공지
10:00 ~ 10:50 튜토리얼 #3 신진연구자 소개 #4
11:00 ~ 11:50 논문발표 #8 논문발표 #9
11:50 ~ 13:10 점심식사
13:10 ~ 14:00 논문발표 #10 논문발표 #11
14:10 ~ 15:00 논문발표 #12 논문발표 #13
15:10 ~ 16:00 논문발표 #14 논문발표 #15
16:10 ~ 17:00 기조연설 2
17:10 ~ 18:00 상장 수여 및 경품 추첨
18:00 ~ 18:10 마무리

▣ 참가등록

  • 참가비(발표/참가): 학생 (100,000/50,000원) , 일반 (150,000/100,000원)
  • 사전등록기간:  2020년 1월 24일(금) 24:00 까지 1월 28일(목)까지
  • 한국정보과학회 회원/비회원 참가비 동일
  • 사전등록 사이트: http://kiise.or.kr/conference/conf/088/
  • 사전 등록 문의: 한국정보과학회 정가영 주임 (Email: gyjeong@kiise.or.kr, Tel. 02-588-4001)
    • 납입증명서, 참가확인서(행사종료 후) 요청 가능
  • 기타문의 : 전북대학교 김순태 교수 (Email: stkim@jbnu.ac.kr, Tel. 063-270-4788)

 

▣ 학술대회 조직 구성

  • 대 회 장: 홍장의 교수 (충북대), 김정아 교수 (가톨릭관동대)
  • 조직위원장: 김순태 교수 (전북대)
  • 조직위원:
    • 고인영 교수(KAIST), 김정아 교수(가톨릭관동대), 류덕산 교수(전북대), 백종문 교수(KAIST),
      유준범 교수(건국대), 이선아 교수(경상대), 이정원 교수(아주대), 이찬근 교수(중앙대),
      한종대 교수(상명대), 정효택 박사(ETRI), 민상윤 대표(솔루션링크), 전진옥 사장(비트컴퓨터),
      이해서 대표(이에스지), 권원일 대표(STA테스팅 컨설팅), 박병훈 대표(T3Q), 박준성 회장(한국소프트웨어기술진흥협회)
  • 학술위원장: 유신 교수 (KAIST)
  • 학술위원:
    • 김동선 (경북대학교), 김문주 (KAIST), 김미정 (홍콩과기대), 김윤호 (한양대학교),
      김진대 (서울과학기술대학교), 김택수 (삼성전자), 남재창 (한동대학교), 박수진 (서강대학교),
      배경민 (Postech), 서영석 (영남대학교), 윤회진 (협성대학교), 이선아 (경상대학교),
      이우진 (경북대학교), 이주용 (UNIST), 이찬근 (중앙대학교), 지은경 (KAIST),
      채흥석 (부산대학교), 최윤자 (경북대학교), 한종대 (상명대학교), 홍신 (한동대학교), 홍장의 (충북대학교)

 

2021 한국 소프트웨어공학 학술대회 (KCSE 2021) 논문 모집

“비대면 시대를 지원하는 소프트웨어공학 기술”

https://sigsoft.or.kr/KCSE2021/

 

[KCSE 2021 CFP 다운로드]

 

▣ 일시: 2021년 2월 1일(월) – 2월 2일(화)

▣ 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회

한국정보과학회와 한국정보처리학회가 공동 주최하고 한국정보과학회의 소프트웨어공학 소사이어티와 한국정보처리 학회의 소프트웨어공학 연구회가 공동 주관하는 “2021 한국 소프트웨어공학 학술대회 (KCSE 2021)”가 2021년 2월 1 일부터 2월 2일까지 온라인으로 개최됩니다. 이번 행사에서는 “비대면 시대를 지원하는 소프트웨어공학 기술”을 주제로 다양한 논문 발표 및 토론이 있을 예정입니다. 이에 아래와 같이 논문을 모집하오니 여러분의 많은 참여를 부탁드립니다.

학회 장소 및 진행: 방역을 위해 KCSE 2021 프로그램의 대부분은 온라인으로 진행할 예정입니다. 시상식과 기조연설 일부는 사회적 거리두기 지침을 준수하며 서울에서 오프라인으로 진행하는 것을 계획 중입니다

 

▣ 논문 모집 분야

아래 나열된 분야를 포함하여 소프트웨어공학 전 분야의 논문을 모집합니다.

  • AI for Software Engineering
  • Agile Methodologies
  • Autonomic and (self-) Adaptive Systems
  • Blockchain Platform/Blockchain based
  • Software Systems
  • Cloud and Service Oriented Computing
  • Component-based Software Engineering
  • Configuration Management and Deployment
  • Cooperative, Distributed, and Collaborative Engineering
  • Debugging, Fault Localization, and Repair
  • Dependability, Safety, and Reliability
  • Embedded & Realtime Systems
  • Empirical Software Engineering
  • End-user Software Engineering
  • Formal Methods
  • Green and Sustainable Technologies
  • Human Factors and Social Aspects of Software Engineering
  • IoTs and CPS
  • Middleware, Frameworks, and APIs
  • Mining Software Repository
  • Mobile and Pervasive Software Systems
  • Model-Driven and Domain Specific Engineering
  • Parallel, Distributed, and Concurrent Systems
  • Program Languages and Systems
  • Refactoring
  • Requirements Engineering
  • Reverse Engineering
  • Search-based Software Engineering
  • Security, Privacy and Trust
  • Software Architecture, Modeling and Design
  • Software Comprehension, Visualization and Traceability
  • Software Economics and Metrics
  • Software Engineering Education
  • Software Engineering for AI
  • Software Engineering for Hyper-Connectivity, Super-Intelligence, Hyper-Convergence
  • Software Evolution and Maintenance
  • Software Process and Standards
  • Software Product Line Engineering
  • Software Reuse
  • System of Systems
  • Testing, Verification and Validation

 

▣ 논문 접수

논문 성격에 따라 아래와 같은 트랙으로 구분하여 접수합니다.

일반(Regular) 논문: 대학, 연구소 또는 기업에서 수행한 이론, 실험, 아이디어 제시 위주의 논문 (8-10쪽)

단편(Short) 논문: 대학, 연구소 또는 기업에서 수행한 이론, 실험, 아이디어 제시 위주의 논문 (2-4쪽)

산업체 논문: 소프트웨어 공학의 각종 기법을 실제 업무에 적용한 논문 (4-8쪽 논문 또는 발표자료)

박사학위 논문: 2018년도 이후에 소프트웨어공학 분야의 박사학위를 취득했거나 예정인 논문 (2쪽)

학부생 논문: 학부생이 수행한 프로젝트, 이론/실험, 아이디어 위주의 논문 (4-8쪽 논문 또는 발표자료)

튜토리얼 제안서: 개인이나 팀을 구성하여 제안

※ 제출된 일반논문 중 우수논문을 선정하여 한국정보과학회 논문지 및 한국정보처리학회 논문지 게재 추천
※ 전체 논문 중 우수논문을 선정하여 소프트웨어공학 소사이어티 논문지에 게재 추천

 

▣ 주요 일정

튜토리얼 제안서 접수: 2020년 12월 4일 (금) – 결과는 일주일 내에 통보합니다.

논문 접수 마감: 2020년 12월 14일 (월)  2020년 12월 21일 (월) – 온라인 발표 준비 기간 확보를 위해 이번이 최종 연장입니다.

심사 결과 통보: 2021년 1월 8일 (금)

최종 원고 및 온라인 학회를 위한 발표 동영상 제출: 2021년 1월15일 (금)

 

▣ 논문 및 제안서 제출

논문 양식:  https://sigsoft.or.kr/category/자료실/기타

논문 제출: https://easychair.org/conferences/?conf=kcse2021

튜토리얼 제안서는 학술위원장에게 이메일로 제출해주시기 바랍니다.

기타 문의는 KAIST 유 신 교수(shin.yoo@kaist.ac.kr, 042-350-3567)에게 하시면 됩니다.

 

▣ 학술대회 조직 구성

대회장: 홍장의 교수 (충북대학교), 김정아 교수 (카톨릭 관동대)

조직위원장: 김순태 교수 (전북대학교)

학술위원장: 유 신 교수 (KAIST)