- Mo Li, Shaoying Liu:
Reviewing Formal Specification for Validation Using Animation and Trace Links. APSEC (1) 2014: 263-270 - 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: 415-422 - Amel Mammar, Régine Laleau:
A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction. APSEC (1) 2014: 438-445 - Hiroaki Murakami, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto:
Predicting Next Changes at the Fine-Grained Level. APSEC (1) 2014: 119-126 - Huu Nghia Nguyen, Fatiha Zaïdi, Ana R. Cavalli:
A Framework for Distributed Testing of Timed Composite Systems. APSEC (1) 2014: 47-54 - Norifumi Nomura, Yasuhiro Kikushima, Mikio Aoyama:
A Test Scenario Design Methodology Based on Business Context Modeling and Its Evaluation. APSEC (1) 2014: 3-10 - Mohd Hafeez Osman, Michel R. V. Chaudron, Peter van der Putten:
Interactive Scalable Abstraction of Reverse Engineered UML Class Diagrams. APSEC (1) 2014: 159-166 - Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun:
Formal Design and Verification of Zone Controller. APSEC (1) 2014: 375-382 - Xiang Qiu, Li Zhang:
Test Scenario Generation for Reliability Tactics from UML Sequence Diagram. APSEC (1) 2014: 11-18 - Asha Rajbhoj, Vinay Kulkarni, Nikhil Bellarykar:
Early Experience with Model-Driven Development of MapReduce Based Big Data Application. APSEC (1) 2014: 94-97 - 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: 255-262 - Jagannath Singh, Dishant Munjal, Durga Prasad Mohapatra:
Context Sensitive Dynamic Slicing of Concurrent Aspect-Oriented Programs. APSEC (1) 2014: 167-174 - Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu:
GAIN: GPU-Based Constraint Checking for Context Consistency. APSEC (1) 2014: 319-326 - Cong Sun, Ning Xi, Jinku Li, Qingsong Yao, Jianfeng Ma:
Verifying Secure Interface Composition for Component-Based System Designs. APSEC (1) 2014: 359-366 - Tetsuo Tamai, Supasit Monpratarnchai:
A Context-Role Based Modeling Framework for Engineering Adaptive Software Systems. APSEC (1) 2014: 103-110 - Muhammad Usman, Muhammad Zohaib Z. Iqbal, Muhammad Uzair Khan:
A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms. APSEC (1) 2014: 111-118 - Mahsa Varshosaz, Ramtin Khosravi:
Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. APSEC (1) 2014: 63-70 - Matthias Vianden, Horst Lichter, Andreas Steffens:
Experience on a Microservice-Based Reference Architecture for Measurement Systems. APSEC (1) 2014: 183-190 - 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: 391-398 - Yong Xu, Bo Huang, Guoqing Wu, Mengting Yuan:
Using Genetic Algorithms to Repair JUnit Test Cases. APSEC (1) 2014: 287-294 - Yujiang Yang, Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa:
A Tool to Suggest Similar Program Element Modifications. APSEC (1) 2014: 311-318 - Kyungjin Yoo, Rajeev Barua:
Recovery of Object Oriented Features from C++ Binaries. APSEC (1) 2014: 231-238 - Yue Yu, Huaimin Wang, Gang Yin, Charles X. Ling:
Who Should Review this Pull-Request: Reviewer Recommendation to Expedite Crowd Collaboration. APSEC (1) 2014: 335-342 - Naiju Zeng, Wenhui Zhang:
A Symbolic Partial Order Method for Verifying SystemC. APSEC (1) 2014: 271-278 - Yu Zhang, Beijun Shen, Yuting Chen:
Mining Developer Mailing List to Predict Software Defects. APSEC (1) 2014: 383-390 - Tao Zhang, Geunseok Yang, Byungjeong Lee, Eng Keong Lua:
A Novel Developer Ranking Algorithm for Automatic Bug Triage Using Topic Model and Developer Relations. APSEC (1) 2014: 223-230 - Yang Zhang, Gang Yin, Yue Yu, Huaimin Wang:
A Exploratory Study of @-Mention in GitHub's Pull-Requests. APSEC (1) 2014: 343-350 - Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du:
Improving Testing Coverage for Safety-Critical System by Mutated Specification. APSEC (1) 2014: 43-46 - 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 [contents]