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)
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
Yuming Zhou, Baowen Xu, Hareton Leung, Lin Chen
An in-depth study of the potentially confounding effect of class size in fault prediction
Lionel Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue
Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment
Wes Masri, Rawad Abou Assi
Prevalence of Coincidental Correctness and Mitigation of its Impact on Fault-Localization
Eric Bodden, Éric Tanter, Milton Inostroza
Joint Point Interfaces for Safe and Flexible Decoupling of Aspects
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Model Based Synthesis of Control Software from System Level Formal Specifications
Xiao Liu, Yun Yang, Yuan Dong, Jinjun Chen
Do We Need to Handle Every Temporal Violation in Scientific Workflow Systems?
Rocco Oliveto, Gabriele Bavota, Malcom Gethers, Denys Poshyvanyk, Andrea De Lucia
Improving Software Modularization via Automated Analysis of Latent Topics and Dependencies
Andrew Tappenden, James Miller
Automated Cookie Collection Testing
Robrecht Haesevoets, Danny Weyns, Tom Holvoet
Architecture-Centric Support for Dynamic Service Collaborations
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.
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.