


default search action
21st APSEC 2014: Jeju, South Korea - Volume 1
- Sungdeok (Steve) Cha, Yann-Gaël Guéhéneuc, Gihwon Kwon:

21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers. IEEE Computer Society 2014, ISBN 978-1-4799-7425-2
Testing I
- Norifumi Nomura, Yasuhiro Kikushima, Mikio Aoyama:

A Test Scenario Design Methodology Based on Business Context Modeling and Its Evaluation. 3-10 - Xiang Qiu, Li Zhang:

Test Scenario Generation for Reliability Tactics from UML Sequence Diagram. 11-18 - Jung-Hyun Kwon, In-Young Ko, Gregg Rothermel, Matt Staats:

Test Case Prioritization Based on Information Retrieval Concepts. 19-26
Testing II
- Xiujiang Li, Yanyan Jiang, Yepang Liu

, Chang Xu, Xiaoxing Ma, Jian Lu:
User Guided Automation for Testing Mobile Apps. 27-34 - Shengbo Chen, Dashen Sun, Huaikou Miao, Hongwei Zeng:

Modeling and Testing of GUIs Using IOLTS. 35-42 - Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du:

Improving Testing Coverage for Safety-Critical System by Mutated Specification. 43-46 - Huu Nghia Nguyen

, Fatiha Zaïdi, Ana R. Cavalli:
A Framework for Distributed Testing of Timed Composite Systems. 47-54
Verification I
- Yunho Kim, Moonzoo Kim:

SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study. 55-62 - Mahsa Varshosaz, Ramtin Khosravi:

Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. 63-70
Modeling I
- Damodaram Kamma, Sasi Kumar G:

Effect of Model Based Software Development on Productivity of Enhancement Tasks - An Industrial Study. 71-77 - Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu:

pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. 78-85 - Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:

Formal Modeling and Analyzing the Reliability for Service Composition. 86-93
Modeling II
- Asha Rajbhoj, Vinay Kulkarni, Nikhil Bellarykar:

Early Experience with Model-Driven Development of MapReduce Based Big Data Application. 94-97 - Vijay Jain

, Amol Kolambkar:
Modeling Web Attachment Storage for Web Applications. 98-102 - Tetsuo Tamai, Supasit Monpratarnchai:

A Context-Role Based Modeling Framework for Engineering Adaptive Software Systems. 103-110 - Muhammad Usman, Muhammad Zohaib Z. Iqbal

, Muhammad Uzair Khan:
A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms. 111-118
Analysis I
- Hiroaki Murakami, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto:

Predicting Next Changes at the Fine-Grained Level. 119-126 - Xianjin Fu

, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang:
Synchronization Error Detection of MPI Programs by Symbolic Execution. 127-134 - Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee:

Guidelines for the Use of Function Block Diagram in Reactor Protection Systems. 135-142
Design I
- Hyun Cho:

Traceability-Driven System Development and its Application to Automotive System Development. 143-146 - Reiko Fujimoto, Mikio Aoyama:

A Lifecycle-Based Design Methodology of the Lightweight Ontology and Its Application to Cultivating High Quality Mandarin Orange. 147-150 - Yin Hang, Hans Hansson:

Handling Emergency Mode Switch for Component-Based Systems. 151-158
Design II
- Mohd Hafeez Osman

, Michel R. V. Chaudron, Peter van der Putten:
Interactive Scalable Abstraction of Reverse Engineered UML Class Diagrams. 159-166 - Jagannath Singh

, Dishant Munjal, Durga Prasad Mohapatra
:
Context Sensitive Dynamic Slicing of Concurrent Aspect-Oriented Programs. 167-174 - Heuijin Lee, Sungwon Kang, Myungchul Kim:

An Efficient Application-Device Matching Method for the Mobile Software Ecosystem. 175-182
Architecture and Requirement
- Matthias Vianden, Horst Lichter

, Andreas Steffens:
Experience on a Microservice-Based Reference Architecture for Measurement Systems. 183-190 - Ana Dragomir, Horst Lichter

, Johannes Dohmen, Hongyu Chen:
Run-Time Monitoring-Based Evaluation and Communication Integrity Validation of Software Architectures. 191-198 - Youn Kyu Lee, Hoh Peter In, Rick Kazman:

Customer Requirements Validation Method Based on Mental Models. 199-206
Empirical Software Engineering
- Henrik Larsson, Erik Lindqvist, Richard Torkar

:
Outliers and Replication in Software Engineering. 207-214 - Pavneet Singh Kochhar, Ferdian Thung, David Lo

, Julia Lawall:
An Empirical Study on the Adequacy of Testing in Open Source Projects. 215-222 - Tao Zhang

, Geunseok Yang, Byungjeong Lee, Eng Keong Lua:
A Novel Developer Ranking Algorithm for Automatic Bug Triage Using Topic Model and Developer Relations. 223-230
Analysis II
- Kyungjin Yoo, Rajeev Barua:

Recovery of Object Oriented Features from C++ Binaries. 231-238 - Monika Gupta, Ashish Sureka:

Process Cube for Software Defect Resolution. 239-246 - Fatima Azzahra Amazal, Ali Idri, Alain Abran

:
Improving Fuzzy Analogy Based Software Development Effort Estimation. 247-254
Verification II
- Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen:

Runtime Verification by Convergent Formula Progression. 255-262 - Mo Li, Shaoying Liu:

Reviewing Formal Specification for Validation Using Animation and Trace Links. 263-270 - Naiju Zeng, Wenhui Zhang:

A Symbolic Partial Order Method for Verifying SystemC. 271-278
Testing III
- Yuan Huang, Xiangping Chen, Qiwen Zou, Xiaonan Luo:

A Probabilistic Neural Network-Based Approach for Related Software Changes Detection. 279-286 - Yong Xu, Bo Huang, Guoqing Wu, Mengting Yuan:

Using Genetic Algorithms to Repair JUnit Test Cases. 287-294 - Yunja Choi, Min Zhang

, Kazuhiro Ogata:
Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems. 295-302
Analysis III
- Yu-Fang Chen, Bow-Yaw Wang, Kai-Chun Yang:

Learning Summaries of Recursive Functions. 303-310 - Yujiang Yang, Kazunori Sakamoto, Hironori Washizaki

, Yoshiaki Fukazawa:
A Tool to Suggest Similar Program Element Modifications. 311-318 - Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu:

GAIN: GPU-Based Constraint Checking for Context Consistency. 319-326
Project Management
- Tomoyuki Kawamura, Kenichi Takano:

Factors Affecting the Project Performance of Information Systems Development: Comparison of Organizational Cultures. 327-334 - Yue Yu, Huaimin Wang, Gang Yin, Charles X. Ling:

Who Should Review this Pull-Request: Reviewer Recommendation to Expedite Crowd Collaboration. 335-342 - Yang Zhang, Gang Yin, Yue Yu, Huaimin Wang:

A Exploratory Study of @-Mention in GitHub's Pull-Requests. 343-350 - Kiyoshi Honda, Hidenori Nakai, Hironori Washizaki

, Yoshiaki Fukazawa, Ken Asoh, Kazuyoshi Takahashi, Kentarou Ogawa, Maki Mori, Takashi Hino, Yosuke Hayakawa, Yasuyuki Tanaka, Shinichi Yamada, Daisuke Miyazaki:
Predicting Time Range of Development Based on Generalized Software Reliability Model. 351-358
Verification III
- Cong Sun

, Ning Xi, Jinku Li, Qingsong Yao, Jianfeng Ma:
Verifying Secure Interface Composition for Component-Based System Designs. 359-366 - Boutheina Bannour

, Jose Pablo Escobedo, Christophe Gaston
, Pascale Le Gall
, Gabriel Pedroza
:
Security Weaknesses Detection by Symbolic Analysis of Scenarios. 367-374 - Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun:

Formal Design and Verification of Zone Controller. 375-382
Analysis IV
- Yu Zhang, Beijun Shen, Yuting Chen:

Mining Developer Mailing List to Predict Software Defects. 383-390 - Wang Xi, Chang Xu, Wenhua Yang, Ping Yu

, Xiaoxing Ma, Jiang Lu:
SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning. 391-398 - Truong Ho-Quang, Michel R. V. Chaudron, Ingimar Samuelsson, Joel Hjaltason, Bilal Karasneh, Hafeez Osman

:
Automatic Classification of UML Class Diagrams from Images. 399-406 - Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang

, Shi-Min Hu:
Runtime Checking for Paired Functions in Device Drivers. 407-414
Testing IV
- Hu-Qiu Liu, Jia-Ju Bai, Yu-Ping Wang

, Shi-Min Hu:
BP-Miner: Mining Paired Functions from the Binary Code of Drivers for Error Handling. 415-422 - Hossain Muhammad Iqbal, Woo Jin Lee:

Data Flow Based Integration Testing for Embedded System Using Interaction Model. 423-429 - Ah-Rim Han, Doo-Hwan Bae:

An Efficient Method for Assessing the Impact of Refactoring Candidates on Maintainability Based on Matrix Computation. 430-437 - Amel Mammar, Régine Laleau:

A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction. 438-445

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














