| 2013 | DuSE-MT: From Design Spaces to Automated Software Architecture Design. | Sandro Santos Andrade, Raimundo Jos de Arajo Macdo |
| 2013 | Architectural Design Spaces for Feedback Control Concerns in Self-Adaptive Systems (S). | Sandro Santos Andrade, Raimundo Jos de Arajo Macdo |
| 2013 | Using NLP Techniques for Identifying GUI Prototypes and UML Diagrams From Use Cases. | Rafael T. Anchita, Rogrio F. de Sousa, Raimundo Santos Moura |
| 2013 | Image Steganography Using Fuzzy Domain Transformation and Pixel Classification. | Aleem Khalid Alvi, Robin Dawes |
| 2013 | Security Metrics for Java Bytecode Programs (S). | Bandar M. Alshammari, Colin J. Fidge, Diane Corney |
| 2013 | Dynamic Adaptation of Cloud Computing Applications. | Andr Almeida, Everton Cavalcante, Thas Batista, Nlio Cacho, Frederico Lopes, Flvia Coimbra Delicato, Paulo F. Pires |
| 2013 | Random Visual GUI Testing: Proof of Concept. | Emil Algroth |
| 2013 | Decision Support for Re-planning of Software Product Releases (S). | S. M. Didar Al Alam, Gnther Ruhe, Dietmar Pfahl |
| 2013 | Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing. | Ra'Fat Al-Msie'deen, Abdelhak-Djamel Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Hamzeh Eyal Salman |
| 2013 | Using Prolog Rules to Detect Software Design Patterns: Strengths and Weaknesses (S). | Hamdi A. Al-Jamimi, Moataz A. Ahmed |
| 2013 | Smart Phone Based Indoor Pedestrian Localization System (S). | Lokesh Agrawal, Durga Toshniwal |
| 2013 | A multi-dimensional approach for analyzing software artifacts. | Sbastien Adam, Ghizlane El-Boussaidi |
| 2013 | ScubAA: A Human Plausible Reasoning Approach to Agent Trust Management. | Sadra Abedinzadeh, Samira Sadaoui |
| 2013 | Managing Corrective Actions to Closure in Open Source Software Test Process. | Tamer Abdou, Peter Grogono, Pankaj Kamthan |
| 2012 | HybridUML Based Verification of CPS Using Differential Dynamic Logic. | Min Zhu, Bixin Li, Jiakai Li, Qiaoqiao Chen, Xiaoxiang Zhai, Shunhui Ji |
| 2012 | Mining Call Graph for Change Impact Analysis. | Qiandong Zhang, Bixin Li, Xiaobing Sun |
| 2012 | CATESR: Change-aware Test Suite Reduction Based on Partial Coverage of Test Requirements. | Lijiu Zhang, Xiang Chen, Qing Gu, Haigang Zhao, Xiaoyan Shi, Daoxu Chen |
| 2012 | i2Learning: Perpetual Learning through Bias Shifting. | Du Zhang |
| 2012 | Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic. | Xiaoxiang Zhai, Bixin Li, Min Zhu, Jiakai Li, Qiaoqiao Chen, Shunhui Ji |
| 2012 | A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization. | Rui Yang, Zhenyu Chen, Baowen Xu, Zhiyi Zhang, Wujie Zhou |
| 2012 | Automated Generation of Concurrent Test Code from Function Nets. | Dianxiang Xu, Janghwan Tae |
| 2012 | Progressive Clustering with Learned Seeds: An Event Categorization System for Power Grid. | Boyi Xie, Rebecca J. Passonneau, Haimonti Dutta, Jing-Yeu Miaw, Axinia Radeva, Ashish Tomar, Cynthia Rudin |
| 2012 | Evolutionary Learning and Fuzzy Logic Applied to a Load Balancer. | Francisco Calaa Xavier, Max Gontijo de Oliveira, Cedric Luiz de Carvalho |
| 2012 | A Tiny Specification Metalanguage. | Walter W. Wilson, Yu Lei |
| 2012 | A Usage-Based Unified Resource Model. | Yves Wautelet, Samedi Heng, Manuel Kolp |