ACM Transactions on Software
	       Engineering and Methodology Upcoming Articles

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)

Davide Falessi, Lionel Briand, Giovanni Cantone, Rafael Capilla, Philippe Kruchten
   The Value of Design Rationale Information

Kevin Hoffman, Patrick Eugster
   Trading Obliviousness for Modularity with Cooperative Aspect-oriented Programming

Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
   Bounded Satisfiability Checking of Metric Temporal Logic Specifications

Guoqing Xu, Atanas Rountev
   Precise Memory Leak Detection for Java Software Using Container Profiling

Scott Fleming, Christopher Scaffidi, David Piorkowski, Margaret Burnett, Rachel Bellamy, Joseph Lawrance, Irwin Kwan
   An Information Foraging Theory Perspective on Tools for Debugging, Refactoring, and Reuse Tasks [Volume 22, Issue 2]

Sagar Chaki, Christian Schallhart, Helmut Veith
   Verification across Intellectual Property Boundaries [Volume 22, Issue 2]

Neil Walkinshaw, Kirill Bogdanov
   Automated Comparison of State-Based Software Models in terms of their Language and Structure [Volume 22, Issue 2]

Zibin Zheng, Michael Lyu
   Personalized Reliability Prediction of Web Services [Volume 22, Issue 2]

Marcello La Rosa, Marlon Dumas, Reina Uba, Remco Dijkman
   Business Process Model Merging: An Approach to Business Process Consolidation [Volume 22, Issue 2]

Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas Reps
   ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach [Volume 22, Issue 2]

Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel
   Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals [Volume 22, Issue 1]

Jeff Huang, Jinguo Zhou, Charles Zhang
   Scaling Predictive Analysis of Concurrent Programs by Removing Trace Redundancy [Volume 22, Issue 1]

Martin Monperrus, Mira Mezini
   Detecting Missing Method Calls As Violations of the Majority Rule [Volume 22, Issue 1]

Hadi Hemmati, Andrea Arcuri, Lionel Briand
   Achieving Scalable Model-Based Testing Through Test Case Diversity [Volume 22, Issue 1]

Tao Yue, Lionel Briand, Yvan Labiche
   Facilitating the Transition from Use Case Models to Analysis Models: Approach and Experiments [Volume 22, Issue 1]

Brian Demsky, Patrick Lam
   Views: Synthesizing Fine-Grained Concurrency Control [Volume 22, Issue 1]

Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Etienne Andre
   Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP [Volume 22, Issue 1]

Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip Guo, Pieter Hooimeijer, Michael Ernst
   HAMPI: A Solver for Word Equations over Strings, Regular Expressions and Context-Free Grammars [Volume 21, Issue 4]

Andrew Meneely, Benjamin Smith, Laurie Williams
   Validating Software Metrics: A Spectrum of Philosophies [Volume 21, Issue 4]

Denys Poshyvanyk, Malcom Gethers, Andrian Marcus
   Concept Location using Formal Concept Analysis and Information Retrieval [Volume 21, Issue 4]

Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
   Validation of Requirements for Hybrid Systems: a Formal Approach [Volume 21, Issue 4]

Yuanfang Cai, Kevin Sullivan
   A Formal Model for Automated Software Modularity and Evolvability Analysis [Volume 21, Issue 4]

Reid Holmes, Robert Walker
   Systematizing Pragmatic Software Reuse [Volume 21, Issue 4]

Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani
   DARWIN: An Approach for Debugging Evolving Programs [Volume 21, Issue 3]

Paul Jennings, Arka Ghosh, Samik Basu
   A Two-phase Approximation for Model Checking Unbounded Until Properties of Probabilistic Systems [Volume 21, Issue 3]

Jaymie Strecker, Atif Memon
   Accounting for Defect Characteristics in Evaluations of Testing Techniques [Volume 21, Issue 3]

Alessandro Fantechi, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi, Stefania Gnesi, Franco Mazzanti
   A Logical Verification Methodology for Service-Oriented Computing [Volume 21, Issue 3]

Christian Kastner, Sven Apel, Thomas Thum, Gunter Saake
   Type Checking Annotation-Based Product Lines [Volume 21, Issue 3]

Macneil Shonle, William Griswold, Sorin Lerner
   A Framework for the Checking and Refactoring of Crosscutting Concepts [Volume 21, Issue 3]


Valid XHTML
      1.1! Last modified: Fri Apr 13 19:50:57 EDT 2012