Upcoming ArticlesThe 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.
Robin Gandhi, Seok-Won Lee
Discovering Multi-dimensional Correlations among Regulatory Requirements to Understand Risk
Changhai Nie, Hareton Leung, Baowen Xu
The minimal failure-causing schema of combinatorial testing
Andreas Bauer, Martin Leucker, Christian Schallhart
Runtime Verification for LTL and TLTL
Zhenyu Chen, Tsong Yueh Chen, Baowen Xu
A Revisit of Fault Class Hierarchies in General Boolean Specifications
David Binkley, Mark Harman, Kiran Lakhotia
FlagRemover: A Testability Transformation for Transforming Loop Assigned Flags
Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao
A Model for Spectra-based Software Diagnosis
John Anvik, Gail Murphy
Reducing the Effort of Bug Report Triage: Recommenders for Development-oriented Decisions
Jinjun Chen, Yun Yang
Temporal Dependency based Checkpoint Selection
Simon Miles, Paul Groth, Steve Munroe, Luc Moreau
PrIMe: A Methodology for Developing Provenance-Aware Applications
Robert Dyer, Hridesh Rajan (Volume 20, Issue 2)
Supporting Dynamic Aspect-oriented Features
Param Vir Singh (Volume 20, Issue 2)
The Small World Effect
Kevin Sullivan, Bill Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari (Volume 20, Issue 2)
Modular Aspect-Oriented Design with XPIs
Andrew Ko, Brad Myers (Volume 20, Issue 2)
Extracting and Answering Why and Why Not Questions about Java Program Output
Ekwa Duala-Ekoko, Martin Robillard (Volume 20, Issue 1)
Clone Region Descriptors: Representing and Tracking Duplication in Source Code
Kieran Conboy, Brian Fitzgerald (Volume 20, Issue 1)
METHOD AND DEVELOPER CHARACTERISTICS FOR EFFECTIVE AGILE METHOD TAILORING: A STUDY OF EXPERT OPINION
Friedrich Steimann, Thomas Pawlitzki, Sven Apel, Christian Kästner (Volume 20, Issue 1)
Types and Modularity for Implicit Invocation with Implicit Announcement
Chunqing Chen, Jin Song Dong, Jun Sun, Andrew Martin (Volume 19, Issue 4)
A Verification System for Interval-Based Specification Languages
Jamie Payton, Christine Julien, Gruia-Catalin Roman, Vasanth Rajamani (Volume 19, Issue 4)
Semantic Self-Assessment of Query Results in Dynamic Environments
Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani (Volume 19, Issue 4)
Analysis and Applications of Timed Service Protocols
Chang Xu, S.C. Cheung, W.K. Chan, Chunyang Ye (Volume 19, Issue 3)
Partial Constraint Checking for Context Consistency in Pervasive Computing
Antonio Brogi, Razvan Popescu, Matteo Tanca (Volume 19, Issue 3)
Design and Implementation of Sator: a Web Service Aggregator
Jon Whittle, Praveen Jayaraman (Volume 19, Issue 3)
Synthesizing Hierarchical State Machines from Expressive Scenario Descriptions
Last modified: Sat Nov 7 17:20:29 EST 2009