enter search term and/or author name
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
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...
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
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...