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 An Empirical Investigation of Software Reuse Benefits in a Large Telecom Product P. Mohagheghi, R. Conradi Authors: P. Mohagheghi, R. Conradi http://www.acm.org/tosem Impact of Tools on Development Performance A. Tiwana Authors: A. Tiwana http://www.acm.org/tosem Developing and Debugging Algebraic Specifications for Java Classes J. Henkel, C. Reichenbach, A. Diwan Authors: J. Henkel, C. Reichenbach, A. Diwan http://www.acm.org/tosem Functional Size Measurement Revisited C. Gencel, O. Demirors Authors: C. Gencel, O. Demirors http://www.acm.org/tosem An Upper Bound on Software Testing Effectiveness T.Y. Chen, R. Merkel Authors: T.Y. Chen, R. Merkel http://www.acm.org/tosem Using Model Checking with Symbolic Execution to Verify Parallel Numerical Programs S. Siegel, A. Mironova, G. Avrunin, L. Clarke Authors: S. Siegel, A. Mironova, G. Avrunin, L. Clarke http://www.acm.org/tosem Effective Typestate Verification in the Presence of Aliasing S. Fink, E. Yahav, G. Ramalingam, N. Dor, E. Geay Authors: S. Fink, E. Yahav, G. Ramalingam, N. Dor, E. Geay http://www.acm.org/tosem Post-Release Reliability Growth in Software Products P. Jalote, B. Murphy, V. S. Sharma Authors: P. Jalote, B. Murphy, V. S. Sharma http://www.acm.org/tosem Topology Analysis of Software Dependencies M. Robillard Authors: M. Robillard http://www.acm.org/tosem The Impact of Research on the Development of Middleware Technology W. Emmerich, J. Sventek, M. Aoyama Authors: W. Emmerich, J. Sventek, M. Aoyama http://www.acm.org/tosem Assessing Uncertainty of Software Development Effort Estimates: Learning from Outcome Feedback T. Gruschke, M. Jorgensen Authors: T. Gruschke, M. Jorgensen http://www.acm.org/tosem Unit Level Test Adequacy Criteria for Visual Dataflow Languages and a Testing Methodology Karam, Marcel; Smedley, Trevor; Dascalus, Sergiu Authors: Karam, Marcel; Smedley, Trevor; Dascalus, Sergiu http://www.acm.org/tosem Power Laws in Software Louridas, Panagiotis; Spinellis, Diomidis; Vlachos, Vasileios Authors: Louridas, Panagiotis; Spinellis, Diomidis; Vlachos, Vasileios http://www.acm.org/tosem Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation Lhotak, Ondrej; Hendren, Laurie Authors: Lhotak, Ondrej; Hendren, Laurie http://www.acm.org/tosem Automatically Repairing Event Sequence-Based GUI Test Suites for Regression Testing Memon, Atif Authors: Memon, Atif http://www.acm.org/tosem Semantic Parameterization: A Process for Modeling Domain Descriptions Breaux, Travis; Anton, Annie; Doyle, Jon Authors: Breaux, Travis; Anton, Annie; Doyle, Jon http://www.acm.org/tosem Domain-Specific Languages and Program Generation with Meta-AspectJ Huang, Shan Shan; Zook, David; Smaragdakis, Yannis Authors: Huang, Shan Shan; Zook, David; Smaragdakis, Yannis http://www.acm.org/tosem Using a Pilot Study to Derive a GUI Model for Automated Testing Xie, Qing; Memon, Atif Authors: Xie, Qing; Memon, Atif http://www.acm.org/tosem Breaking Up is Hard to Do: An Evaluation of Automated Assume-Guarantee Reasoning Cobleigh, Jamieson; Avrunin, George; Clarke, Lori Authors: Cobleigh, Jamieson; Avrunin, George; Clarke, Lori http://www.acm.org/tosem Composing Expressive Run-time Security Policies Bauer, Lujo; Ligatti, Jay; Walker, David Authors: Bauer, Lujo; Ligatti, Jay; Walker, David http://www.acm.org/tosem A Systematic Review of Theory Use in Studies Investigating the Motivations of Software Engineers Hall, Tracy; Beecham, Sarah; Baddoo, Nathan; Sharp, Helen; Robinson, Hugh Authors: Hall, Tracy; Beecham, Sarah; Baddoo, Nathan; Sharp, Helen; Robinson, Hugh http://www.acm.org/tosem Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing McMinn, Phil; binkley, dave; Harman, Mark Authors: McMinn, Phil; binkley, dave; Harman, Mark http://www.acm.org/tosem DSD-Crasher: A Hybrid Analysis Tool for Bug Finding Csallner, Christoph; Smaragdakis, Yannis; Xie, Tao Authors: Csallner, Christoph; Smaragdakis, Yannis; Xie, Tao http://www.acm.org/tosem Tools and Experiments Supporting a Testing-based Theory of Component Composition Hamlet, Richard Authors: Hamlet, Richard http://www.acm.org/tosem Interacting Process Classes Goel, Ankit; Roychoudhury, Abhik; Thiagarajan, P. S Authors: Goel, Ankit; Roychoudhury, Abhik; Thiagarajan, P. S http://www.acm.org/tosem Verdict Functions in Testing with a Fault Domain or Test Hypotheses Hierons, Rob Authors: Hierons, Rob http://www.acm.org/tosem Programming Pervasive and Mobile Computing Applications: the TOTA Approach Mamei, Marco; Zambonelli, Franco Authors: Mamei, Marco; Zambonelli, Franco http://www.acm.org/tosem J-Orchestra: Enhancing Java Programs with Distribution Capabilities Tilevich, Eli; Smaragdakis, Yannis Authors: Tilevich, Eli; Smaragdakis, Yannis http://www.acm.org/tosem From Business Process Models to Process-oriented Software Systems Ouyang, Chun; Dumas, Marlon; van der Aalst, Wil; ter Hofstede, Arthur; Mendling, Jan Authors: Ouyang, Chun; Dumas, Marlon; van der Aalst, Wil; ter Hofstede, Arthur; Mendling, Jan http://www.acm.org/tosem Unifying Aspect- and Object-Oriented Design Rajan, Hridesh; Sullivan, Kevin Authors: Rajan, Hridesh; Sullivan, Kevin http://www.acm.org/tosem Conceptual Data Model Based Software Size Estimation for Information System Tan, Hee Beng Kuan; Zhao, Yuan; Zhang, HongYu Authors: Tan, Hee Beng Kuan; Zhao, Yuan; Zhang, HongYu http://www.acm.org/tosem