| 2012 | 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012 Karl R. P. H. Leung, Pornsiri Muenchaisri |
| 2012 | A CSP-theoretic Framework of Checking Conformance of Business Processes. Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos |
| 2012 | A Case Study on Specifying Quality Requirements Using a Quality Model. Klaus Lochmann, Daniel Méndez Fernández, Stefan Wagner |
| 2012 | A Change Impact Analysis Approach for the Software Development Phase. Nazri Kama, Faizul Azli |
| 2012 | A Context-Based Integrity Framework. Mark Anderson, Paul Montague, Benjamin Long |
| 2012 | A Design Pattern to Build Executable DSMLs and Associated V&V Tools. Benoît Combemale, Xavier Crégut, Marc Pantel |
| 2012 | A Formal Approach for the Iterative Design of Behavioural Models. Chen-Wei Wang |
| 2012 | A Graph-Based Approach to Web Service Matchmaking. Shang-Pin Ma, Jonathan Lee |
| 2012 | A Guided Mashup Framework for Rapid Software Analysis Service Composition. Chaman Wijesiriwardana, Giacomo Ghezzi, Harald C. Gall |
| 2012 | A Heuristic Rule Reduction Approach to Software Fault-proneness Prediction. Akito Monden, Jacky Wai Keung, Shuji Morisaki, Yasutaka Kamei, Ken-ichi Matsumoto |
| 2012 | A Model-Driven Prototype Evaluation to Elicit Requirements for a Sensemaking Support Tool. Fan Yang-Turner, Lydia Lau, Vania Dimitrova |
| 2012 | A Preference and Honesty Aware Trust Model for Web Services. Rui Song, Bixin Li, Xiaona Wu, Cuicui Liu, Shanshan Qi |
| 2012 | A Problem Oriented Approach to Modeling Feedback Loops for Self-Adaptive Software Systems. Chun Liu, Wei Zhang, Haiyan Zhao, Zhi Jin |
| 2012 | A Stochastic Simulation Model for Risk Management Process. Peng Zhou, Hareton K. N. Leung |
| 2012 | A Trust Impact Analysis Model for Composite Service Evolution. Shanshan Qi, Bixin Li, Cuicui Liu, Xiaona Wu, Rui Song |
| 2012 | A Verification Method of Elicited Software Requirements Using Requirements Ontology. Dang Viet Dzung, Atsushi Ohnishi |
| 2012 | A Visualization Technique for Metrics-Based Hierarchical Quality Models. Uaychai Chotjaratwanich, Chonlameth Arpnikanondt |
| 2012 | An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms. Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi |
| 2012 | An Approach to Estimating Cost of Running Cloud Applications Based on AWS. Huihong He, Zhiyi Ma, Xiang Li, Hongjie Chen, Weizhong Shao |
| 2012 | An Approach to Generate Actor-Oriented Activity Charts from Use Case Requirements. Saurabh Tiwari, Santosh Singh Rathore, Abhijeet Singh, Abhinav Singh, Atul Gupta |
| 2012 | An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification. Fauziah binti Zainuddin, Shaoying Liu |
| 2012 | An Empirical Analysis of the Impact of Comment Statements on Fault-Proneness of Small-Size Module. Hirohisa Aman |
| 2012 | An Empirical Study of Reliability Growth of Open versus Closed Source Software through Software Reliability Growth Models. Najeeb Ullah, Maurizio Morisio |
| 2012 | An Empirical Study on Improving Severity Prediction of Defect Reports Using Feature Selection. Cheng-Zen Yang, Chun-Chi Hou, Wei-Chen Kao, Ing-Xiang Chen |
| 2012 | An Experience Report on Analyzing Industrial Software Systems Using Code Clone Detection Techniques. Norihiro Yoshida, Yoshiki Higo, Shinji Kusumoto, Katsuro Inoue |
| 2012 | An Experimentation Platform for the Automatic Parallelization of R Programs. Frank Padberg, Michael Mirold |
| 2012 | An Exploratory Study of API Usage Examples on the Web. Lijie Wang, Yanzhen Zou, Lu Fang, Bing Xie, Fuqing Yang |
| 2012 | An Integrated Risk Analysis Method Using Spatial Interpolation. Peng Zhou, Hareton K. N. Leung |
| 2012 | An Overview of Software Defect Density: A Scoping Study. Syed Muhammad Ali Shah, Maurizio Morisio, Marco Torchiano |
| 2012 | Analysis of Adaptive Policy-Based Approach to Avoid Policy Conflicts. Abdehamid Abdelhadi Mansor, Wan M. N. Wan-Kadir, Toni Anwar, Shamsul Sahibuddin |
| 2012 | Applying Recommendation Systems for Composing Dynamic Services for Mobile Devices. Jari Pääkkö, Mikko Raatikainen, Varvana Myllärniemi, Tomi Männistö |
| 2012 | Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity. Xiang Ling, Tom Maibaum |
| 2012 | Assessing Platform Suitability for Achieving Quality in Guest Applications. Balwinder Sodhi, T. V. Prabhakar |
| 2012 | Assessing the Representativeness of Open Source Projects in Empirical Software Engineering Studies. Hao Zhong, Ye Yang, Jacky W. Keung |
| 2012 | Augmenting Product Lines. Xiaorui Zhang, Øystein Haugen, Birger Møller-Pedersen |
| 2012 | Automated Analysis of Textual Use-Cases: Does NLP Components and Pipelines Matter? Naveen N. Kulkarni, Deepti Parachuri, Madhuri Dasa, Abhishek Kumar |
| 2012 | Automated Comparison of Process Improvement Reference Models Based on Similarity Metrics. Simona Jeners, Horst Lichter, Elena Pyatkova |
| 2012 | Automated Functional Scenarios-Based Formal Specification Animation. Mo Li, Shaoying Liu |
| 2012 | Automated Insertion of Exception Handling for Key and Referential Constraints. Kaiping Liu, Hee Beng Kuan Tan |
| 2012 | Behavioural Analysis for Distributed Simulations. Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel |
| 2012 | BuOA: An Achitecture Style for Modular Web Applications. Wei Ye, Ruici Luo, Shikun Zhang, Xueyang Liu, Wenhui Hu |
| 2012 | Bug Prediction Metrics Based Decision Support for Preventive Software Maintenance. Girish Maskeri Rama, Deepthi Karnam, Sree Aurovindh Viswanathan, Srinivas Padmanabhuni |
| 2012 | Calculating Preconditions for Parallel Workflows. Chen-Wei Wang |
| 2012 | Capturing Strategic Business Requirements: An Exploratory Study. Abdul Babar, Bernard Wong |
| 2012 | Classification of Software Transfers. Claes Wohlin, Darja Smite |
| 2012 | Comparison of Seven Bug Report Types: A Case-Study of Google Chrome Browser Project. Sangeeta Lal, Ashish Sureka |
| 2012 | DRE-specific Wikis for Distributed Requirements Engineering: A Review. Rong Peng, Han Lai |
| 2012 | Data Depedency Based Trust Evaluation for BPEL Processes. Cuicui Liu, Bixin Li, Shanshan Qi, Xiaona Wu, Rui Song |
| 2012 | Debug Concurrent Programs with Visualization and Inference of Event Structure. Xiaoquan Wu, Jun Wei, Xu Wang |
| 2012 | Debugging Model-to-Model Transformations. Johannes Schönböck, Gerti Kappel, Manuel Wimmer, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger |
| 2012 | Dependency Based Approach for Software Analysis Web Services Replacement. Chaman Wijesiriwardana, Giacomo Ghezzi, Emanuel Giger, Atsushi Sawada, Harald C. Gall |
| 2012 | Determining and Selecting the Optimal Sets of Risk Treatments under Project Constraints. Tak Wah Kwan, Bryan Cheung |
| 2012 | Diffusion of Software Features: An Exploratory Study. Ferdian Thung, David Lo, Lingxiao Jiang |
| 2012 | Discovering Domain Concepts and Hyponymy Relations by Text Relevance Classifying Based Iterative Web Searching. Lili Mou, Ge Li, Zhi Jin, Yangyang Lu, Yiyang Hao |
| 2012 | Discovering Early Aspects through Goals Interactions. Jonathan Lee, Kuo-Hsun Hsu, Shin-Jie Lee, Wen-Tin Lee |
| 2012 | Efficient Modelling of Embedded Software Systems and their Formal Verification. Vladimir Estivill-Castro, René Hexel, David A. Rosenblueth |
| 2012 | Empirical Analysis of the Impact of Requirements Traceability Quality to the Productivity of Enterprise Applications Development. Shinobu Saito, Takashi Hoshino, Mutsuki Takeuchi, Masatoshi Hiraoka, Tsuyoshi Kitani, Mikio Aoyama |
| 2012 | Empowering Non-conservative Parallelizing Refactoring by Non-monotonic Reasoning. Mikhail Chalabine |
| 2012 | Engineering an Open-Web Educational Game Design Environment. Navid Ahmadi, Mehdi Jazayeri, Alexander Repenning |
| 2012 | Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software. Susumu Tokumoto, Tadahiro Uehara, Kazuki Munakata, Haruyuki Ishida, Toru Eguchi, Masafumi Baba |
| 2012 | Evaluation Metric for Multiple-Bug Localization with Simple and Complex Predicates. Yiwei Zhang, Eric Lo, Ben Kao |
| 2012 | Execution Plan for Software Engineering Education in Taiwan. Jonathan Lee, Alan Liu, Yu Chin Cheng, Shang-Pin Ma, Shin-Jie Lee |
| 2012 | Extending Linden Scripting Language on OpenSim. Bo Sun, Xiaohong Zhang, Hao Wu |
| 2012 | Factorising the Multiple Fault Localization Problem: Adapting Single-Fault Localizer to Multi-fault Programs. Cheng Gong, Zheng Zheng, Yunqian Zhang, Zhenyu Zhang, Yunzhi Xue |
| 2012 | Hybrid Interface Automata. Yan Zhang, Tian Zhang |
| 2012 | Implementing Virtual Agent as an Interface for Smart Home Voice Control. Shinpei Soda, Masahide Nakamura, Shinsuke Matsumoto, Shintaro Izumi, Hiroshi Kawaguchi, Masahiko Yoshimoto |
| 2012 | Importance Sampling of Runtime Interference. Shin Nakajima |
| 2012 | Incorporating Expert Judgment into Regression Models of Software Effort Estimation. Masateru Tsunoda, Akito Monden, Jacky Wai Keung, Ken-ichi Matsumoto |
| 2012 | Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. Haiying Sun, Jing Liu, Dehui Du |
| 2012 | Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules. Min Zhang, Kazuhiro Ogata |
| 2012 | Investigating the Use of Duration-Based Moving Windows to Improve Software Effort Prediction. Chris Lokan, Emilia Mendes |
| 2012 | Javelus: A Low Disruptive Approach to Dynamic Software Updates. Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, Jian Lu |
| 2012 | Leveraging CVL to Manage Variability in Software Process Lines. Emmanuelle Rouillé, Benoît Combemale, Olivier Barais, David Touzet, Jean-Marc Jézéquel |
| 2012 | Linking Functions and Quality Attributes for Software Evolution. Hongji Yang, Shang Zheng, William Cheng-Chung Chu, Ching-Tsorng Tsai |
| 2012 | Mining Software Revision History Using Advanced Social Network Analysis. Bharath Cheluvaraju, Kartikay Nagal, Anjaneyulu Pasala |
| 2012 | Model Transformation Patterns for Introducing Suitable Information Systems. Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki |
| 2012 | Model-Based Software Architecture Evolution and Evaluation. Ana Dragomir, Horst Lichter |
| 2012 | Model-Checking C Programs against JML-like Specification Language. Masahiro Sakai, Kohei Maruchi, Takeo Imai |
| 2012 | Modeling Executable Test Actors: Exploratory Study Done in Executable and Translatable UML. Rogardt Heldal, Daniel Arvidsson, Fredrik Persson |
| 2012 | Modeling and Verification of Context-Aware Systems. Minh H. Tran, Alan W. Colman, Jun Han, Hongyu Zhang |
| 2012 | Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. Longming Dong, Ji Wang, Liqian Chen |
| 2012 | On Accelerating SMT-based Bounded Model Checking of HSTM Designs. Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda |
| 2012 | PBDDR: Probe-Based Deadlock Detection and Recovery Strategy for Component-Based Systems. Chen Li, Linpeng Huang, Luxi Chen, Weichao Luo, Xu Li |
| 2012 | Parametric Transformations for Flexible Analysis. Juliana Bowles, Dulani Apeksha Meedeniya |
| 2012 | Pattern-Based Dynamic Maintenance of Software Systems. Hadaytullah, Allan Gregersen, Kai Koskimies |
| 2012 | Pattern-Based Model Transformation Using QVT. Sunuk Park, Dae-Kyoo Kim, Sooyong Park |
| 2012 | Permission Assurance for Semantic Aspects of Design Patterns. Yang Zhao, Lingnan Song, Gongxuan Zhang, John Boyland |
| 2012 | Precise Analysis of Large Industry Code. Priyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh |
| 2012 | Proactive Enforcement of Data Consistency by Business Processes. Xi Liu, Jianwen Su, Xuandong Li |
| 2012 | Process Model of Software Method Transition. Natalja Nikitina, Mira Kajko-Mattsson |
| 2012 | Protego: In-Memory Version Control System in the Cloud. Filippo Gioachin, Qianhui Liang, Yuxia Yao, Bu-Sung Lee |
| 2012 | Proving Liveness Property under Fairness Requirements. Teng Long, Wenhui Zhang |
| 2012 | Relationships Formalization for Model-Based Product Lines. Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel |
| 2012 | Resynchronizing Model-Based Self-Adaptive Systems with Environments. Linghao Zhang, Chang Xu, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, Jian Lu |
| 2012 | SaaS Application Framework Using Information Gateway Enabling Cloud Service with Data Confidentiality. Kiyoshi Nishikawa, Kenji Oki, Akihiko Matsuo |
| 2012 | Search Based Combinatorial Testing. Changhai Nie, Huayao Wu, Yalan Liang, Hareton Leung, Fei-Ching Kuo, Zheng Li |
| 2012 | Semi-Automated Verification of Defense against SQL Injection in Web Applications. Kaiping Liu, Hee Beng Kuan Tan, Lwin Khin Shar |
| 2012 | Semi-static Detection of Runtime Type Errors in Component-Based Java Programs. Xiaowei Zhou, Wenbo Zhang, Jianhua Zhang |
| 2012 | Service-Driven Migrating of Enterprise Information Systems: A Case Study. Ziyan Xu, Haihong Zhao, Sheau Ling Tan, Lin Liu |
| 2012 | Software Architecture Matching by Meta-model Extension and Refinement. Luxi Chen, Linpeng Huang, Chen Li, Weichao Luo |
| 2012 | Software Development Practices in New Zealand. Diana Kirk, Ewan D. Tempero |
| 2012 | Software Feature Location Based on Topic Models. Kunming Nie, Li Zhang |
| 2012 | Software Project Team Characteristics and Team Performance: Team Motivation as a Moderator. Pei-Chi Chen, Ching-Chin Chern, Chung-Yang Chen |
| 2012 | Software Requirements Triage and Selection: State-of-the-Art and State-of-Practice. Mahvish Khurum, Niroopa Uppalapati, Ramya Chowdary Veeramachaneni |
| 2012 | Software-Based Online Monitoring of Cache Contents on Platforms without Coherence Fabric. Adriaan Schmidt, Oliver Horst |
| 2012 | Studying the Understandability of Aspect State Machines through the Weaving Activity. Shaukat Ali, Tao Yue |
| 2012 | Supporting Awareness during Collaborative and Distributed Configuration of Multi Product Lines. Gerald Holl, Paul Grünbacher, Christoph Elsner, Thomas Klambauer |
| 2012 | Syntax Map: A Modeling Language for Capturing Requirements of Graphical DSML. Hyun Cho, Jeff Gray, Eugene Syriani |
| 2012 | Test Case Selection Based on Path Condtions of Symbolic Execution. Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara |
| 2012 | Testing of Component-Based Systems. Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston |
| 2012 | The Case for Using Simulation to Validate Event-B Specifications. Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières |
| 2012 | The NORMAP Methodology: Lightweight Engineering of Non-functional Requirements for Agile Processes. Weam M. Farid |
| 2012 | Toward Comprehension of Side Effects in Framework Applications as Feature Interactions. Izuru Kume, Masahide Nakamura, Etsuya Shibayama |
| 2012 | Towards Accurate Monitoring of Extra-Functional Properties in Real-Time Embedded Systems. Mehrdad Saadatmand, Mikael Sjödin |
| 2012 | Towards Tool Integration through Artifacts and Roles. Weiqing Zhang, Vincent Leilde, Birger Møller-Pedersen, Joël Champeau, Christophe Guychard |
| 2012 | Towards a Better Understanding of Testing if Conditionals. Shimul Kumar Nath, Robert G. Merkel, Man Fai Lau, Tanay Kanti Paul |
| 2012 | Towards an Adaptive Service Degradation Approach for Handling Server Overload. Ziyou Wang, Minghui Zhou, Hong Mei |
| 2012 | Trust-Based Service Composition and Optimization. Xiaona Wu, Bixin Li, Rui Song, Cuicui Liu, Shanshan Qi |
| 2012 | Understanding OSS Peer Review Roles in Peer Review Social Network (PeRSoN). Xin Yang, Raula Gaikovina Kula, Ana Erika Camargo Cruz, Norihiro Yoshida, Kazuki Hamasaki, Kenji Fujiwara, Hajimu Iida |
| 2012 | Using Monterey Phoenix to Formalize and Verify System Architectures. Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong |
| 2012 | Validating the Effectiveness of Object-Oriented Metrics over Multiple Releases for Predicting Fault Proneness. Santosh Singh Rathore, Atul Gupta |
| 2012 | Web Platform API Design Principles and Service Contract. Yonghong Chen, Xiwei Xu, Liming Zhu |
| 2012 | Who is Accountable for Asynchronous Exceptions? Benjamin Morandi, Sebastian Nanz, Bertrand Meyer |