LTA Publications
[2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000]
2010
Alessandra Gorla and Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè and Jochen Wuttke. Achieving Cost-Effective Software Reliability Through Self-Healing. Computing and Informatics, 2010
Leonardo Mariani and Mauro Pezze and Oliviero Riganelli and Mauro Santoro. SEIM: Static Inference of Interaction Models. ACM/IEEE, proceedings of the 2nd International Workshop on Principles of Engineering Service Oriented Systems (PESOS) workshop colocated with the 32nd International Conference of Software Engineerng (ICSE), 2010
Davide Tosi and Abbas Tahir. How developers test their Open Source Software Products. A survey of well-known OSS projects. Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT 2010), 2010
V. Del Bianco and L. Lavazza and S. Morasca and D. Taibi and D. Tosi. The QualiSPo approach to OSS product quality evaluation. ACM/IEEE, In Proceedings of the IEEE International Workshop on Free Libre Open Source Software (FLOSS) – Colocated with ICSE, 2010
V. Del Bianco and L. Lavazza and S. Morasca and D. Taibi and D. Tosi. A Survey on the Importance of Some Economic Factors in the Adoption of Open Source Software. Proceedings of the Software Engineering Research Management & Applications (SERA), 2010
S. Morasca and D. Taibi and D. Tosi. T-DOC: a Tool for the Automatic Generation of Testing Documentation for OSS Products. Proceedings of the IFIP International Conference on Open Source Software (OSS), 2010
V. Del Bianco and L. Lavazza and S. Morasca and D. Taibi and D. Tosi. An Investigation of the users’ perception of OSS quality. Proceedings of the IFIP International Conference on Open Source Software (OSS), 2010
L. Lavazza and S. Morasca and D. Taibi and D. Tosi. Applying SCRUM in an OSS Development Process: an Empirical Evaluation. Proceedings of the Agile International Conference (XP), 2010
Fabrizio Pastore. Automatic Diagnosis of Software Functional Faults by Means of Inferred Behavioral Models. 2010
Mauro Baluda and Pietro Braione and Giovanni Denaro and Mauro Pezzè. Structural Coverage of Feasible Code. Proceedings of 5th Workshop on Automation of Software Testing (AST 2010), 2010
L. Lavazza and S. Morasca and D. Taibi and D. Tosi. Predicting OSS Trustworthiness on the Basis of Elementary Code Assessment. ACM/IEEE, In Proceedings of the ACM/IEEE 4th Empirical Software Engineering and Measurement conference (ESEM 2010), 2010
2009
H. Chang and L. Mariani and M. Pezze. In-Field Healing of Integration Problems with COTS Components. Proceeding of the 31st International Conference on Software Engineering (ICSE), 2009
S. Morasca and D. Taibi and D. Tosi. Certifying the Testing Process of Open-Source Software: New Challenges or Old Methodologies?. Proceedings of the IEEE International Workshop on Free/Libre/Open Source Software (FLOSS) – Colocated with ICSE, 2009
Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè. A Toolset for Automated Failure Analysis. proceedings of the International Conference on Software Engineering (ICSE) - formal tool Demo, 2009
D. Tosi and G. Denaro and M. Pezzè. Towards Autonomic Service-Oriented Applications. International Journal of Autonomic Computing (IJAC), 2009
Anton Babenko and Leonardo Mariani and Fabrizio Pastore. AVA: Automated Interpretation of Dynamically Detected Anomalies. ACM, proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2009
L. Lavazza and S. Morasca and D. Taibi and D. Tosi. Verso un processo di certificazione dei portali web di progetti software open source. Proceedings of the National Conference on Free/Libre Software (CONFSL), 2009 (to appear),
David Lo and Leonardo Mariani and Mauro Pezzè. Automatic Steering of Behavioral Model Inference. proceedings of the 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2009
Denaro G. and Pezzè M and Tosi D. Ensuring Interoperable Service-oriented Systems through Engineered Self-Healing. ACM Press, Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2009), 2009
Denaro G. and Gorla A and Pezzè M. DaTeC: Contextual Data Flow Testing of Java Classes. Companion of the Proceedings of 31st International Conference on Software Engineering (ICSE 2009) Research Demo Track Vancouver Canada May 2009, 2009
Carzaniga A and Denaro G. and Estublier J and Pezzè M and Wolf A. Toward Deeply Adaptive Societies of Digital Systems. Companion of the Proceedings of 31st International Conference on Software Engineering (ICSE 2009) Track on New Ideas and Emerging Results Vancouver Canada May 2009, 2009
2008
Davide Lorenzoli and Leonardo Mariani and Mauro Pezzè. Automatic Generation of Software Behavioral Models. IEEE Computer Society, 30th International Conference on Software Engineering (ICSE), 2008
Leonardo Mariani and Fabrizio Pastore. Automated Identification of Failure Causes in System Logs (ISSRE). IEEE Computer Society, proceedings of the International Symposium on Software Reliability Engineering, 2008
Leonardo Mariani and Mauro Pezzè. Testing Object Oriented Software. Wiley-IEEE Computer Society Press, 2008
Leen Lambers and Leonardo Mariani and Hartmut Ehrig and Mauro Pezzè. A Formal Framework for Developing Adaptable Service-Based Applications. proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE), 2008
Hervè Chang and Leonardo Mariani and Mauro Pezzè. Self-Healing Strategies for Component Integration Faults. IEEE Computer Society, proceedings of the International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS), 2008
D. Tosi and G. Denaro and M. Pezzè. Experimental data on service interchangeability. 2008
Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè. Dynamic Analysis For Integration Faults Localization. 2008
Denaro G. and A. Gorla and M. Pezzè. Contextual Integration Testing of Classes. Springer, Proceedings of the International Symposium on the Fundamental Approaches to Software Engineering, 2008
Braione P and Denaro G. and Krena B and Pezzè M. Verifying LTL Properties of Bytecode with Symbolic Execution. Proceedings of the 2nd Workshop on Bytecode Semantics Verification Analysis and Transformation (Bytecode 2008) Budapest Hungary April 2008, 2008
2007
Davide Lorenzoli and Leonardo Mariani and Mauro Pezzè. Towards Self-Protecting Enterprise Applications. 18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007), 2007
Davide Lorenzoli and Davide Tosi and Salvatore Venticinque and Rosanna Micillo. Designing Multi-Layers Self-Adaptive Complex Applications. ACM, proceedings of the ACM Workshop on Software Quality Assurance (SOQUA) held in conjunction with the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), 2007
Domenico Cotroneo and Roberto Pietrantuono and Leonardo Mariani and Fabrizio Pastore. Investigation of failure causes in workload-driven reliability testing. ACM, Fourth international workshop on Software quality assurance (SOQUA 07), 2007
L. Mariani and M. Pezzè. Dynamic Detection of COTS Components Incompatibility. IEEE Software, 2007
Marc Lohmann and Leonardo Mariani and Reiko Heckel. Testing and Analysis of Web Services. springer, 2007
Leonardo Mariani and Sofia Papagiannakis and Mauro Pezzè. Compatibility and Regression Testing of COTS-component-based Software. proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Leen Lambers and Hartmut Ehrig and Leonardo Mariani and Mauro Pezzè. Iterative Model-driven Development of Adaptable Service-Based Applications. proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2007
Giovanni Denaro and Mauro Pezzè and Davide Tosi. Designing Self-Adaptive Service-Oriented Applications. IEEE Computer Society, proceedings of the IEEE International Conference on Autonomic Computing (ICAC Short Paper), 2007
Davide Tosi and Roberto Bisiani. A Platform to Support Anytime Anywhere Just-for-me M-Learning. IEEE Computer Society, proceedings of the IEEE International Conference on Advanced Learning Technologies (ICALT), 2007
Giovanni Denaro and Mauro Pezzè and Davide Tosi. SHIWS: A Self-Healing Integrator for Web Services. IEEE Computer Society, proceedings of the IEEE International Conference on Software Engineering (ICSE Demo Track), 2007
Denaro G. and Pezzè M and Shehory O. Proceedings of the Fourth International Workshop on Software Quality Assurance (SOQUA 2007). In conjunction with the 6th ESEC/FSE joint meeting Dubrovnik Croatia September 2007. ACM Press, 2007
Denaro G. and Pezzè M and Shehory O. SOQUA 2007 4th international workshop on software quality assurance. ACM Press, The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers, 2007
Denaro G. and Zhi Quan Zhou and Scholz B. Automated Software Testing and Analysis: Techniques Practices and Tools. IEEE Computer Society, Proceedings of the 40th Annual Hawaii International Conference on System Sciences, 2007
2006
Davide Lorenzoli and Leonardo Mariani and Mauro Pezzè. Inferring state-based behavior models. ACM Press, 4th International Workshop on Dynamic Analysis (WODA 2006) co-located with the 28th International Conference on Software Engineering (ICSE 2006), 2006
Davide Tosi. Self-Managed Solutions for SOA-based Applications. PhD Thesis, 2006
Davide Lorenzoli and Stefano Mussino and Mauro Pezzè and Daniela Schilling and Andrea Sichel and Davide Tosi. A SOA-based Self-Adaptive Personal Mobility Manager. IEEE Computer Society, proceedings of the IEEE Conference on Service Computing (SCC Contest). Winner of the 3rd place as best paper, 2006
Giovanni Denaro and Mauro Pezzè and Davide Tosi. Designing Self-Adaptive Service Oriented Applications. Aracne Editrice, 2006
Giovanni Denaro and Mauro Pezzè and Daniela Schilling and Davide Tosi. Towards Self-Adaptive Service-Oriented Architectures. IEEE Computer Society, proceedings of the IEEE Workshop on Testing Analysis and Verification of Web Services and Applications (TAV-WEB) held in conjunction with the IEEE International Symposium on Software Test and Analysis (ISSTA), 2006
Davide Tosi. Towards Self-Managed Integration of Web Services. IEEE Computer Society, proceedings of the IEEE International Symposium on Software Test and Analysis (ISSTA Doctoral Symposium), 2006
Denaro G. and L. Lavazza and M. Pezzè. Metriche del software: Esperienze e ricerche. Franco Angeli, 2006
2005
Severine Colin and Leonardo Mariani. Model-based Testing of Reactive Systems. Springer Verlag, 2005
Leonardo Mariani and Mauro Pezzè. Behavior Capture and Test: Automated Analysis of Component Integration. proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, 2005
Giovanni Denaro and Leonardo Mariani and Mauro Pezzè and Davide Tosi. Adaptive Runtime Verification for Autonomic Communication Infrastructures. IEEE Computer, proceedings of the 1st IEEE Workshop on Autonomic Communications and Computing held in conjunction with the IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks (WoWMoM), 2005
Leonardo Mariani. Behavior Capture and Test: Dynamic Analysis of Component-Based Systems. 2005
Reiko Heckel and Leonardo Mariani. Automatic Conformance Testing of Web Services. Springer-Verlag, proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (FASE 2005), 2005
Leonardo Mariani. Fault-Tolerant Routing for P2P Systems with Unstructured Topology. IEEE Computer Society, proceedings of the 2005 International Symposium on Applications and the Internet (SAINT 2005), 2005
Mauro Pezzè and Davide Tosi and Gian Pietro Picco. Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. IEEE Computer Society, proceedings of the IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2005
Giovanni Denaro and Mauro Pezzè and Davide Tosi. Adaptive Integration of Third-Party Web Services. IEEE Computer Society, proceedings of the IEEE Workshop on Design and Evolution of Autonomic Application Software (DEAS) held in conjunction with the IEEE International Conference on Software Engineering (ICSE), 2005
Denaro G. and A. Polini and W. Emmerich. Performance Testing of Distributed Component Architectures. In Building Quality into COTS Components: Testing and Debugging. Springer-Verlag, 2005
Baldini A and Denaro G. and Lipari G and Pezzè M and Rossi M and Rogai D. QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. Elsevier, Proceedings of the 2nd International Workshop on Test and Analysis of Component-Based Systems (TACoS 2004) Electronic Notes on Theoretical Computer Science Vol. 116 January 2005, 2005
2004
Leonardo Mariani. Behavior Capture and Test for Verifying Evolving Component-Based Systems. IEEE Computer Society, proceedings of 26th International Conference on Software Engineering ICSE Doctoral Symposium, 2004
Leonardo Mariani and Mauro Pezzè. A Technique for Verifying Component-Based Software. Elsevier, proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS) satellite workshop at the European Joint Conferences on Theory and Practice of Software (ETAPS), 2004
Reiko Heckel and Leonardo Mariani. Component Integration Testing by Graph Transformations. ISCA International Conference on Computer Science Software Engineering Information Technology e-Business and Applications (CSITeA), 2004
Leonardo Mariani and Mauro Pezzè and David Willmor. Generation of Selft-Test Components. Springer, proceedings of the 1st International Workshop on Integration of Testing Methodologies FORTE 2004 Workshops, 2004
Giovanni Denaro and Leonardo Mariani. Towards Testing and Analysis of Systems that Use Serialization. Elsevier, International Workshop on Test and Analysis of Component Based Systems (TACoS) satellite workshop at the European Joint Conferences on Theory and Practice of Software (ETAPS), 2004
Flavio DePaoli and Leonardo Mariani. Dependability in P2P Systems. IEEE Internet Computing, 2004
Flavio Corradini and Leonardo Mariani and Emanuela Merelli. An Agent-Based Layered Middleware as Tool Integration. International Journal on Software Tools for Technology Transfer (STTT) - special section on tool integration applications and frameworks Springer-Verlag, 2004
Denaro G. and M. Pezzè. Advances on Petri Nets. Springer-Verlag, 2004
Denaro G. and A. Polini and W. Emmerich. Early Performance Testing of Distributed Software Applications. Proceedings of the 4th International Workshop on Software and Performance (WOSP 2004), 2004
2003
Leonardo Mariani and Mauro Pezzè. Behavior Capture and Test for Controlling the Quality of Component-Based Integrated Systems. proceedings of Tool-Integration in System Development Workshop at the 9th European Software Engineering Conference and the 10th International Symposium on Foundations of Software Engineering (ESEC/FSE), 2003
Leonardo Mariani. A Fault Taxonomy for Component-Based Software. Elsevier, International Workshop on Test and Analysis of Component Based Systems (TACOS) satellite workshop at the European Joint Conferences on Theory and Practice of Software (ETAPS), 2003
Giovanni Denaro and Leonardo Mariani and Mauro Pezzè. Selft-Test Components for Highly Reconfigurable Systems. Elsevier, International Workshop on Test and Analysis of Component Based Systems (TACOS) satellite workshop at the European Joint Conferences on Theory and Practice of Software (ETAPS), 2003
Diego Bonura and Leonardo Mariani and Emanuela Merelli. Designing Modular Agent Systems. Net.ObjectDays 2003 (NODE03), 2003
Ezio Bartocci and Leonardo Mariani and Emanuela Merelli. An XML View of the World. proceedings of the 5th International Conference on Enterprise Information Systems (ICEIS), 2003
Flavio Corradini and Leonardo Mariani and Emanuela Merelli. An Agent-Based Layered Middleware as Tool Integration. proceedings of Tool-Integration in System Development Workshop at the 9th European Software Engineering Conference and the 10th International Symposium on Foundations of Software Engineering (ESEC/FSE), 2003
Davide Tosi. An Advanced Architecture for Push Services. IEEE Computer Society, proceedings of the IEEE Workshop on Multichannel and Mobile Information Systems held in conjunction with the IEEE International Conference on Web Information Systems Engineering Workshops (WISEW), 2003
Denaro G. and S. Morasca and M. Pezzè. Towards Industrially Relevant Fault-Proneness Models. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2003
Denaro G. and L. Lavazza and M. Pezzè. An Empirical Evaluation of Object-Oriented Metrics. 5th CaberNet Plenary Workshop, 2003
A. Baldini and Denaro G. and M. Pezzè and P. Prinetto. Design for Testability for Highly Reconfigurable Component-Based Systems. Proceedings of the International Workshop on Test and Analysis of Component-Based Systems (TACoS 2003), 2003
2002
Emanuela Merelli and Rosario Culmone and Leonardo Mariani. BioAgent: A Mobile Agent System for Bioscientists. proceedings of the workshop NETTAB02 - Agents in Bioinformatics, 2002
Leonardo Mariani and Emanuela Merelli. Agent Reactive Component for SMART. proceedings of the Third International Symposium - From Agent Theory to Agent Implementation - at the Sixteenth European Meeting on Cybernetics and Systems Research, 2002
Denaro G. and S. Morasca and M. Pezzè. Deriving Models of Software Fault-Proneness. Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering (SEKE 2002), 2002
L. Baresi and Denaro G. and L. Mainetti and P. Paolini. Assertions to Better Specify the Amazon Bug. Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering (SEKE 2002), 2002
Denaro G. and M. Pezzè. An Empirical Evaluation of Fault-Proneness Models. Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), 2002
2001
A. Coen-Porisini and Denaro G. and C. Ghezzi and M. Pezzè. Using Symbolic Execution for Verifying Safety-Critical Systems. Proceedings of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2001), 2001
Denaro G. and M. Monga. An Experience on Verification of Aspect Properties. Proceedings of the International Workshop on Principles of Software Evolution (IWPSE01), 2001
2000
Denaro G.. Estimating Software Fault-Proneness for Tuning Testing Activities. Proceedings of the 22nd International Conference on Software Engineering (ICSE2000) Doctoral Workshop, 2000
