Abstract is missing.
- A Test Scenario Design Methodology Based on Business Context Modeling and Its EvaluationNorifumi Nomura, Yasuhiro Kikushima, Mikio Aoyama. 3-10 [doi]
- Test Scenario Generation for Reliability Tactics from UML Sequence DiagramXiang Qiu, Li Zhang. 11-18 [doi]
- Test Case Prioritization Based on Information Retrieval ConceptsJung-Hyun Kwon, In-Young Ko, Gregg Rothermel, Matt Staats. 19-26 [doi]
- User Guided Automation for Testing Mobile AppsXiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu. 27-34 [doi]
- Modeling and Testing of GUIs Using IOLTSShengbo Chen, Dashen Sun, Huaikou Miao, Hongwei Zeng. 35-42 [doi]
- Improving Testing Coverage for Safety-Critical System by Mutated SpecificationTingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du. 43-46 [doi]
- A Framework for Distributed Testing of Timed Composite SystemsHuu-Nghia Nguyen, Fatiha Zaïdi, Ana R. Cavalli. 47-54 [doi]
- SAT-Based Bounded Software Model Checking for Embedded Software: A Case StudyYunho Kim, Moonzoo Kim. 55-62 [doi]
- Model Checking of Software Product Lines in Presence of Nondeterminism and ProbabilitiesMahsa Varshosaz, Ramtin Khosravi. 63-70 [doi]
- Effect of Model Based Software Development on Productivity of Enhancement Tasks - An Industrial StudyDamodaram Kamma, Sasi Kumar G. 71-77 [doi]
- pIML - An Interrupt Program Modelling Language for Real-Time and Embedded SystemsXin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu. 78-85 [doi]
- Formal Modeling and Analyzing the Reliability for Service CompositionGuisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu. 86-93 [doi]
- Early Experience with Model-Driven Development of MapReduce Based Big Data ApplicationAsha Rajbhoj, Vinay Kulkarni, Nikhil Bellarykar. 94-97 [doi]
- Modeling Web Attachment Storage for Web ApplicationsVijay Jain, Amol Kolambkar. 98-102 [doi]
- A Context-Role Based Modeling Framework for Engineering Adaptive Software SystemsTetsuo Tamai, Supasit Monpratarnchai. 103-110 [doi]
- A Model-Driven Approach to Generate Mobile Applications for Multiple PlatformsMuhammad Usman, Muhammad Zohaib Z. Iqbal, Muhammad Uzair Khan. 111-118 [doi]
- Predicting Next Changes at the Fine-Grained LevelHiroaki Murakami, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto. 119-126 [doi]
- Synchronization Error Detection of MPI Programs by Symbolic ExecutionXianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang. 127-134 [doi]
- Guidelines for the Use of Function Block Diagram in Reactor Protection SystemsDong-Ah Lee, Junbeom Yoo, Jang-Soo Lee. 135-142 [doi]
- Traceability-Driven System Development and its Application to Automotive System DevelopmentHyun Cho. 143-146 [doi]
- A Lifecycle-Based Design Methodology of the Lightweight Ontology and Its Application to Cultivating High Quality Mandarin OrangeReiko Fujimoto, Mikio Aoyama. 147-150 [doi]
- Handling Emergency Mode Switch for Component-Based SystemsYin Hang, Hans Hansson. 151-158 [doi]
- Interactive Scalable Abstraction of Reverse Engineered UML Class DiagramsMohd Hafeez Osman, Michel R. V. Chaudron, Peter van der Putten. 159-166 [doi]
- Context Sensitive Dynamic Slicing of Concurrent Aspect-Oriented ProgramsJagannath Singh, Dishant Munjal, Durga Prasad Mohapatra. 167-174 [doi]
- An Efficient Application-Device Matching Method for the Mobile Software EcosystemHeuijin Lee, Sungwon Kang, Myungchul Kim. 175-182 [doi]
- Experience on a Microservice-Based Reference Architecture for Measurement SystemsMatthias Vianden, Horst Lichter, Andreas Steffens. 183-190 [doi]
- Run-Time Monitoring-Based Evaluation and Communication Integrity Validation of Software ArchitecturesAna Dragomir, Horst Lichter, Johannes Dohmen, Hongyu Chen. 191-198 [doi]
- Customer Requirements Validation Method Based on Mental ModelsYoun Kyu Lee, Hoh Peter In, Rick Kazman. 199-206 [doi]
- Outliers and Replication in Software EngineeringHenrik Larsson, Erik Lindqvist, Richard Torkar. 207-214 [doi]
- An Empirical Study on the Adequacy of Testing in Open Source ProjectsPavneet Singh Kochhar, Ferdian Thung, David Lo, Julia L. Lawall. 215-222 [doi]
- A Novel Developer Ranking Algorithm for Automatic Bug Triage Using Topic Model and Developer RelationsTao Zhang, Geunseok Yang, Byungjeong Lee, Eng Keong Lua. 223-230 [doi]
- Recovery of Object Oriented Features from C++ BinariesKyungjin Yoo, Rajeev Barua. 231-238 [doi]
- Process Cube for Software Defect ResolutionMonika Gupta, Ashish Sureka. 239-246 [doi]
- Improving Fuzzy Analogy Based Software Development Effort EstimationFatima Azzahra Amazal, Ali Idri, Alain Abran. 247-254 [doi]
- Runtime Verification by Convergent Formula ProgressionYan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen. 255-262 [doi]
- Reviewing Formal Specification for Validation Using Animation and Trace LinksMo Li, Shaoying Liu. 263-270 [doi]
- A Symbolic Partial Order Method for Verifying SystemCNaiju Zeng, Wenhui Zhang. 271-278 [doi]
- A Probabilistic Neural Network-Based Approach for Related Software Changes DetectionYuan Huang, Xiangping Chen, Qiwen Zou, Xiaonan Luo. 279-286 [doi]
- Using Genetic Algorithms to Repair JUnit Test CasesYong Xu, Bo Huang, Guoqing Wu, Mengting Yuan. 287-294 [doi]
- Evaluation of Maude as a Test Generation Engine for Automotive Operating SystemsYunja Choi, Min Zhang 0002, Kazuhiro Ogata. 295-302 [doi]
- Learning Summaries of Recursive FunctionsYu-Fang Chen, Bow-Yaw Wang, Kai-Chun Yang. 303-310 [doi]
- A Tool to Suggest Similar Program Element ModificationsYujiang Yang, Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa. 311-318 [doi]
- GAIN: GPU-Based Constraint Checking for Context ConsistencyJun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxin Ma, Jian Lu. 319-326 [doi]
- Factors Affecting the Project Performance of Information Systems Development: Comparison of Organizational CulturesTomoyuki Kawamura, Kenichi Takano. 327-334 [doi]
- Who Should Review this Pull-Request: Reviewer Recommendation to Expedite Crowd CollaborationYue Yu, Huaimin Wang, Gang Yin, Charles X. Ling. 335-342 [doi]
- A Exploratory Study of @-Mention in GitHub's Pull-RequestsYang Zhang, Gang Yin, Yue Yu, Huaimin Wang. 343-350 [doi]
- Predicting Time Range of Development Based on Generalized Software Reliability ModelKiyoshi 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. 351-358 [doi]
- Verifying Secure Interface Composition for Component-Based System DesignsCong Sun, Ning Xi, Jinku Li, Qingsong Yao, Jianfeng Ma. 359-366 [doi]
- Security Weaknesses Detection by Symbolic Analysis of ScenariosBoutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza. 367-374 [doi]
- Formal Design and Verification of Zone ControllerJie Qian, Jing Liu, Xiang Chen, Junfeng Sun. 375-382 [doi]
- Mining Developer Mailing List to Predict Software DefectsYu Zhang, Beijun Shen, Yuting Chen. 383-390 [doi]
- SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern LearningWang Xi, Chang Xu, Wenhua Yang, Ping Yu, Xiaoxing Ma, Jiang Lu. 391-398 [doi]
- Automatic Classification of UML Class Diagrams from ImagesTruong Ho-Quang, Michel R. V. Chaudron, Ingimar Samuelsson, Joel Hjaltason, Bilal Karasneh, Hafeez Osman. 399-406 [doi]
- Runtime Checking for Paired Functions in Device DriversJia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu. 407-414 [doi]
- BP-Miner: Mining Paired Functions from the Binary Code of Drivers for Error HandlingHu-Qiu Liu, Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu. 415-422 [doi]
- Data Flow Based Integration Testing for Embedded System Using Interaction ModelHossain Muhammad Iqbal, Woo Jin Lee. 423-429 [doi]
- An Efficient Method for Assessing the Impact of Refactoring Candidates on Maintainability Based on Matrix ComputationAh-Rim Han, Doo-Hwan Bae. 430-437 [doi]
- A Proved Approach for Building Correct Instances of UML Associations: Multiplicities SatisfactionAmel Mammar, Régine Laleau. 438-445 [doi]