Digital Library

KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, Dec. 2016


Comparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety
Dongwoo Kim, Yunja Choi
KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 615-622, Dec. 2016
10.3745/KTSDE.2016.5.12.615
Keywords: Automotive Software, API, Constraint Pattern, Static Analysis, Model Checking

PPFP(Push and Pop Frequent Pattern Mining): A Novel Frequent Pattern Mining Method for Bigdata Frequent Pattern Mining
Lee Jung-Hun, Min Youn-A
KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 623-634, Dec. 2016
10.3745/KTSDE.2016.5.12.623
Keywords: Big Data Mining, Frequent Pattern Mining

A Study on Quality Classification of Injection Molding Process by Kalman Filter
Shin Bong Deug, Oh Hyuk Jun
KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 635-640, Dec. 2016
10.3745/KTSDE.2016.5.12.635
Keywords: Kalman Filtering, Injection Molding Machine, real-time, Sensor Data Process, Injection Speed

A Method to Automatically Generate Test Scripts from Checklist for Testing Embedded System
Tae Hoon Kang, Dae Joon Kim, Ki Hyun Chung, Kyung Hee Choi
KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 641-652, Dec. 2016
10.3745/KTSDE.2016.5.12.641
Keywords: Embedded System, test, Test Script, Checklist

Test Case Generation for Simulink/Stateflow Model Based on a Modified Rapidly Exploring Random Tree Algorithm
Han Gon Park, Ki Hyun Chung, Kyung Hee Choi
KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 653-662, Dec. 2016
10.3745/KTSDE.2016.5.12.653
Keywords: test case generation, Simulink/Stateflow, ECU

3D-Modeling-Based Template Matching
Youngmo Han
KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 663-670, Dec. 2016
10.3745/KTSDE.2016.5.12.663
Keywords: Image Template Matching, Angle, Distance, Size

Contactless Biometric Using Thumb Image
Lim Naeun, Han Jae Hyun, Lee Eui Chul
KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 671-676, Dec. 2016
10.3745/KTSDE.2016.5.12.671
Keywords: Thumb Recognition, Biometric

Scattered Light Representation in Accordance with the Material Using Scatterer Template in Volume Rendering
Byeong-Joon Lee, Koojoo Kwon, Byeong-Seok Shin
KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 677-684, Dec. 2016
10.3745/KTSDE.2016.5.12.677
Keywords: Volume Rendering, Global Illumination, Volume Scattering, Ambient Occlusion, Ray-Casting, Material Representation