Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 21 Issue 3, June 2012

Type checking annotation-based product lines
Christian Kästner, Sven Apel, Thomas Thüm, Gunter Saake
Article No.: 14
DOI: 10.1145/2211616.2211617

Software product line engineering is an efficient means of generating a family of program variants for a domain from a single code base. However, because of the potentially high number of possible program variants, it is difficult to test them all...

A framework for the checking and refactoring of crosscutting concepts
Macneil Shonle, William G. Griswold, Sorin Lerner
Article No.: 15
DOI: 10.1145/2211616.2211618

Programmers employ crosscutting concepts, such as design patterns and other programming idioms, when their design ideas cannot be efficiently or effectively modularized in the underlying programming language. As a result, implementations of these...

A logical verification methodology for service-oriented computing
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
Article No.: 16
DOI: 10.1145/2211616.2211619

We introduce a logical verification methodology for checking behavioral properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed for...

Accounting for defect characteristics in evaluations of testing techniques
Jaymie Strecker, Atif M. Memon
Article No.: 17
DOI: 10.1145/2211616.2211620

As new software-testing techniques are developed, before they can achieve widespread acceptance, their effectiveness at detecting defects must be evaluated. The most common way of evaluating testing techniques is with empirical studies, in which...

A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems
Paul Jennings, Arka P. Ghosh, Samik Basu
Article No.: 18
DOI: 10.1145/2211616.2211621

We have developed a new approximate probabilistic model-checking method for untimed properties in probabilistic systems, expressed in a probabilistic temporal logic (PCTL, CSL). This method, in contrast to the existing ones, does not...

DARWIN: An approach to debugging evolving programs
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani
Article No.: 19
DOI: 10.1145/2211616.2211622

Bugs in programs are often introduced when programs evolve from a stable version to a new version. In this article, we propose a new approach called DARWIN for automatically finding potential root causes of such bugs. Given two...