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 2003-12-12T02:39+01:00 Mattia Monga TOSEM Volume 15, Number 4 (October 2006) http://www.acm.org/tosem/Current.html#last <h2><a id="last"> TOSEM Volume 15, Number 4 (October 2006) </a></h2> <p>P. Thiran, J. Hainaut, G. Houben, D. Benslimane<br/>   <a href="http://doi.acm.org/10.1145/1178625.1178626"><em>Wrapper-based Evolution of Legacy Information Systems</em></a></p> <p>M. Brambilla,S. Ceri, P. Fraternali, I. Manolescu<br/>  <a href="http://doi.acm.org/10.1145/1178625.1178627"><em>Process Modeling in Web Applications</em></a><p> <p>G. Snelting, T. Robschink, J. Krinke<br/>  <a href="http://doi.acm.org/10.1145/1178625.1178628"><em>Efficient Path Conditions in Dependence Graphs for Software Safety Analysis</em></a></p> 2007-1-11 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>L. Baresi, S. Morasca <br/>  <em>Three Empirical Studies on Estimating the Design Effort of Web Applications</em></p> 2007-1-11 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>A. De Lucia, F. Fasano, R. Oliveto,G. Tortora<br/>  <em>Recovering Traceability Links in Software Artefact Management Systems</em></p> <p>S. Smolka, S. Basu<br/>  <em>Model Checking the Java Meta-Locking Algorithm</em></p> <p>K. Kapoor, J. Bowen<br/>  <em>Test Conditions for Fault Classes in Boolean Specifications</em></p> <p>R. Paige, P. Brooke, J. Ostroff<br/>  <em>Metamodel-Based Model Conformance and Multi-view Consistency Checking</em></p> 2006-12-13 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>G. Wassermann, C. Gould, S. Zhendong, P.  Devanbu<br/>  <em>Static Checking of Dynamically Generated Queries in Database Applications</em></p> 2006-11-28 Mattia Monga TOSEM Volume 15, Number 2 (April 2006) http://www.acm.org/tosem/Current.html#last <h2> TOSEM Volume 15, Number 3 (July 2006) </h2> <p>R. Hierons<br/>  <a href="http://doi.acm.org/10.1145/1151695.1151696"><em>Avoiding Coincidental Correctness in Boundary Value Analysis</em></a></p> <p>A. Sinha, C. Smidtsz<br/>  <a href="http://doi.acm.org/10.1145/1151695.1151697"><em>HOTTest: A Model Based Test Design Technique for Enhanced Testing of Domain Specific Applications</em></a></p> <p>A. Murphy,G. P. Picco, G. Roman<br/>  <a href="http://doi.acm.org/10.1145/1151695.1151698"><em>Lime: A Coordination Model and Middleware Supporting Mobility of Hosts and Agents</em></a></p> 2006-10-23 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>A. Gamatie, T. Gautier, P. Le Guernic, J. P. Talpin<br/>  <em>Polychronous Design of Embedded Real-Time Applications</em></p> 2006-10-10 Mattia Monga TOSEM Volume 15, Number 2 (April 2006) http://www.acm.org/tosem/Current.html#last <h2> TOSEM Volume 15, Number 2 (April 2006) </h2> <p>S. Counsell, J. Crampton, S. Swift<br/> <a href="http://doi.acm.org/10.1145/1131421.1131422"><em>The Interpretation and Utility of Three Cohesion Metrics for Object-Oriented Design</em></a></p> <p>M. Fisher II, G. Rothermel, D. Brown, M. Cao, C. Cook, M. Burnett<br/> <a href="http://doi.acm.org/10.1145/1131421.1131423"><em>Integrating Automated Test Generation into the WYSIWYT Spreadsheet Testing Methodology </em></a></p> <p>W. Zhao, L. Zhang, Y. Liu, J. Sun, F. Yang<br/> <a href="http://doi.acm.org/10.1145/1131421.1131424"><em>SNIAFL: Towards a Static Non-Interactive Approach to Feature Location</em></a></p> 2006-08-01 Mattia Monga TOSEM Volume 15, Number 1 (January 2006) http://www.acm.org/tosem/Current.html#last <h2><a> TOSEM Volume 15, Number 1 (January 2006) </a></h2> <p>R. Eshuis<br/> <a href="http://doi.acm.org/10.1145/1125808.1125809"><em>Symbolic model checking of UML activity diagrams</em></a></p> <p>J. Dosem, D. Basin, T. Lodderstedt<br/> <a href="http://doi.acm.org/10.1145/1125808.1125810"><em>Model Driven Security: from UML Models to Access Control Infrastructures</em></a></p> <p>C. Snook, M. Butler<br/> <a href="http://doi.acm.org/10.1145/1125808.1125811"><em>UML-B: Formal modelling and design aided by UML</em></a> </p> 2006-07-01 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>S. Krishnamurthi, K. Fisler<br/> <em>Foundations of Incremental Aspect Model-Checking</em></p> <p>M. Harman, N Gold, D. Binkley<br/> <em>An Empirical Study of Static Program Slice Size</em></p> <p>G. Snelting, T. Robschink, J. Krinke<br/> <em>Efficient Path Conditions in Dependence Graphs for Software Safety Analysis</em></p> 2006-06-30 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>Q. Xie, A. Memon<br/> <em>Designing and Comparing Automated Test Oracles for GUI-based Software Applications</em></p> 2006-03-16 Mattia Monga TOSEM Volume 14, Number 4 (October 2005) http://www.acm.org/tosem/Current.html#last

TOSEM Volume 14, Number 4 (October 2005)

<p>J. Estublier, D. Leblang, A. van der Hoek, R. Conradi, G. Clemm, W. Tichy, D. Wiborg-Webe <br/> <a href="http://doi.acm.org/10.1145/1101815.1101817"><em>Impact of Software Engineering Research on the Practice of Software Configuration Management</em></a></p> <p>B. Ryder, M. L. Soffa, M. Burnett<br/> <a href="http://doi.acm.org/10.1145/1101815.1101818"><em>The Impact of Software Engineering Research on Modern Programming Languages</em></a> </p> <p>M. Frias, C. L. Pombo, G. Baum, N. Aguirre, T. Maibaum<br/> <a href="http://doi.acm.org/10.1145/1101815.1101819"><em>Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach</em></a></p> 2005-02-01 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>R. Hierons<br/> <em>Avoiding Coincidental Correctness in Boundary Value Analysis</em></p> <p>W. Zhao, L. Zhang, Y. Liu, J. Sun, F. Yang<br/> <em>SNIAFL: Towards a Static Non-Interactive Approach to Feature Location</em></p> <p>P. Thiran, J. Hainaut, G. Houben, D. Benslimane<br/> <em>Wrapper-based Evolution of Legacy Information Systems</em></p> <p>M. Brambilla,S. Ceri, P. Fraternali, I. Manolescu<br/> <em>Process Modeling in Web Applications</em><p> <p>M. Robillard, G. Murphy<br/> <em>Representing Concerns in Source Code</em></p> <p>A. Sinha, C. Smidtsz<br/> <em>HOTTest: A Model Based Test Design Technique for Enhanced Testing of Domain Specific Applications</em></p> <p>A. Murphy,G. P. Picco, G. Roman<br/> <em>Lime: A Coordination Model and Middleware Supporting Mobility of Hosts and Agents</em></p> 2006-01-10 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>C. Snook, M. Butler<br/> <em>UML-B: Formal modelling and design aided by UML</em> </p> 2005-11-10 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>G. Rothermel<br/> <em>Integrating Automated Test Generation into the WYSIWYT Spreadsheet Testing Methodology </em> </p> 2005-10-20 Mattia Monga TOSEM Volume 14, Number 3 (July 2005) http://www.acm.org/tosem/Current.html#last <h2><a id="last"> TOSEM Volume 14, Number 3 (July 2005) </a></h2> <p>Man Fai Lau, Yuen Tak Yu<br/> <a href="http://doi.acm.org/10.1145/1072997.1072998"><em>An Extended Fault Class Hierarchy for Specification-Based Testing</em></a></p> <p>V. Gervasi, D. Zowghi<br/> <a href="http://doi.acm.org/10.1145/1072997.1072999"><em>Reasoning about Inconsistencies in Natural Language Requirements</em></a></p> <p>P. Klint, R. Laemmel, C. Verhoef<br/> <a href="http://doi.acm.org/10.1145/1072997.1073000"><em>Towards an engineering discipline for grammarware</em></a></p> 2005-10-15 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>S. Counsell, J. Crampton, S. Swift<br/> <em>The Interpretation and Utility of Three Cohesion Metrics for Object-Oriented Design</em></p> <p>B. Ryder, M. L. Soffa, M. Burnett<br/> <em>The Impact of Software Engineering Research on Modern Programming Languages</em> </p> 2005-09-01 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>M. Frias, C. L. Pombo, G. Baum, N. Aguirre, T. Maibaum<br/> <em>Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach</em></p> 2005-08-25 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>J. Dosem, D. Basin, T. Lodderstedt<br/> <em>Model Driven Security: from UML Models to Access Control Infrastructures</em></p> 2005-08-1 Mattia Monga TOSEM Volume 14, Number 2 (April 2005) http://www.acm.org/tosem/Current.html#last <h2><a id="last"> TOSEM Volume 14, Number 2 (April 2005) </a></h2> <p>J. Berstel, S. Crespi Reghizzi, G. Roussel, P. San Pietro<br/> <a href="http://doi.acm.org/10.1145/1061254.1061256" ><em>A Scalable Formal Method for Design and Automatic Checking of User Interfaces</em></a></p> <p>M. Erwig, Z. Fu<br/> <a href="http://doi.acm.org/10.1145/1061254.1061257" ><em>Software Reuse for Scientific Computing Through Program Generation</em></a></p> <p>E. Dashofy, A. van der Hoek, R. Taylor<br/> <a href="http://doi.acm.org/10.1145/1061254.1061258" ><em>A Comprehensive Approach for the Development of Modular Software Architecture Description Languages</em></a></p> 2005-05-30 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>R. Laemmel, P. Klint, C. Verhoef<br/> <em>Towards an engineering discipline for grammarware</em></p> 2005-04-11 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>J. Berstel, S. Crespi Reghizzi, G. Roussel, P. San Pietro<br/> <em>A Scalable Formal Method for Design and Automatic Checking of User Interfaces</em></p> 2005-03-08 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>V. Gervasi, D. Zowghi<br/> <em>Reasoning about Inconsistencies in Natural Language Requirements</em></p> 2005-03-04 Mattia Monga TOSEM Volume 14, Number 1 (January 1) http://www.acm.org/tosem/Current.html#last <h2><a id="last"> TOSEM Volume 14, Number 1 (January 2005) </a></h2> <p>A. Milanova, A. Rountev, B. G. Ryder,<br/> <a href="http://doi.acm.org/10.1145/1044834.1044835"><em>Parameterized Object Sensitivity for Points-to Analysis for Java</em></a></p> <p>M. Pezze, L. Baresi<br/> <a href="http://doi.acm.org/10.1145/1044834.1044836" ><em>Formal Interpreters for Diagram Notations</em></a></p> <p>I. Sommerville, J. Ransom<br/> <a href="http://doi.acm.org/10.1145/1044834.1044837" ><em>An Industrial Experiment in Requirements Engineering Process Assessment and Improvement</em></a></p> 2005-03-01 Mattia Monga TOSEM Volume 13, Number 4 (October 2004) http://www.acm.org/tosem/Current.html#last <p>M. Dwyer, L. Clarke, J. Cobleigh, G. Naumovich <br/> <a href="http://doi.acm.org/10.1145/1040291.1040292" ><em>Flow Analysis for Verifying Properties of Concurrent Software Systems</em></a></p> <p>G. Costagliola, V. Deufemia, G. Polese <br/> <a href="http://doi.acm.org/10.1145/1040291.1040293" ><em>A Framework for Modelling and Implementing Visual Notations with Applications to Software Engineering</em></a></p> 2005-01-25 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>J. Estublier, D. Leblang, A. van der Hoek, R. Conradi, G. Clemm, W. Tichy, D. Wiborg-Webe <br/> <em>Impact of Software Engineering Research on the Practice of Software Configuration Management</em></p> 2005-01-25 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>M. Erwig, Z. Fu<br/> <em>Software Reuse for Scientific Computing Through Program Generation</em></p> <p>E. Dashofy, A. van der Hoek, R. Taylor<em>A Comprehensive Approach for the Development of Modular Software Architecture Description Languages</em></p> 2005-01-28 Mattia Monga TOSEM Volume 13, Number 3 (July 2004) http://www.acm.org/tosem/Current.html#last <p>G. Rothermel, S. Elbaum, A. Malishevsky, P. Kallakuri, X. Qiu, <br/> <a href="http://doi.acm.org/10.1145/1027092.1027093" ><em>On Test Suite Composition and Cost-Effective Regression Testing</em></a></p> <p>S. Kramer, H. Kaindl,<br/> <a href="http://doi.acm.org/10.1145/1027092.1027094" ><em>Coupling and Cohesion Metrics for Knowledge-Based Systems Using Frames and Rules</em></a></p> 2004-10-10 Mattia Monga TOSEM Volume 13, Number 2 (April 2004) http://www.acm.org/tosem/Current.html#last <p>T. Agkul, V. J. Mooney,<br/> <a href="http://doi.acm.org/10.1145/1018210.1018211" ><em>Assembly Instruction Level Reverse Execution for Debugging</em></a></p> <p>A. Orso, S. Sinha, M. J. Harrold, <br/> <a href="http://doi.acm.org/10.1145/1018210.1018212" ><em>Understanding Data Dependences in the Presence of Pointers</em></a></p> <p>R. Roshandel, A. Van der Hoek, M. Mikic-Rakic, N. Medvidovic,<br/> <a href="http://doi.acm.org/10.1145/1018210.1018213" ><em>Mae: a System Model and Environment for Managing Architectural Evolution</em></a></p> 2004-10-1 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>I. Sommerville, J. Ransom<br/> <em>An Industrial Experiment in Requirements Engineering Process Assessment and Improvement</em></p> <p>M. Pezze, L. Baresi<br/> <em>Formal Interpreters for Diagram Notations</em></p> <p>Man Fai Lau, Yuen Tak Yu<br/> <em>An Extended Fault Class Hierarchy for Specification-Based Testing</em></p> 2004-10-1 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>R. Roshandel, A. Van der Hoek, M. Mikic-Rakic, N. Medvidovic,<br/> <em>Mae: a System Model and Environment for Managing Architectural Evolution</em></p> 2004-09-01 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>M. Dwyer, L. Clarke, J. Cobleigh, G. Naumovich <em>Flow Analysis for Verifying Properties of Concurrent Software Systems</em></p> <p>A. Milanova, A. Rountev, B. G. Ryder, <em>Parameterized Object Sensitivity for Points-to Analysis for Java</em></p> 2004-08-19 Mattia Monga TOSEM Volume 13, Number 1 (January 2004) http://www.acm.org/tosem/Current.html#last <p>P. Zave <br/> <a href="http://doi.acm.org/10.1145/1005561.1005562" ><em>Address Translation in Telecommunication Features</em></a></p> <p>S. Uchitel, J. Kramer, J. Magee, <br/> <a href="http://doi.acm.org/10.1145/1005561.1005563" ><em>Incremental Elaboration of Scenario-Based Specifications and Behaviour Models using Implied Scenarios</em></a></p> <p>N. Venkatasubramanian, G. Agha, C. Talcott <br/> <a href="http://doi.acm.org/10.1145/1005561.1005564"><em>A Formal Model for Reasoning About Adaptative QoS-Enabled Middleware</em></a></p> 2004-08-15 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>G. Rothermel, S. Elbaum, A. Malishevsky, P. Kallakuri, X. Qiu, <em>On Test Suite Composition and Cost-Effective Regression Testing</em></p> 2004-06-22 Mattia Monga TOSEM Volume 12, Number 4 (October 2003) http://www.acm.org/tosem/Current.html#last <p>M. Chechik, B. Devereux, S. Easterbrook, A. Gurfinkel <br/> <em>Multi-Valued Symbolic Model-Checking</em></p> <p>T. Miller, P. Strooper <br/> <em>A Framework and Tool Support for the Systematic Testing of Model-Based Specifications</em></p> <p>G. Ferrari, S. Gnesi, U. Montanari, M. Pistone <br/> <em>A model checking verification environment for mobile processes</em></p> 2004-06-07 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>T. Agkul, V. J. Mooney,<br/> <em>Assembly Instruction Level Reverse Execution for Debugging</em></p> <p>A. Orso, S. Sinha, M. J. Harrold, <em>Understanding Data Dependences in the Presence of Pointers</em></p> 2004-06-7 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>S. Kramer, H. Kaindl,<br/> <em>Coupling and Cohesion Metrics for Knowledge-Based Systems Using Frames and Rules</em></p> <p>R. Roshandel, A. Van der Hoek, M. Mikic-Rakic, N. Medvidovic,<br/> <em>Mae: a System Model and Environment for Managing Architectural Evolution</em></p> 2004-05-3 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>S. Uchitel, J. Kramer, J. Magee, <br/> <em>Incremental Elaboration of Scenario-Based Specifications and Behaviour Models using Implied Scenarios</em></p> 2004-01-30 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>P. Zave <br/> <em>Address Translation in Telecommunication Features</em></p> 2004-01-30 Mattia Monga TOSEM Volume 12, Number 3 (July 2003) http://www.acm.org/tosem/Current.html#last <p>Y. Cohen and Y. A. Feldman <br> <em><a href="http://doi.acm.org/10.1145/958961.958962">Automatic High-Quality Reengineering of Database Programs by Abstraction, Transformation, and Re-implementation</a></em></p> <p>F. Zambonelli, N. R. Jennings, and M. Wooldridge, <br> <em><a href="http://doi.acm.org/10.1145/958961.958963">Developing Multiagent Systems: the Gaia Methodology</a></em></p> 2004-01-20 Mattia Monga TOSEM Volume 12, Number 2 (April 2003) http://www.acm.org/tosem/Current.html#last <p>A. Coen Porisini, M. Pradella, M. Rossi, D. Mandrioli <br> <em><a href="http://doi.acm.org/10.1145/941566.941567" >A Formal Approach for Designing CORBA-Based Applications</a></em></p> <p>M. G. J. Van Den Brand, P. Klint, J. J. Vinju<br> <em><a href="http://doi.acm.org/10.1145/941566.941568" >Term Rewriting with Traversal Functions</a></em></p> <p>G. C. Murphy, M. Robillard <br> <em><a href="http://doi.acm.org/10.1145/941566.941569" >Static Analysis to Support the Evolution of Exception Structure in Object-oriented Systems</a></em></p> <p>L. Durante, R. Sisto, A. Valenzano <br> <em><a href="http://doi.acm.org/10.1145/941566.941570" >Automatic testing equivalence verification of spi-calculus specifications</a></em></p> 2003-10-23 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>N R. Jennings, M. Wooldridge, F. Zambonelli <br> <em>Developing Multiagent Systems: the Gaia Methodology</em>< /p> 2003-10-04 Mattia Monga New paper accepted for publication http://www.acm.org/tosem/Upcoming.html <p>Y. Cohen and Y. A. Feldman <br> <em>Automatic High-Quality Reengineering of Database Programs by Abstraction, Transformation, and Re-implementation</em></p> 2003-09-17 Mattia Monga TOSEM Volume 12, Number 1 (January 2003) http://www.acm.org/tosem/Current.html#last <p>A. P. Felty, and K. S. Namjoshi<br> <em><a href="http://doi.acm.org/10.1145/839268.839270" >Feature Specification and Automated Conflict Detection</a></em></p> <p>C. Nentvich, W. Emmerich, A. Finkelstein, and E. Ellmer<br> <em><a href="http://doi.acm.org/10.1145/839268.839271" >Flexible Consistency Checking</a></em></p> <p>A. Lopes, M. Wermelinger, J. L. Fiadeiro <br> <em><a href="http://doi.acm.org/10.1145/839268.839272">Higher-Order Architectural Connectors</a></em></p> 2003-08-03 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>V Nalini, G. Agha, C. Talcott <br> <em>A formal Model for Reasoning About Adaptative QoS-Enabled Middleware</em></p> <p>G Ferrari, S Gnesi, U. Montanari, M. Pistone <br> <em>A model checking verification environment for mobile processes</em></p> 2003-11-29 Mattia Monga New papers accepted for publication http://www.acm.org/tosem/Upcoming.html <p>T. Miller, P. Strooper <br> <em>A Framework and Tool Support for the Systematic Testing of Model-Based Specifications</em></p> <p>M. Chechik, B. Devereux, S. Easterbrook, A. Gurfinkel <br> <em>Multi-Valued Symbolic Model-Checking</em></p> 2003-12-12 Mattia Monga