Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 18 Issue 1, September 2008

Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
Marcel R. Karam, Trevor J. Smedley, Sergiu M. Dascalu
Article No.: 1
DOI: 10.1145/1391984.1391985

Visual dataflow languages (VDFLs), which include commercial and research systems, have had a substantial impact on end-user programming. Like any other programming languages, whether visual or textual, VDFLs often contain faults. A desire to...

Power laws in software
Panagiotis Louridas, Diomidis Spinellis, Vasileios Vlachos
Article No.: 2
DOI: 10.1145/1391984.1391986

A single statistical framework, comprising power law distributions and scale-free networks, seems to fit a wide variety of phenomena. There is evidence that power laws appear in software at the class and function level. We show that distributions...

Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation
Ondřej Lhoták, Laurie Hendren
Article No.: 3
DOI: 10.1145/1391984.1391987

We present Paddle, a framework of BDD-based context-sensitive points-to and call graph analyses for Java, as well as client analyses that use their results. Paddle supports several variations of context-sensitive analyses, including call site...