Date Range
Date Range
Date Range
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.