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 The Value of Design Rationale Information Davide Falessi, Lionel Briand, Giovanni Cantone, Rafael Capilla, Philippe Kruchten Authors: Davide Falessi, Lionel Briand, Giovanni Cantone, Rafael Capilla, Philippe Kruchten http://www.acm.org/tosem Trading Obliviousness for Modularity with Cooperative Aspect-oriented Programming Kevin Hoffman, Patrick Eugster Authors: Kevin Hoffman, Patrick Eugster http://www.acm.org/tosem Bounded Satisfiability Checking of Metric Temporal Logic Specifications Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro Authors: Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro http://www.acm.org/tosem Precise Memory Leak Detection for Java Software Using Container Profiling Guoqing Xu, Atanas Rountev Authors: Guoqing Xu, Atanas Rountev http://www.acm.org/tosem An Information Foraging Theory Perspective on Tools for Debugging, Refactoring, and Reuse Tasks [Volume 22, Issue 2] Scott Fleming, Christopher Scaffidi, David Piorkowski, Margaret Burnett, Rachel Bellamy, Joseph Lawrance, Irwin Kwan Authors: Scott Fleming, Christopher Scaffidi, David Piorkowski, Margaret Burnett, Rachel Bellamy, Joseph Lawrance, Irwin Kwan http://www.acm.org/tosem Verification across Intellectual Property Boundaries [Volume 22, Issue 2] Sagar Chaki, Christian Schallhart, Helmut Veith Authors: Sagar Chaki, Christian Schallhart, Helmut Veith http://www.acm.org/tosem Automated Comparison of State-Based Software Models in terms of their Language and Structure [Volume 22, Issue 2] Neil Walkinshaw, Kirill Bogdanov Authors: Neil Walkinshaw, Kirill Bogdanov http://www.acm.org/tosem Personalized Reliability Prediction of Web Services [Volume 22, Issue 2] Zibin Zheng, Michael Lyu Authors: Zibin Zheng, Michael Lyu http://www.acm.org/tosem Business Process Model Merging: An Approach to Business Process Consolidation [Volume 22, Issue 2] Marcello La Rosa, Marlon Dumas, Reina Uba, Remco Dijkman Authors: Marcello La Rosa, Marlon Dumas, Reina Uba, Remco Dijkman http://www.acm.org/tosem ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach [Volume 22, Issue 2] Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas Reps Authors: Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas Reps http://www.acm.org/tosem Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals [Volume 22, Issue 1] Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel Authors: Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel http://www.acm.org/tosem Scaling Predictive Analysis of Concurrent Programs by Removing Trace Redundancy [Volume 22, Issue 1] Jeff Huang, Jinguo Zhou, Charles Zhang Authors: Jeff Huang, Jinguo Zhou, Charles Zhang http://www.acm.org/tosem Detecting Missing Method Calls As Violations of the Majority Rule [Volume 22, Issue 1] Martin Monperrus, Mira Mezini Authors: Martin Monperrus, Mira Mezini http://www.acm.org/tosem Achieving Scalable Model-Based Testing Through Test Case Diversity [Volume 22, Issue 1] Hadi Hemmati, Andrea Arcuri, Lionel Briand Authors: Hadi Hemmati, Andrea Arcuri, Lionel Briand http://www.acm.org/tosem Facilitating the Transition from Use Case Models to Analysis Models: Approach and Experiments [Volume 22, Issue 1] Tao Yue, Lionel Briand, Yvan Labiche Authors: Tao Yue, Lionel Briand, Yvan Labiche http://www.acm.org/tosem Views: Synthesizing Fine-Grained Concurrency Control [Volume 22, Issue 1] Brian Demsky, Patrick Lam Authors: Brian Demsky, Patrick Lam http://www.acm.org/tosem Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP [Volume 22, Issue 1] Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Etienne Andre Authors: Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Etienne Andre http://www.acm.org/tosem HAMPI: A Solver for Word Equations over Strings, Regular Expressions and Context-Free Grammars [Volume 21, Issue 4] Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip Guo, Pieter Hooimeijer, Michael Ernst Authors: Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip Guo, Pieter Hooimeijer, Michael Ernst http://www.acm.org/tosem Validating Software Metrics: A Spectrum of Philosophies [Volume 21, Issue 4] Andrew Meneely, Benjamin Smith, Laurie Williams Authors: Andrew Meneely, Benjamin Smith, Laurie Williams http://www.acm.org/tosem Concept Location using Formal Concept Analysis and Information Retrieval [Volume 21, Issue 4] Denys Poshyvanyk, Malcom Gethers, Andrian Marcus Authors: Denys Poshyvanyk, Malcom Gethers, Andrian Marcus http://www.acm.org/tosem Validation of Requirements for Hybrid Systems: a Formal Approach [Volume 21, Issue 4] Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta Authors: Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta http://www.acm.org/tosem A Formal Model for Automated Software Modularity and Evolvability Analysis [Volume 21, Issue 4] Yuanfang Cai, Kevin Sullivan Authors: Yuanfang Cai, Kevin Sullivan http://www.acm.org/tosem Systematizing Pragmatic Software Reuse [Volume 21, Issue 4] Reid Holmes, Robert Walker Authors: Reid Holmes, Robert Walker http://www.acm.org/tosem DARWIN: An Approach for Debugging Evolving Programs [Volume 21, Issue 3] Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani Authors: Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani http://www.acm.org/tosem A Two-phase Approximation for Model Checking Unbounded Until Properties of Probabilistic Systems [Volume 21, Issue 3] Paul Jennings, Arka Ghosh, Samik Basu Authors: Paul Jennings, Arka Ghosh, Samik Basu http://www.acm.org/tosem Accounting for Defect Characteristics in Evaluations of Testing Techniques [Volume 21, Issue 3] Jaymie Strecker, Atif Memon Authors: Jaymie Strecker, Atif Memon http://www.acm.org/tosem A Logical Verification Methodology for Service-Oriented Computing [Volume 21, Issue 3] Alessandro Fantechi, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi, Stefania Gnesi, Franco Mazzanti Authors: Alessandro Fantechi, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi, Stefania Gnesi, Franco Mazzanti http://www.acm.org/tosem Type Checking Annotation-Based Product Lines [Volume 21, Issue 3] Christian Kastner, Sven Apel, Thomas Thum, Gunter Saake Authors: Christian Kastner, Sven Apel, Thomas Thum, Gunter Saake http://www.acm.org/tosem A Framework for the Checking and Refactoring of Crosscutting Concepts [Volume 21, Issue 3] Macneil Shonle, William Griswold, Sorin Lerner Authors: Macneil Shonle, William Griswold, Sorin Lerner http://www.acm.org/tosem