Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 26 Issue 4, February 2018

Understanding and Combating Memory Bloat in Managed Data-Intensive Systems
Khanh Nguyen, Kai Wang, Yingyi Bu, Lu Fang, Guoqing Xu
Article No.: 12
DOI: 10.1145/3162626

The past decade has witnessed increasing demands on data-driven business intelligence that led to the proliferation of data-intensive applications. A managed object-oriented programming language such as Java is often the developer’s choice...

Detecting the Behavior of Design Patterns through Model Checking and Dynamic Analysis
Andrea De Lucia, Vincenzo Deufemia, Carmine Gravino, Michele Risi
Article No.: 13
DOI: 10.1145/3176643

We present a method and tool (ePAD) for the detection of design pattern instances in source code. The approach combines static analysis, based on visual language parsing and model checking, and dynamic analysis, based on source code...

Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers
Yi Xiang, Yuren Zhou, Zibin Zheng, Miqing Li
Article No.: 14
DOI: 10.1145/3176644

A feature model (FM) is a compact representation of the information of all possible products from software product lines. The optimal feature selection involves the simultaneous optimization of multiple (usually more than three) objectives in a...