Transactions on Software Engineering and Methodology
The Transactions on Software Engineering and Methodology (TOSEM) is part of the family of journals produced by the ACM, the Association for Computing Machinery.
TOSEM publishes one volume yearly. Each volume is comprised of four issues, which appear in January, April, July and October.
The following papers will be published in future issues of the ACM Transactions on Software Engineering and Methodology. They are listed here in approximate order of appearance.(Stay tuned with (RSS 2.0)!)
To Appear (most recent accepted papers listed from top)
Tracy Hall, Min Zhang, David Bowes, Yi Sun
Some Code Smells have a Significant but Small Effect on Faults
Kathryn Stolee, Sebastian Elbaum, Daniel Dobos
Solving the Search for Source Code
Razieh Behjati, Shiva Nejati, Lionel Briand
Architecture-Level Configuration of Large-Scale Embedded Software Systems
Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky
Scalable Runtime Bloat Detection Using Abstract Dynamic Slicing
Lucas Layman, Victor Basili, Marvin Zelkowitz
A Methodology for Exposing Risk in Achieving Emergent System Properties
ThanhVu Nguyen; Stephanie Forrest; Deepak Kapur; Westley Weimer
DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants
Mainul Islam, Christoph Csallner
Generating Test Cases for Programs that Are Coded Against Interfaces and Annotations
Mariano Moscato, Carlos Lopez Pombo, Marcelo Frias
Dynamite: A Tool for the Verification of Alloy Models Based on PVS
Mark Harman, Francisco Palomo Lozano, Jens Krinke, Inmaculada Medina Bulo, Jian Ren, Shin Yoo
Exact Scalable Sensitivity Analysis for the Next Release Problem
Klaas-Jan Stol, Paris Avgeriou,Ali Babar, Yan Lucas, Brian Fitzgerald
Key Factors for Adopting Inner Source
Anders Møller, Mathias Schwarz
Automated Detection of Client-State Manipulation Vulnerabilities
Dharmalingam Ganesan, Mikael Lindvall
ADAM: External Dependency-driven Architecture Discovery and Analysis of Quality Attributes
Michael Unterkalmsteiner, Robert Feldt, Tony Gorschek
A Taxonomy for Requirements Engineering and Software Test Alignment
Lunjin Lu, Dae-Kyoo Kim
Required Behavior of Sequence Diagrams: Semantics and Conformance
Thomas Fritz, Gail Murphy, Emerson Murphy-Hill, Jingwen Ou, Emily Hill
Degree-of-Knowledge: Modeling a Developer's Knowledge of Code
Giuseppe Scanniello, Carmine Gravino, Marcela Genero, José Cruz-Lemus, Genoveffa Tortora
On the Impact of UML Analysis Models on Source Code Comprehensibility and Modifiability
Kai Pan, Xintao Wu, Tao Xie
Guided Test Generation for Database Applications via Synthesized Database Interactions
For further information about the ACM Transactions on Software Engineering and Methodology contact .
ACM Author-Izer ServiceYou can generate and post links on either your home page or institutional repository for visitors to download the definitive version of your articles from the ACM Digital Library at no charge! For further information, please visit ACM Author-Izer web page.
New Options for ACM Authors to Manage Rights and PermissionsACM introduces a new publishing license agreement, an updated copyright transfer agreement, and a new author-pays option which allows for perpetual open access through the ACM Digital Library. For more information, visit the ACM Author Rights webpage at authors.acm.org.
TOSEM submissions are now integrated with the ORCID registryThe ACM is one of several institutions that is starting to use the ORCID identification system of unique identifiers for researchers and scholars in order to improve the accuracy of bibliographic databases. For more about ORCID, visit http://about.orcid.org/about/what-is-orcid.
Distinguished Referees for 2011-2012
The Editorial Board of TOSEM gratefully recognizes the contributions of the following referees, who distinguished themselves in 2011-2012 by both the quantity and quality of the reviews they provided for TOSEM. Their contribution to the software engineering research community is greatly appreciated.