ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 24 Issue 1, September 2014

Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements
Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano
Article No.: 1
DOI: 10.1145/2629457

Over the last few years, the software engineering community has proposed a number of modeling methods to represent functional requirements. Among them, use cases are recognized as an easy to use and intuitive way to capture and define such...

A Continuous ASM Modelling Approach to Pacemaker Sensing
Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
Article No.: 2
DOI: 10.1145/2610375

The cardiac pacemaker system, proposed as a problem topic in the Verification Grand Challenge, offers a range of difficulties to address for formal specification, development, and verification technologies. We focus on the sensing problem, the...

Directed Incremental Symbolic Execution
Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid
Article No.: 3
DOI: 10.1145/2629536

The last few years have seen a resurgence of interest in the use of symbolic execution—a program analysis technique developed more than three decades ago to analyze program execution paths. Scaling symbolic execution to real systems remains...

Mining Unit Tests for Discovery and Migration of Math APIs
Anirudh Santhiar, Omesh Pandita, Aditya Kanade
Article No.: 4
DOI: 10.1145/2629506

Today's programming languages are supported by powerful third-party APIs. For a given application domain, it is common to have many competing APIs that provide similar functionality. Programmer productivity therefore depends heavily on the...

Combining Centralised and Distributed Testing
Robert M. Hierons
Article No.: 5
DOI: 10.1145/2661296

Many systems interact with their environment at distributed interfaces (ports) and sometimes it is not possible to place synchronised local testers at the ports of the system under test (SUT). There are then two main approaches to testing: having...

Code-Smell Detection as a Bilevel Problem
Dilan Sahin, Marouane Kessentini, Slim Bechikh, Kalyanmoy Deb
Article No.: 6
DOI: 10.1145/2675067

Code smells represent design situations that can affect the maintenance and evolution of software. They make the system difficult to evolve. Code smells are detected, in general, using quality metrics that represent some symptoms. However, the...