Showing results 4 to 33 of 33
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC Kim, Moonzoo; Kannan, Sampath; Lee, Insup; Sokolsky, Oleg; Viswanathan, Mahesh, Runtime Verification, pp.80 - 84, Runtime Verification, 2002-07-26 |
Concolic testing of the multi-sector read operation for flash memory file system Kim, Moonzoo; Kim, Yunho, 12th Brazilian Symposium on Formal Methods, SBMF 2009, pp.251 - 265, 2009-08-19 |
Concolic Testing on Embedded Software - Case Studies on Mobile Platform Programs Kim, Yunho; Kim, Moonzoo; Jang, Yoonkyu, ACM SIGSOFT Foundation of Software Engineering Industrial track, ACM SIGSOFT Foundation of Software Engineering Industrial track, 2011-09-05 |
Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구 김영주; 김윤호; 김문주, 한국정보처리학회 추계학술대회, 한국정보처리학회, 2011-10-26 |
CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법 김윤호; 김문주; 장윤규, Korea Computer Congress (KCC), 한국정보과학회, 2012-06-28 |
Directed test suite augmentation: Techniques and tradeoffs Xu, Zhihong; Kim, Yunho; Kim, Moonzoo; Rothermel, Gregg; Cohen, Myra B., 18th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE-18, pp.257 - 266, ACM, 2010-11-07 |
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multirobot Coordination Alur, Rajeev; Esposito, Joel M.; Kim, Moonzoo; Kumar, Vijay; Lee, Insup, World Congress on Formal Methods, pp.212 - 232, World Congress on Formal Methods, 1999-09-20 |
Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100 Kim, Moonzoo; Kang, Kyo Chul; Lee, Hyoungki, International Conference on Robotics and Automation, pp.4739 - 4744, IEEE, 2005-04-18 |
Formally Specified Monitoring of Temporal Properties Kim, Moonzoo; Viswanathan, Mahesh; Abdallah, Hanene Ben; Kannan, Sampath; Lee, Insup, European Conference on Real-Time Systems, pp.114 - 122, ECRTS, 1999-06-09 |
Foundations for the run-time monitoring of reactive systems: fundamentals of the MaC language Viswanathan, Mahesh; Kim, Moonzoo, First international conference on Theoretical Aspects of Computing , pp.543 - 556, ICTAC, 2005-10 |
Java-MaC: a Run-time Assurance Tool for Java Programs Kim, Moonzoo; Kannan, S.; Lee, I.; Sokolsky, O., Runtime Verification, pp.218 - 235, Runtime Verification, 2001-07-23 |
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay Kim, Moonzoo; Hong, Shin; Hong, Changki; Kim, Taeho, Model-based Testing (ENTCS), pp.21 - 36, Model-based Testing (ENTCS), 2009-05-22 |
Monitoring, Checking, and Steering of Real-time Systems Kim, Moonzoo; Lee, Insup; Sammapun, Usa; Shin, Jangwoo; Sokolsky, Oleg, 2nd International Workshop on Run-time Verification (RV'02), pp.95 - 111, Run-time Verification, 2002-07-26 |
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