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