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