default search action
25th APSEC 2018: Nara, Japan
- 25th Asia-Pacific Software Engineering Conference, APSEC 2018, Nara, Japan, December 4-7, 2018. IEEE 2018, ISBN 978-1-7281-1970-0
Research 1: Requirements Engineering
- Huishi Yin, Dietmar Pfahl
:
The OIRE Method - Overview and Initial Validation. 1-10 - Tahira Iqbal, Parisa Elahidoost
A Bird's Eye View on Requirements Engineering and Machine Learning. 11-20 - Markus Weninger
Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment. 21-30
Research 2: Architecture Patterns
- Gastón Marquez, Hernán Astudillo
Actual Use of Architectural Patterns in Microservices-Based Open Source Projects. 31-40 - David Tai, Power Wu, Alan Liu
Development of a User-Interactive Agent Simulation System with the Blackboard Architectural Pattern. 41-48 - Tingting Bi, Peng Liang
Architecture Patterns, Quality Attributes, and Design Contexts: How Developers Design with Them. 49-58
Research 3: API and Reuse
- Yanfei Tian, Xu Wang, Hailong Sun, Yi Zhao, Chunbo Guo, Xudong Liu:
Automatically Generating API Usage Patterns from Natural Language Queries. 59-68 - Kosaku Kimura, Atsuji Sekiguchi, Shridhar Choudhary, Tadahiro Uehara:
A JavaScript Transpiler for Escaping from Complicated Usage of Cloud Services and APIs. 69-78 - Shufan Zhou, Hao Zhong
SLAMPA: Recommending Code Snippets with Statistical Language Model. 79-88
Research 4: Formal Specifications and Models
- Yati Phyo
Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks. 89-98 - Daniel Gâinâ
Specification and Verification of Invariant Properties of Transition Systems. 99-108 - Vanya Yaneva, Arnav Kapoor
Accelerated Finite State Machine Test Execution Using GPUs. 109-118
Research 5: Verification
- Qingyu Jiang, Jing Liu, Haodong Hu:
A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation. 119-128 - Guang Chen, Dexi Wang, Tianchi Li, Chao Zhang, Ming Gu, Jiaguang Sun:
Scalable Verification Framework for C Program. 129-138 - Jizheng Ding, Xiaoran Zhu, Jian Guo:
End-to-End Automated Verification for OS Kernels. 139-148
Research 6: Test Optimization
- Francisco Gomes de Oliveira Neto
Visualizing Test Diversity to Support Test Optimisation. 149-158 - Ziming Zhu, Li Jiao, Xiong Xu:
A Dynamic Fitness Function Based on Branch Hardness for Search Based Software Testing. 159-168
Research 7: Testing and Fault Diagnosis
- Bogdan Marculescu, Robert Feldt:
Finding a Boundary between Valid and Invalid Regions of the Input Space. 169-178 - Carl Martin Rosenberg, Leon Moonen:
On the Use of Automated Log Clustering to Support Effort Reduction in Continuous Engineering. 179-188 - Shuqi Chi, Shanshan Li, Yong Guo, Wei Dong, Zhouyang Jia, Haochen He, Qing Liao:
NotOnlyLog: Mining Patch-Log Associations from Software Evolution History to Enhance Failure Diagnosis Capability. 189-198
Research 8: Heterogeneous Platforms and Resources
- Nesredin Mahmud, Guillermo Rodríguez-Navas, Hamid Faragardix, Saad Mubeen, Cristina Seceleanu
Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications. 199-208 - Hugo Sica de Andrade
A Review on Software Architectures for Heterogeneous Platforms. 209-218 - Weijuan Zhang, Xiaoqi Jia, Shengzhi Zhang, Rui Wang, Peng Liu:
Running OS Kernel in Separate Domains: A New Architecture for Applications and OS Services Quarantine. 219-228
Research 9: Runtime Update and Adaptation
- Wei Tang, Min Zhang
PyReload: Dynamic Updating of Python Programs by Reloading. 229-238 - Zhimin Feng, Shanshan Li, Xiangke Liao, Xiaodong Liu, Yunfeng Li, Shulin Zhou:
Relax: Automatic Contention Detection and Resolution for Configuration Related Performance Tuning. 239-248 - Yang Liu, Zhengyin Chen, Wenpin Jiao:
A Multi-Goal Oriented Approach for Adaptation Rules Generation. 249-257
Research 10: Mobile Apps
- Haohuang Wen
An Empirical Study of SDK Credential Misuse in iOS Apps. 258-267 - Chun Cao, Hongjun Ge, Tianxiao Gu, Jing Deng, Ping Yu
Accelerating Automated Android GUI Exploration with Widgets Grouping. 268-277 - Cong Li, Chang Xu, Lili Wei
ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps. 278-287
Research 11: Static Analysis
- Wei Tang, Du Chen, Ping Luo:
BCFinder: A Lightweight and Platform-Independent Tool to Find Third-Party Components in Binaries. 288-297 - Guang Chen, Min Zhou, Jiaguang Sun, Xiaoyu Song:
Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path. 298-304 - Geoffrey Hecht
Codifying Hidden Dependencies in Legacy J2EE Applications. 305-314
Research 12: Code and Defects
- Huihui Liu, Yijun Yu
Are Smell-Based Metrics Actually Useful in Effort-Aware Structural Change-Proneness Prediction? An Empirical Study. 315-324 - Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow:
Analyzing Code Comments to Boost Program Comprehension. 325-334 - Feng Wang, Jinxiao Huang, Yutao Ma:
A Top-k Learning to Rank Approach to Cross-Project Software Defect Prediction. 335-344
Research 13: Security and Vulnerabilities
- Qiuyuan Chen, Lingfeng Bao, Li Li, Xin Xia, Liang Cai:
Categorizing and Predicting Invalid Vulnerabilities on Common Vulnerabilities and Exposures. 345-354 - Kazi Zakia Sultana, Byron J. Williams, Amiangshu Bosu
A Comparison of Nano-Patterns vs. Software Metrics in Vulnerability Prediction. 355-364 - Xincheng He, Lei Xu, Chunliu Cha:
Malicious JavaScript Code Detection Based on Hybrid Analysis. 365-374
Research 14: Pull Requests and Code Review
- Abdillah Mohamed, Li Zhang, Jing Jiang, Ahmed Ktob
Predicting Which Pull Requests Will Get Reopened in GitHub. 375-385 - Lisha Li, Zhilei Ren, Xiaochen Li, Weiqin Zou, He Jiang:
How Are Issue Units Linked? Empirical Study on the Linking Behavior in GitHub. 386-395 - Le An, Foutse Khomh, Shane McIntosh, Marco Castelluccio
Why Did This Reviewed Code Crash? An Empirical Study of Mozilla Firefox. 396-405
Research 15: Mining Repositories 1
- Dongyang Hu, Tao Wang
Multi-Discussing across Issues in GitHub: A Preliminary Study. 406-415 - Qi Xie, Zhiyuan Wen, Jieming Zhu, Cuiyun Gao, Zibin Zheng
Detecting Duplicate Bug Reports with Convolutional Neural Networks. 416-425 - Kang Yin, Wei Chen, Jiahong Zhou, Guoquan Wu, Jun Wei:
STAR: A Specialized Tagging Approach for Docker Repositories. 426-435
Research 16: Mining Repositories 2
- Yi Wang:
Understanding the Reputation Differences between Women and Men on Stack Overflow. 436-444 - Sk Adnan Hassan
SOQDE: A Supervised Learning Based Question Difficulty Estimation Model for Stack Overflow. 445-454 - Zhuang Xiong, Peng Liang
Assumptions in OSS Development: An Exploratory Study through the Hibernate Developer Mailing List. 455-464
Research 17: Agile Development
- Adrian Santos, Jaroslav Spisak, Markku Oivo, Natalia Juristo:
Improving Development Practices through Experimentation: An Industrial TDD Case. 465-473 - Hiva Alahyari, Jennifer Horkoff
What Do Agile Teams Find Important for Their Success? 474-483 - Wisam Haitham Abbood Al-Zubaidi, Hoa Khanh Dam, Morakot Choetkiertikul, Aditya Ghose:
Multi-Objective Iteration Planning in Agile Development. 484-493
Research 18: Quality and Effort
- Tianlu Wang, Peng Liang
What Aspects Do Non-Functional Requirements in App User Reviews Describe? An Exploratory and Comparative Study. 494-503 - Seiji Fukui, Akito Monden
Kurtosis and Skewness Adjustment for Software Effort Estimation. 504-511
SEIP 1: Model-Based Software Engineering
- Jagadish Suryadevara, Saurabh Tiwari
Adopting MBSE in Construction Equipment Industry: An Experience Report. 512-521 - Yoichi Nishiura, Masaki Asano, Tsuneo Nakanishi:
Migration to Software Product Line Development of Automotive Body Parts by Architectural Refinement with Feature Analysis. 522-531 - Aitziber Iglesias, Tao Yue, Cristóbal Arellano, Shaukat Ali, Goiuria Sagardui
Model-Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System. 532-541
SEIP 2: Requirements & Human Factors
- Akiyuki Takoshima, Mikio Aoyama:
A Design Method for Domain-Specific Models of Software Requirements Specification Based on Stakeholders' Concerns. 542-550 - Sayandeep Mitra, Chandan Prakash, Shayak Chakraborty, Pavan Kumar Chittimalli:
MatGap: A Systematic Approach to Perform Match and Gap Analysis among SBVR-Based Domain Specific Business Rules. 551-560 - Dora Dzvonyar, Bernd Bruegge:
Team Composition and Team Factors in Software Engineering: An Interview Study of Project-Based Organizations. 561-570
SEIP 3: Analysis & Testing
- Manabu Kamimura, Keisuke Yano
Extracting Candidates of Microservices from Monolithic Application Code. 571-580 - Georg Buchgeher, Claus Klammer
Providing Technical Software Documentation as a Service - An Industrial Experience Report. 581-590 - Abdurrahman Akin, Serafettin Sentürk, Vahid Garousi
Transitioning from Manual to Automated Software Regression Testing: Experience from the Banking Domain. 591-597
SEIP 4: Web
- Rieko Yamamoto, Kyoko Ohashi, Masahiro Fukuyori, Kosaku Kimura, Atsuji Sekiguchi, Ryuichi Umekawa, Tadahiro Uehara, Mikio Aoyama:
A Quality Model and Its Quantitative Evaluation Method for Web APIs. 598-607 - Noriko Hanakawa, Masaki Obana:
Software and Infrastructure Log-Based Framework for Identifying the Causes of System Faults. 608-617
ERA 1: Optimization
- Dereck J. Bridie, Shinsuke Matsumoto, Shinji Kusumoto:
unjQuerify: Migration of jQuery Snippets to Modern Vanilla JavaScript APIs. 618-622 - Tae-young Kim, Suntae Kim, Cheol-Jung Yoo, Soohwan Cho
An Automatic Approach to Validating Log Levels in Java. 623-627 - Qiang Hu, Lei Ma, Jianjun Zhao:
DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models. 628-632 - Eduardo Rosales, Andrea Rosà
lpt: A Tool for Tuning the Level of Parallelism of Spark Applications. 633-637
ERA 2: Investigation on Implementation
- Masateru Tsunoda, Hirotaka Yumoto:
Applying Gamification and Posing to Software Development. 638-642 - Hirohisa Aman
A Doc2Vec-Based Assessment of Comments and Its Application to Change-Prone Method Analysis. 643-647 - Andrea Fornaia, Misael Mongiovì
Program Analysis and Graph Pattern Matching to Reveal Modularity and Potential for Parallelism. 648-652 - Eunjong Choi, Daiki Tanaka, Norihiro Yoshida, Kenji Fujiwara, Daniel Port, Hajimu Iida:
An Investigation of the Relationship between Extract Method and Change Metrics: A Case Study of JEdit. 653-657
ERA 3: Miscellaneous Source Code Research
- Kui Liu
LSRepair: Live Search of Fix Ingredients for Automated Program Repair. 658-662 - Pilsu Jung, Sungwon Kang, Jihyun Lee, Taehyun Park:
Automated Code-Based Test Selection for Software Product Line Regression Testing. 663-667 - Woei-Kae Chen, Chien-Hung Liu, William W.-Y. Liang, Ming-Yi Tsai:
ICAT: An IoT Device Compatibility Testing Tool. 668-672 - Yuichi Semura, Norihiro Yoshida, Eunjong Choi, Katsuro Inoue:
Multilingual Detection of Code Clones Using ANTLR Grammar Definitions. 673-677
ERA4: Validation & Verification
- Yoshitaka Aoki, Shinpei Ogata
Verification of CPS Based on Control Loop Using Model Checking. 678-682 - Chunlin Guan, Yi Ao, Dehui Du, Frédéric Mallet
xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. 683-687 - Omar Javed, Walter Binder
Large-Scale Evaluation of the Efficiency of Runtime-Verification Tools in the Wild. 688-692
Posters
- Yusuke Aoyama, Takeru Kuroiwa, Noriyuki Kushiro:
Hybrid Testing Environment of Execution Testing and Model Checking for Product Line Approach. 693-694 - Yutsuki Miyashita, Atsuo Hazeyama, Hiroaki Hashiura
A Visualization System of the Contribution of Learners in Software Development PBL Using GitHub. 695-696 - Yoshiki Higo, Shinsuke Matsumoto, Ryo Arima, Akito Tanikado, Keigo Naitou, Junnosuke Matsumoto, Yuya Tomida, Shinji Kusumoto:
kGenProg: A High-Performance, High-Extensibility and High-Portability APR System. 697-698 - Kazuki Yokoi, Eunjong Choi, Norihiro Yoshida, Katsuro Inoue:
Investigating Vector-Based Detection of Code Clones Using BigCloneBench. 699-700 - Hiroki Takahashi, Norifumi Nomura, Tadahisa Kondou, Mari Inoki:
Automatic Extraction of Reorganization Impact Focusing on Derivation Relationship of Analogous Actor Terms in Requirements Specification. 701-702 - Yan Xiao
Improving Bug Localization with Character-Level Convolutional Neural Network and Recurrent Neural Network. 703-704 - Xiaoyan Wang
Automated Repair of Data Faults in Templated Spreadsheets. 705-706 - Wing Kwong Chan, Bo Jiang:
Fuse: An Architecture for Smart Contract Fuzz Testing Service. 707-708 - Eungjun Kim, Hoijin Yoon, Wonuk Cha:
Text-Based Testing Environment for Voice-Based Services. 709-710 - Shaofeng Xu, Yun Xiong:
Automatic Generation of Pseudocode with Attention Seq2seq Model. 711-712 - Emiliano Tramontana:
Minimising Changes When Refactoring Applications to Run Multiple Threads. 713-714 - Masaki Hosono, Hironori Washizaki, Yoshiaki Fukazawa, Kiyoshi Honda:
An Empirical Study on the Reliability of the Web API Document. 715-716 - Hiroki Ohbayashi, Hideyuki Kanuka
A Preprocessing Method of Test Input Generation by Symbolic Execution for Enterprise Application. 717-718 - Nam-Gon Kim, Seong-Yun Jeong:
Importance Measurement for the Integration of Construction CALS Systems in South Korea. 719-720 - Yu Adachi, Haruto Tanno, Yu Yoshimura:
Reducing Redundant Checking for Visual Regression Testing. 721-722 - Dong Wang, Raula Gaikovina Kula
An Exploratory Study to Identify Similar Patches: A Case Study in Modern Code Review. 723-724 - Dongyang Hu, Ming Chen, Tao Wang, Junsheng Chang, Gang Yin, Yue Yu, Yang Zhang:
Recommending Similar Bug Reports: A Novel Approach Using Document Embedding Model. 725-726
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 2024-11-13 23:35 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: