Browse "School of Computing(전산학부)" by Author 1331
Showing results 17 to 33 of 33
| Re-engineering Software Architecture of Home Service Robots: A Case Study Kim, Moonzoo; Lee, Jaejoon; Kang, Kyo Chul, ACM/IEEE International Conference on Software Engineering (ICSE), pp.505 - 513, ICSE, 2005-05-18 |
| Run-time Monitoring and Steering based on Formal Specifications Kannan, Sampath; Kim, Moonzoo; Lee, Insup; Sokolsky, Oleg; Viswanathan, Mahesh, Modeling Software System Structures in a Fastly Moving Scenario, Modeling Software System Structures in a Fastly Moving Scenario, 2000-06 |
| Runtime Assurance Based On Formal Specifications Lee, Insup; Kannan, Sampath; Kim, Moonzoo; Sokolsky, Oleg; Viswanathan, Mahesh, International Conference on Parallel and Distributed Processing Techniques and Applications, pp.279 - 287, PDPTA', 1999-07-01 |
| Steering of Real-Time Systems Based on Monitoring and Checking Sokolsky, Oleg; Kannan, Sampath; Kim, Moonzoo; Lee, Insup; Viswanathan, Mahesh, Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999. , pp.11 - 18, International Workshop on Object-Oriented Real-Time Dependable Systems, 1999-03-23 |
| Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonzoo; Lee, Insup; Obradovic, Davor, International Symposium on Software Testing and Analysis, pp.2 - 13, ACM, 2000-08-01 |
| 검증 반례 재연을 통한 모델 기반 커널 테스팅 김문주; 홍창기; 홍신, 한국 소프트웨어공학 학술대회, pp.415 - 416, 2009-02-10 |
| 기호실행을 통한 자동 생성된 불변식의 검정 김문주; 홍신; Matt Staats, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2012-02-10 |
| 내장형 시스템을 위한 아키텍처 모델링 언어 개발 문영주; 김문주; 김태효, Korea Computer Congress (KCC), 한국정보과학회, 2013-11-15 |
| 동시성 프로그램 테스트를 위한 구조 커버리지 기법 조사 안재민; 홍신; 김문주, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2012-02-09 |
| 동적 심볼릭 수행과 유전 알고리즘을 사용한 테스트 생성 기법 비교 김윤호; 김문주, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2011-02-09 |
| 동적 심볼릭 수행을 응용한 테스트 케이스 자동 생성 도구 비교 김윤호; 김문주, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2010-02-08 |
| 모델체킹 도구를 사용한 플래시 메모리 디바이스 드라이버 검증 김문주; 김윤호; 김호태, 한국 소프트웨어공학 학술대회, pp.19 - 23, 2008-02-20 |
| 변형 프로그램의 동적 정보에 기반한 자동 결함 위치추정 문석현; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2014-02-13 |
| 심볼릭 라이브러리를 이용한 효과적인 Concolic 테스팅 박용배; 김윤호; 조준희; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2014-02-13 |
| 자바스크립트 기반 실제 웹 어플리케이션의 오류 조사 안재민; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2013-01-31 |
| 정적 프로그램 분석 기법을 사용하는 도구의 비교: Coverity와 Sparrow를 사용한 libexif 사례 연구 박용배; 김윤호; 김문주, Korea Computer Congress (KCC), 한국정보과학회, 2012-11-24 |
| 테스트 케이스의 결함 실행확률을 이용한 향상된 결함 위치추정(fault localization) 기법 문석현; 김윤호; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2013-01-31 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,753 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989