APSEC (1)

Publications

2014

Henrik Larsson, Erik Lindqvist, Richard Torkar
Outliers and Replication in Software Engineering. APSEC (1) (2014)
Yunho Kim, Moonzoo Kim
SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study. APSEC (1) (2014)
Yin Hang, Hans Hansson
Handling Emergency Mode Switch for Component-Based Systems. APSEC (1) (2014)
Yuan Huang, Xiangping Chen, Qiwen Zou, Xiaonan Luo
A Probabilistic Neural Network-Based Approach for Related Software Changes Detection. APSEC (1) (2014)
Yang Zhang, Gang Yin, Yue Yu, Huaimin Wang
A Exploratory Study of @-Mention in GitHub's Pull-Requests. APSEC (1) (2014)
Ah-Rim Han, Doo-Hwan Bae
An Efficient Method for Assessing the Impact of Refactoring Candidates on Maintainability Based on Matrix Computation. APSEC (1) (2014)
Hossain Muhammad Iqbal, Woo Jin Lee
Data Flow Based Integration Testing for Embedded System Using Interaction Model. APSEC (1) (2014)
Pavneet Singh Kochhar, Ferdian Thung, David Lo, Julia Lawall
An Empirical Study on the Adequacy of Testing in Open Source Projects. APSEC (1) (2014)
Muhammad Usman, Muhammad Zohaib Z. Iqbal, Muhammad Uzair Khan
A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms. APSEC (1) (2014)
Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
Improving Testing Coverage for Safety-Critical System by Mutated Specification. APSEC (1) (2014)
Shengbo Chen, Dashen Sun, Huaikou Miao, Hongwei Zeng
Modeling and Testing of GUIs Using IOLTS. APSEC (1) (2014)
Cong Sun, Ning Xi, Jinku Li, Qingsong Yao, Jianfeng Ma
Verifying Secure Interface Composition for Component-Based System Designs. APSEC (1) (2014)
Hiroaki Murakami, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto
Predicting Next Changes at the Fine-Grained Level. APSEC (1) (2014)
Kyungjin Yoo, Rajeev Barua
Recovery of Object Oriented Features from C++ Binaries. APSEC (1) (2014)
Matthias Vianden, Horst Lichter, Andreas Steffens
Experience on a Microservice-Based Reference Architecture for Measurement Systems. APSEC (1) (2014)
Yu Zhang, Beijun Shen, Yuting Chen
Mining Developer Mailing List to Predict Software Defects. APSEC (1) (2014)
Yunja Choi, Min Zhang, Kazuhiro Ogata
Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems. APSEC (1) (2014)
Jung-Hyun Kwon, In-Young Ko, Gregg Rothermel, Matt Staats
Test Case Prioritization Based on Information Retrieval Concepts. APSEC (1) (2014)
Mohd Hafeez Osman, Michel R. V. Chaudron, Peter van der Putten
Interactive Scalable Abstraction of Reverse Engineered UML Class Diagrams. APSEC (1) (2014)
Asha Rajbhoj, Vinay Kulkarni, Nikhil Bellarykar
Early Experience with Model-Driven Development of MapReduce Based Big Data Application. APSEC (1) (2014)
Tomoyuki Kawamura, Kenichi Takano
Factors Affecting the Project Performance of Information Systems Development: Comparison of Organizational Cultures. APSEC (1) (2014)
Heuijin Lee, Sungwon Kang, Myungchul Kim
An Efficient Application-Device Matching Method for the Mobile Software Ecosystem. APSEC (1) (2014)
Norifumi Nomura, Yasuhiro Kikushima, Mikio Aoyama
A Test Scenario Design Methodology Based on Business Context Modeling and Its Evaluation. APSEC (1) (2014)
Fatima Azzahra Amazal, Ali Idri, Alain Abran
Improving Fuzzy Analogy Based Software Development Effort Estimation. APSEC (1) (2014)
Yue Yu, Huaimin Wang, Gang Yin, Charles X. Ling
Who Should Review this Pull-Request: Reviewer Recommendation to Expedite Crowd Collaboration. APSEC (1) (2014)
Mo Li, Shaoying Liu
Reviewing Formal Specification for Validation Using Animation and Trace Links. APSEC (1) (2014)
Wang Xi, Chang Xu, Wenhua Yang, Ping Yu, Xiaoxing Ma, Jiang Lu
SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning. APSEC (1) (2014)
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. APSEC (1) (2014)
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
Security Weaknesses Detection by Symbolic Analysis of Scenarios. APSEC (1) (2014)
Damodaram Kamma, Sasi Kumar G
Effect of Model Based Software Development on Productivity of Enhancement Tasks - An Industrial Study. APSEC (1) (2014)
Ana Dragomir, Horst Lichter, Johannes Dohmen, Hongyu Chen
Run-Time Monitoring-Based Evaluation and Communication Integrity Validation of Software Architectures. APSEC (1) (2014)
Hyun Cho
Traceability-Driven System Development and its Application to Automotive System Development. APSEC (1) (2014)
Yong Xu, Bo Huang, Guoqing Wu, Mengting Yuan
Using Genetic Algorithms to Repair JUnit Test Cases. APSEC (1) (2014)
Mahsa Varshosaz, Ramtin Khosravi
Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. APSEC (1) (2014)
Amel Mammar, Régine Laleau
A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction. APSEC (1) (2014)
Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen
Runtime Verification by Convergent Formula Progression. APSEC (1) (2014)
Jagannath Singh, Dishant Munjal, Durga Prasad Mohapatra
Context Sensitive Dynamic Slicing of Concurrent Aspect-Oriented Programs. APSEC (1) (2014)
Yujiang Yang, Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa
A Tool to Suggest Similar Program Element Modifications. APSEC (1) (2014)
Vijay Jain, Amol Kolambkar
Modeling Web Attachment Storage for Web Applications. APSEC (1) (2014)
Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu
Runtime Checking for Paired Functions in Device Drivers. APSEC (1) (2014)
Naiju Zeng, Wenhui Zhang
A Symbolic Partial Order Method for Verifying SystemC. APSEC (1) (2014)
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. APSEC (1) (2014)
Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang
Synchronization Error Detection of MPI Programs by Symbolic Execution. APSEC (1) (2014)
Xiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu
User Guided Automation for Testing Mobile Apps. APSEC (1) (2014)
Truong Ho-Quang, Michel R. V. Chaudron, Ingimar Samuelsson, Joel Hjaltason, Bilal Karasneh, Hafeez Osman
Automatic Classification of UML Class Diagrams from Images. APSEC (1) (2014)
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
Guidelines for the Use of Function Block Diagram in Reactor Protection Systems. APSEC (1) (2014)
Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun
Formal Design and Verification of Zone Controller. APSEC (1) (2014)
Youn Kyu Lee, Hoh Peter In, Rick Kazman
Customer Requirements Validation Method Based on Mental Models. APSEC (1) (2014)
Tetsuo Tamai, Supasit Monpratarnchai
A Context-Role Based Modeling Framework for Engineering Adaptive Software Systems. APSEC (1) (2014)
Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu
Formal Modeling and Analyzing the Reliability for Service Composition. APSEC (1) (2014)