default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Software Engineering and Methodology, Volume 25
Volume 25, Number 1, December 2015
- Matthew B. Dwyer
, David S. Rosenblum:
Editorial Journal-First Publication for the Software Engineering Community. 1:1-1:2 - Will Dietz, Peng Li, John Regehr, Vikram S. Adve:
Understanding Integer Overflow in C/C++. 2:1-2:29 - Sebastian Proksch, Johannes Lerch, Mira Mezini:
Intelligent Code Completion with Bayesian Networks. 3:1-3:31 - Stefano Di Alesio, Lionel C. Briand, Shiva Nejati, Arnaud Gotlieb:
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines. 4:1-4:37 - 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. 5:1-5:38 - Seyedeh Sepideh Emam, James Miller:
Test Case Prioritization Using Extended Digraphs. 6:1-6:41 - Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen:
Boa: Ultra-Large-Scale Software Repository and Source-Code Mining. 7:1-7:34 - Phil McMinn, Chris J. Wright, Gregory M. Kapfhammer:
The Effectiveness of Test Coverage Criteria for Relational Database Schema Integrity Constraints. 8:1-8:49 - Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip:
Type-Based Call Graph Construction Algorithms for Scala. 9:1-9:43 - Anas Mahmoud, Gary Bradshaw:
Estimating Semantic Relatedness in Source Code. 10:1-10:35
Volume 25, Number 2, May 2016
- David S. Rosenblum:
Editorial. 11:1-11:2 - Saba Alimadadi, Sheldon Sequeira, Ali Mesbah, Karthik Pattabiraman:
Understanding JavaScript Event-Based Interactions with Clematis. 12:1-12:38 - 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. 13:1-13:29 - Nuno Machado, Daniel Quinta, Brandon Lucia, Luís E. T. Rodrigues:
Concurrency Debugging with Differential Schedule Projections. 14:1-14:37 - Petr Bauch, Vojtech Havel, Jiri Barnat:
Control Explicit-Data Symbolic Model Checking. 15:1-15:48 - Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel:
Less is More: Estimating Probabilistic Rewards over Partial System Explorations. 16:1-16:47 - Robert M. Hierons, Miqing Li, Xiaohui Liu, Sergio Segura, Wei Zheng:
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization. 17:1-17:39 - Haipeng Cai, Raúl A. Santelices, Douglas Thain:
DiaPro: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness. 18:1-18:50 - Kapil Anand, Khaled Elwazeer, Aparna Kotha, Matthew Smithson, Rajeev Barua, Angelos D. Keromytis:
A Stack Memory Abstraction and Symbolic Analysis Framework for Executables. 19:1-19:38
Volume 25, Number 3, August 2016
- Islem Baki, Houari A. Sahraoui:
Multi-Step Learning and Adaptive Search for Learning Complex Model Transformations from Examples. 20:1-20:37 - Fei He, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang:
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes. 21:1-21:39 - Jaspreet Bhatia, Travis D. Breaux, Florian Schaub:
Mining Privacy Goals from Privacy Policies Using Hybridized Task Recomposition. 22:1-22:24 - Ali Ouni, Marouane Kessentini, Houari A. Sahraoui, Katsuro Inoue, Kalyanmoy Deb:
Multi-Criteria Code Refactoring Using Search-Based Software Engineering: An Industrial Case Study. 23:1-23:53 - Ivan Candela, Gabriele Bavota, Barbara Russo, Rocco Oliveto:
Using Cohesion and Coupling for Software Remodularization: Is It Enough? 24:1-24:28 - 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. 25:1-25:34 - Ricardo M. Czekster, Paulo Fernandes, Lucelene Lopes, Afonso Sales, Alan R. Santos, Thais Webber:
Stochastic Performance Analysis of Global Software Development Teams. 26:1-26:32 - Chunbai Yang, Shangru Wu, W. K. Chan:
Hierarchical Program Paths. 27:1-27:44
Volume 25, Number 4, May 2017
- Artem Polyvyanyy, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Moe Thandar Wynn:
Impact-Driven Process Model Repair. 28:1-28:60 - Shams Azad, Peter C. Rigby, Latifa Guerrouj:
Generating API Call Rules from Version History and Stack Overflow Posts. 29:1-29:22 - Vijay Krishna Palepu, Guoqing Xu, James A. Jones:
Dynamic Dependence Summaries. 30:1-30:41 - Juan de Lara, Esther Guerra:
A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications. 31:1-31:60
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
