Browse "College of Engineering(공과대학)" by Subject mutation testing

Showing results 1 to 8 of 8

1
Combining weak and strong mutation for Non-Interpretive java mutation system = 강/약 뮤테이션의 결합을 이용한 자바 프로그램 대상의 비해석 방식 뮤테이션 시스템link

Kim, Sang-Woon; 김상운; et al, 한국과학기술원, 2011

2
Empirical evaluation of mutation-based test case prioritization techniques

Shin, Donghwan; Yoo, Shin; Papadakis, Mike; Bae, Doo-Hwan, Software Testing, Verification and Reliability, v.29, no.1-2, pp.e1695, 2019-03

3
FBD 프로그램에 대한 뮤테이션 연산자 확장 정의 및 적용

지은경; 송지영; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.24, no.11, pp.589 - 595, 2018-11

4
Method-level mutation operators for java programs = 자바 프로그램을 위한 메소드 수준의 뮤테이션 연산자link

Shin, Jong-Min; 신종민; et al, 한국과학기술원, 2006

5
MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software

Liu, Lingjun; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.32, no.8, 2022-12

6
MuJava: an automated class mutation system

Ma, YS; Offutt, J; Kwon, Yong Rae, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.15, no.2, pp.97 - 133, 2005-06

7
Mutagen4J: 효과적인 Java 프로그램 변이 생성 도구

전이루; 김윤호; 홍신; 김문주, 정보과학회논문지 : 소프트웨어 및 응용, v.43, no.9, pp.974 - 982, 2016-09

8
효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구

김윤호; 김현우; 양웅규; 김문주, 정보과학회논문지, v.45, no.4, pp.342 - 347, 2018-04

rss_1.0 rss_2.0 atom_1.0