본문으로 건너뛰기

DOCS ARCHIVE GITHUB

Recent posts

2026

Controller's-Behaviors-Logging-System-of-Therapeutic-Contents-for-Collecting-User-Actions

2022

Function Execution Log Based Judgment System for Arduino Learning Practice

2019

A framework for testing Android apps by reusing test cases
Characterizing Android-specific crash bugs

2017

Controller’s Behaviors Logging System of Therapeutic Contents for Collecting User Actions
An Automated Testing Method for AUTOSAR Software Components Based on SiL Simulation
Developer mistakes in writing Android manifests. An empirical study of configuration errors

2016

Relative Time Synchronization of Distributed Applications for Software-in-the-loop Simulation
Software-in-the-Loop Simulation for Early-Stage Testing of AUTOSAR Software Component
Design of Concurrency-guaranteed Code Simulator for Embedded System

2015

Permission-based Security in Android Application – From-Policy Expert to End User
Modeling and Test Case Generation of Inter-Component Communication in Android
Design of ZeroMQ-based Cooperative Simulation Framework for Distributed Code and Model Components

2014

Data flow based integration testing for embedded system using interaction model
Virtual Prototype Generation by Shockwave Flash for Simulating HW Components of Embedded System

2013

Value-Deterministic Search-Based Replay for Android Multithread Applications
AUTOSAR Unit Testing Approach based onVirtual Prototyping for Software Components
Capture and Replay Technique for Reproducing Crash in Android Applications

2012

Android GUI Software Testing Technique Based on Activity Life Cycle
Function Interaction Testing Technique for Embedded Software by Reusing Unit Test Cases
Test Case Generation Considering Definition-Use of Global Variables for Integration Testing
Test Case Generation for Integrating Medical Systems Considering Function Characteristics

2010

SIP-based IM and Its Security Solutions
An Adaptive Cross-Layer Strategy for 4G Wireless Communications

2008

A Design of Component-based Modeling and Verification Tools for Embedded and Real-time Systems
Supporting Web Service Concept using Agent-based Approach in Embedded systems

2007

Compositional Verification of Timing Constraints for Embedded Real-Time Systems
Enhanced Compositional Safety Analysis for Distributed Embedded Systems using LTS Equivalence
Design of a Bi-directional and Data-oriented Universal Remote Controller using ZigBee
Synthesis of Timing Scenarios for Embedded Systems using Modular Petri nets

2002

An Implementation of the tool supporting design pattern and maintaining alteration of design model for EJB component design
A Web Client Generator for Testing Interfaces of EJB Components
Development of COBALT (COmponent-Based AppLication development Tool) for Modeling and Constructing EJB based Components

2001

Modeling and Analyzing Requirements of Service-Oriented Communication Softwares Using Use Cases

2000

Inter-class Integration Testing using UML State Diagram

1995

A Petri-Nets Based Approach for Detecting Feature Interactions in Telecommunications Services

1994

Analysis and Enactment of a Distributed Software Process Model: The AttNet Model
Modeling and Detecting Feature Interactions using Petri-Nets

Controller's-Behaviors-Logging-System-of-Therapeutic-Contents-for-Collecting-User-Actions

2026년 4월 6일 · 약 1분

Google Scholar →

다음 게시물

Function Execution Log Based Judgment System for Arduino Learning Practice

STLAB

About Us
Calendar

Contact Us

Mail to Lab. Manager
Mail to Professor

Copyright © 2026 STLAB. Published by KNU with Docusaurus.