Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st 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
a service of 
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.
last updated on 2023-12-05 20:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
