- 2017
- Shams Azad, Peter C. Rigby, Latifa Guerrouj:
Generating API Call Rules from Version History and Stack Overflow Posts. ACM Trans. Softw. Eng. Methodol. 25(4): 29:1-29:22 (2017) - Juan de Lara, Esther Guerra:
A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications. ACM Trans. Softw. Eng. Methodol. 25(4): 31:1-31:60 (2017) - Vijay Krishna Palepu, Guoqing Xu, James A. Jones:
Dynamic Dependence Summaries. ACM Trans. Softw. Eng. Methodol. 25(4): 30:1-30:41 (2017) - Artem Polyvyanyy, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Moe Thandar Wynn:
Impact-Driven Process Model Repair. ACM Trans. Softw. Eng. Methodol. 25(4): 28:1-28:60 (2017) - 2016
- Ali Ouni, Marouane Kessentini, Houari A. Sahraoui, Katsuro Inoue, Kalyanmoy Deb:
Multi-Criteria Code Refactoring Using Search-Based Software Engineering: An Industrial Case Study. ACM Trans. Softw. Eng. Methodol. 25(3): 23:1-23:53 (2016) - Saba Alimadadi, Sheldon Sequeira, Ali Mesbah, Karthik Pattabiraman:
Understanding JavaScript Event-Based Interactions with Clematis. ACM Trans. Softw. Eng. Methodol. 25(2): 12:1-12:38 (2016) - Kapil Anand, Khaled Elwazeer, Aparna Kotha, Matthew Smithson, Rajeev Barua, Angelos D. Keromytis:
A Stack Memory Abstraction and Symbolic Analysis Framework for Executables. ACM Trans. Softw. Eng. Methodol. 25(2): 19:1-19:38 (2016) - Islem Baki, Houari A. Sahraoui:
Multi-Step Learning and Adaptive Search for Learning Complex Model Transformations from Examples. ACM Trans. Softw. Eng. Methodol. 25(3): 20:1-20:37 (2016) - Petr Bauch, Vojtech Havel, Jiri Barnat:
Control Explicit-Data Symbolic Model Checking. ACM Trans. Softw. Eng. Methodol. 25(2): 15:1-15:48 (2016) - Jaspreet Bhatia, Travis D. Breaux, Florian Schaub:
Mining Privacy Goals from Privacy Policies Using Hybridized Task Recomposition. ACM Trans. Softw. Eng. Methodol. 25(3): 22:1-22:24 (2016) - Haipeng Cai, Raúl A. Santelices, Douglas Thain:
DiaPro: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness. ACM Trans. Softw. Eng. Methodol. 25(2): 18:1-18:50 (2016) - Ivan Candela, Gabriele Bavota, Barbara Russo, Rocco Oliveto:
Using Cohesion and Coupling for Software Remodularization: Is It Enough? ACM Trans. Softw. Eng. Methodol. 25(3): 24:1-24:28 (2016) - Ricardo M. Czekster, Paulo Fernandes, Lucelene Lopes, Afonso Sales, Alan R. Santos, Thais Webber:
Stochastic Performance Analysis of Global Software Development Teams. ACM Trans. Softw. Eng. Methodol. 25(3): 26:1-26:32 (2016) - Gregory Gay, Ajitha Rajan, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage. ACM Trans. Softw. Eng. Methodol. 25(3): 25:1-25:34 (2016) - Fei He, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang:
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes. ACM Trans. Softw. Eng. Methodol. 25(3): 21:1-21:39 (2016) - Robert M. Hierons, Miqing Li, Xiaohui Liu, Sergio Segura, Wei Zheng:
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization. ACM Trans. Softw. Eng. Methodol. 25(2): 17:1-17:39 (2016) - Nuno Machado, Daniel Quinta, Brandon Lucia, Luís E. T. Rodrigues:
Concurrency Debugging with Differential Schedule Projections. ACM Trans. Softw. Eng. Methodol. 25(2): 14:1-14:37 (2016) - Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel:
Less is More: Estimating Probabilistic Rewards over Partial System Explorations. ACM Trans. Softw. Eng. Methodol. 25(2): 16:1-16:47 (2016) - David S. Rosenblum:
Editorial. ACM Trans. Softw. Eng. Methodol. 25(2): 11:1-11:2 (2016) - Chunbai Yang, Shangru Wu, W. K. Chan:
Hierarchical Program Paths. ACM Trans. Softw. Eng. Methodol. 25(3): 27:1-27:44 (2016) - Minghui Zhou, Audris Mockus, Xiujuan Ma, Lu Zhang, Hong Mei:
Inflow and Retention in OSS Communities with Commercial Involvement: A Case Study of Three Hybrid Projects. ACM Trans. Softw. Eng. Methodol. 25(2): 13:1-13:29 (2016) - 2015
- Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen:
Boa: Ultra-Large-Scale Software Repository and Source-Code Mining. ACM Trans. Softw. Eng. Methodol. 25(1): 7:1-7:34 (2015) - Stefano Di Alesio, Lionel C. Briand, Shiva Nejati, Arnaud Gotlieb:
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines. ACM Trans. Softw. Eng. Methodol. 25(1): 4:1-4:37 (2015) - Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip:
Type-Based Call Graph Construction Algorithms for Scala. ACM Trans. Softw. Eng. Methodol. 25(1): 9:1-9:43 (2015) - Mariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella:
Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency. ACM Trans. Softw. Eng. Methodol. 25(1): 5:1-5:38 (2015) - Will Dietz, Peng Li, John Regehr, Vikram S. Adve:
Understanding Integer Overflow in C/C++. ACM Trans. Softw. Eng. Methodol. 25(1): 2:1-2:29 (2015) - Matthew B. Dwyer, David S. Rosenblum:
Editorial Journal-First Publication for the Software Engineering Community. ACM Trans. Softw. Eng. Methodol. 25(1): 1:1-1:2 (2015) - Seyedeh Sepideh Emam, James Miller:
Test Case Prioritization Using Extended Digraphs. ACM Trans. Softw. Eng. Methodol. 25(1): 6:1-6:41 (2015) - Anas Mahmoud, Gary Bradshaw:
Estimating Semantic Relatedness in Source Code. ACM Trans. Softw. Eng. Methodol. 25(1): 10:1-10:35 (2015) - Phil McMinn, Chris J. Wright, Gregory M. Kapfhammer:
The Effectiveness of Test Coverage Criteria for Relational Database Schema Integrity Constraints. ACM Trans. Softw. Eng. Methodol. 25(1): 8:1-8:49 (2015)