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 3, January 2018

Global and Local Deadlock Freedom in BIP
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
Article No.: 9
DOI: 10.1145/3152910

We present a criterion for checking local and global deadlock freedom of finite state systems expressed in BIP: a component-based framework for constructing complex distributed systems. Our criterion is evaluated by model-checking a set of...

Variability Bugs in Highly Configurable Systems: A Qualitative Analysis
Iago Abal, Jean Melo, Ştefan Stănciulescu, Claus Brabrand, Márcio Ribeiro, Andrzej Wąsowski
Article No.: 10
DOI: 10.1145/3149119

Variability-sensitive verification pursues effective analysis of the exponentially many variants of a program family. Several variability-aware techniques have been proposed, but researchers still lack examples of concrete bugs induced by...

Lightweight, Obfuscation-Resilient Detection and Family Identification of Android Malware
Joshua Garcia, Mahmoud Hammad, Sam Malek
Article No.: 11
DOI: 10.1145/3162625

The number of malicious Android apps is increasing rapidly. Android malware can damage or alter other files or settings, install additional applications, and so on. To determine such behaviors, a security analyst can significantly benefit from...