Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 23 Issue 2, March 2014

David S. Rosenblum
Article No.: 11
DOI: 10.1145/2581373

Guided test generation for database applications via synthesized database interactions
Kai Pan, Xintao Wu, Tao Xie
Article No.: 12
DOI: 10.1145/2491529

Testing database applications typically requires the generation of tests consisting of both program inputs and database states. Recently, a testing technique called Dynamic Symbolic Execution (DSE) has been proposed to reduce manual effort in test...

On the impact of UML analysis models on source-code comprehensibility and modifiability
Giuseppe Scanniello, Carmine Gravino, Marcela Genero, Jose' A. Cruz-Lemus, Genoveffa Tortora
Article No.: 13
DOI: 10.1145/2491912

We carried out a family of experiments to investigate whether the use of UML models produced in the requirements analysis process helps in the comprehensibility and modifiability of source code. The family consists of a controlled experiment and 3...

Degree-of-knowledge: Modeling a developer's knowledge of code
Thomas Fritz, Gail C. Murphy, Emerson Murphy-Hill, Jingwen Ou, Emily Hill
Article No.: 14
DOI: 10.1145/2512207

As a software system evolves, the system's codebase constantly changes, making it difficult for developers to answer such questions as who is knowledgeable about particular parts of the code or who needs to know about changes made. In this...

Required behavior of sequence diagrams: Semantics and conformance
Lunjin Lu, Dae-Kyoo Kim
Article No.: 15
DOI: 10.1145/2523108

Many reusable software artifacts such as design patterns and design aspects make use of UML sequence diagrams to describe interaction behaviors. When a pattern or an aspect is reused in an application, it is important to ensure that the sequence...

A taxonomy for requirements engineering and software test alignment
M. Unterkalmsteiner, R. Feldt, T. Gorschek
Article No.: 16
DOI: 10.1145/2523088

Requirements Engineering and Software Testing are mature areas and have seen a lot of research. Nevertheless, their interactions have been sparsely explored beyond the concept of traceability. To fill this gap, we propose a definition of...

ADAM: External dependency-driven architecture discovery and analysis of quality attributes
Dharmalingam Ganesan, Mikael Lindvall
Article No.: 17
DOI: 10.1145/2529998

This article introduces the Architecture Discovery and Analysis Method (ADAM). ADAM supports the discovery of module and runtime views as well as the analysis of quality attributes, such as testability, performance, and maintainability, of...

Key factors for adopting inner source
Klaas-Jan Stol, Paris Avgeriou, Muhammad Ali Babar, Yan Lucas, Brian Fitzgerald
Article No.: 18
DOI: 10.1145/2533685

A number of organizations have adopted Open Source Software (OSS) development practices to support or augment their software development processes, a phenomenon frequently referred to as Inner Source. However the adoption of Inner Source is...

Exact scalable sensitivity analysis for the next release problem
Mark Harman, Jens Krinke, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jian Ren, Shin Yoo
Article No.: 19
DOI: 10.1145/2537853

The nature of the requirements analysis problem, based as it is on uncertain and often inaccurate estimates of costs and effort, makes sensitivity analysis important. Sensitivity analysis allows the decision maker to identify those requirements...

Dynamite: A tool for the verification of alloy models based on PVS
Mariano M. Moscato, Carlos G. Lopez Pombo, Marcelo F. Frias
Article No.: 20
DOI: 10.1145/2544136

Automatic analysis of Alloy models is supported by the Alloy Analyzer, a tool that translates an Alloy model to a propositional formula that is then analyzed using off-the-shelf SAT solvers. The translation requires user-provided bounds on the...