Software Engineering Lab., Hongik Univ. èµÃ ö, ÈÀÍëÇÐ ÒÇÁÆþîøÇÐ Ç
OVERVIEW
SELAB.HONGIK.AC.KR TRAFFIC
Date Range
Date Range
Date Range
LINKS TO WEBSITE
WHAT DOES SELAB.HONGIK.AC.KR LOOK LIKE?



SELAB.HONGIK.AC.KR SERVER
SERVER SOFTWARE AND ENCODING
We found that this website is operating the Apache/2.0.59 (Unix) DAV/2 PHP/5.2.1 os.SITE TITLE
Software Engineering Lab., Hongik Univ. èµÃ ö, ÈÀÍëÇÐ ÒÇÁÆþîøÇÐ ÇDESCRIPTION
ÀÌ ÆäÀÌÁö º Á é, ÇÁ ÀÓÀ º ö ÀÖ Â ºê ó ìÀú ÇÊ äÇÕ Ï Ù.PARSED CONTENT
The web page selab.hongik.ac.kr states the following, "ÀÌ ÆäÀÌÁö º Á é, ÇÁ ÀÓÀ º ö ÀÖ Â ºê ó ìÀú ÇÊ äÇÕ Ï Ù."SEE SIMILAR DOMAINS
In this site, information about our research and project, etc.
Reading genomes, bit by bit. Parameterizing Sequence Alignment with an Explicit Evolutionary Model. Ashburn, VA 20147, USA.
임베디드 소프트웨어공학 연구실은 다양한 소프트웨어공학 기술을 임베디드 소프트웨어 개발에 적용하는 방법을 주로 연구하며, 특히 임베디드 소프트웨어의 VP 기반 개발 환경 및 테스팅 기술을 중점적으로 다룬다. 임베디드 소프트웨어 테스팅 및 검증. 임베디드 소프트웨어 테스팅 연구로는 가상 테스트 환경 생성 기법, 모델 기반 테스트 시나리오 생성 기법, 테스트 자동화 환경, 상호작용 기반 통합 테스트 기술 등을 다루며, 또한 오류 재생성을 위한 Capture and Replay 기술을 연구하고 있다. Virtual Prototyping 기반 임베디드 소프트웨어 개발 환경.
Department of Computer Science and Engineering. Welcome to the Software Engineering and Verification Laboratory. SEVL was founded in 2016 by Kyungmin Bae. Software systems are everywhere, but can we rely on them? How can we develop reliable software in an efficient way? How can we test, analyze, and verify software? For the details of our current research.