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.
To Appear (most recent accepted papers listed from top)
Stefano Di Alesio, Shiva Nejati, Lionel Briand, Arnaud Gotlieb,
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines
Sebastian Proksch, Johannes Lerch, Mira Mezini
Intelligent Code Completion with Bayesian Networks
Will Dietz, Peng Li, John Regehr, Vikram Adve
Understanding Integer Overflow in C/C++
Peter Whigham, Caitlin Owen, Stephen MacDonell
A baseline model for software effort estimation
Pradeep Murukannaiah, Munindar Singh
Platys: An Active Learning Framework for Place-Aware Application Development and Its Evaluation
Jooyong Yi, Dawei Qi, Shin Tan, Abhik Roychoudhury
Software Change Contracts
Wiem Mkaouer, Marouane Kessentini,; Slim Bechikh, Kalyanmoy Deb, Ali Ouni
Many-Objective Software Remodularization using NSGA-III
Cosmin Radoi, Danny Dig
Effective Techniques for Static Race Detection in Java
Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè
Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications
Elena Sherman, Brady Garvin, Matthew Dwyer
Deciding Type-based Partial Order Constraints for Path-sensitive Analysis
Giuseppe Scanniello, Carmine Gravino, Michele Risi, Genoveffa Tortora, Gabriella Dodero
Documenting Design Pattern Instances: a Family of Experiments on Source Code Comprehensibility
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
Gordon Fraser, Matthew Staats, Phil McMinn, Andrea Arcuri, Frank Padberg
Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study
Milos Gligoric, Alex David Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Alipour, Darko Marinov
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
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 2013-2014
The Editorial Board of TOSEM gratefully recognizes the contributions of the following referees, who distinguished themselves in 2013-2014 by both the quantity and quality of the reviews they provided for TOSEM. Their contribution to the software engineering research community is greatly appreciated.