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)
Tevfik Bultan, Jaideep Nijjar, Ivan Bocic
Data Model Property Inference, Verification and Repair for Web Applications
Tao Yue, Lionel Briand, Yvan Labiche
aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models
Juan de Lara, Esther Guerra, Jesus Sanchez Cuadrado
When and How to Use Multi-Level Modelling
Hassan Eldib, Chao Wang, Patrick Schaumont
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks
Dan Hao, Lingming Zhang, Lu Zhang, Gregg Rothermel, Hong Mei
A Unified Test-Case Prioritization Approach
Gordon Fraser, Matthew Staats, Phil McMinn, Andrea Arcuri, Frank Padberg
Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study
Warda El Kholy, Jamal Bentahar, Mohamed El Menshawy, Hongyang Qu, Rachida Dssouli
Conditional Commitments: Reasoning and Model Checking
Gordon Fraser, Andrea Arcuri
A Large Scale Evaluation of Automated Unit Test Generation Using EvoSuite
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
Residual Investigation: Predictive and Precise Bug Detection
Dilan Sahin, Marouane Kessentini, Slim Bechikh, Kalyanmoy Deb,
Code-Smells Detection as a Bi-Level Problem
Milos Gligoric, Alex David Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Alipour, Darko Marinov
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
Combining centralised and distributed testing
Anirudh Santhiar, Omesh Pandita, Aditya Kanade
Mining Unit Tests for Discovery and Migration of Math APIs
Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid
Directed Incremental Symbolic Execution
Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
A Continuous ASM Modelling Approach to Pacemaker Sensing
Giuseppe Scanniello, Filippo Ricca, Marco Torchiano, Gianna Reggio, Egidio Astesiano
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements
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.