's publications


Sort by: [Research category] [year]

Years: [2017] [2016] [2015] [2014] [2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000]

2017

F. Pastore and D. Micucci and L. Mariani. Timed k-Tail: Automatic Inference of Timed Automata. Proceedings of 10th IEEE International Conference on Software Testing Verification and Validation (ICST), 2017

[ PDF ] [ BIBTEX ]

O. Cornejo and D. Briola and D. Micucci and L. Mariani. In The Field Monitoring of Interactive Applications. Proceedings of the International Conference on Software Engineering (ICSE) NIER Track, 2017

[ PDF ] [ BIBTEX ]

2016

F. Pastore and L. Mariani. Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods Verification and Validation RVE: Runtime Verification and Enforcement the (industrial) application perspective track, 2016

[ PDF ] [ BIBTEX ]

O. Riganelli and L. Mariani and D. Micucci. Healing Data Loss Problems in Android Apps. Proceedings of the First International Workshop on Software Faults (IWSF) co-located with the International Symposium on Software Reliability Engineering (ISSRE), 2016

[ PDF ] [ BIBTEX ]

2015

Fabrizio Pastore and Leonardo Mariani. ZoomIn: Discovering Failures by Detecting Wrong Assertions. Proceedings of the International Conference on Software Engineering, 2015

[ PDF ] [ BIBTEX ]

Leonardo Mariani and Pezzè and Daniele Zuddas. Recent Advances in Automatic Black-Box Testing. Advances in Computers, 2015, pp. 157--193,

[ BIBTEX ]

2014

Fabrizio Pastore and Leonardo Mariani and Antti Hyvarinen and Grigory Fedyukovich and Natasha Sharygina and Stephan Sehestedt and Ali Muhammad. Verification-Aided Regression Testing. Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2014

[ PDF ] [ BIBTEX ]

Leonardo Mariani and Mauro Pezze and Oliviero Riganelli and Mauro Santoro. Link: Exploiting the Web of Data to Generate Test Inputs. Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2014

[ PDF ] [ BIBTEX ]

L. Mariani and Mauro Pezze and Oliviero Riganelli and Mauro Santoro. Automatic testing of GUI-based applications. Wiley, Software Testing Verification and Reliability (STVR), 2014 (to appear),

[ BIBTEX ]

Daniele Zuddas and Wei Jin and Fabrizio Pastore and Leonardo Mariani and Alessandro Orso. MIMIC: Locating and Understanding Bugs by Analyzing Mimicked Executions. Proceedings of the International Conference on Automated Software Engineering (ASE), 2014

[ PDF ] [ BIBTEX ]

L. Mariani and D. Micucci and F. Pastore. Early Conflict Detection with Mined Models. Proceedings of the International Symposium on Software Reliability Engineering (ISSRE) Fast Abstract, 2014

[ PDF ] [ BIBTEX ]

Pietro Braione and Giovanni Denaro Andrea Mattavelli and Mattia Vivanti and Ali Muhammad. Software testing with code-based test generators: and lessons learned from a case study with an industrial software component. Software Quality Journal, 2014, pp. 311--333,

[ BIBTEX ]

2013

F. Pastore and L. Mariani and G. Fraser. CrowdOracles: Can the Crowd Solve the Oracle Problem. Proceedings of the International Conference on Software Testing Verification and Validation (ICST), 2013

[ PDF ] [ BIBTEX ]

H. Chockler and G. Denaro and M. Ling and G. Fedyukovich and A. E. J. Hyvrinen and L. Mariani and A. Muhammad and M. Oriol and A. Rajan and O. Sery and N. Sharygina and M. Tautsching. PINCETTE - Validating Changes and Upgrades in Networked Software. Proceedings of the 17th European Conference on Software Maintenance and Reengineering - EU Projects Track, 2013

[ PDF ] [ BIBTEX ]

F. Pastore and L. Mariani and A. Goffi. RADAR: a Tool for Debugging Regression Problems in C/C++ Software. Proceedings of the International Conference on Software Engineering (ICSE) - Tool Demo Track, 2013

[ PDF ] [ BIBTEX ]

F. Pastore and L. Mariani. AVA: Supporting Debugging with Failure Interpretations. Proceedings of the International Conference on Software Testing Verification and Validation (ICST) - Tool Demo Track, 2013

[ PDF ] [ BIBTEX ]

L. Mariani and F. Pastore. MASH: Tool Integration Made Easy. Software: Practice and Experience, 2013, pp. 419-433,

[ PDF ] [ BIBTEX ]

H. Chang and L. Mariani and M. Pezze. Exception handlers for healing component-based systems. ACM Transactions on Software Engineering and Methodology (TOSEM), 2013

[ PDF ] [ BIBTEX ]

Pietro Braione and Giovanni Denaro and Mauro Pezzè. Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization. Proceedings of the $9^th$ Joint Meeting of the European Software Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013), 2013, pp. 411--421,

[ BIBTEX ]

2012

L. Mariani and D. Micucci. AuDeNTES: Automatic Detection of teNtative plagiarism according To a rEference Solution. ACM Transactions on Computing Education (TOCE), 2012, pp. 2:1-2:26,

[ BIBTEX ]

Luigi Lavazza and Sandro Morasca and Davide Taibi and Davide Tosi. An empirical investigation of perceived reliability of Open Source Java Programs. ACM, Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012), 2012 (to appear),

[ BIBTEX ]

Sandro Morasca and Davide Taibi and Davide Tosi. OSS-TMM: Guidelines for Improving the Testing Process of Open Source Software. International Journal of Open Source Software and Processes (IJOSSP), 2012 (to appear),

[ BIBTEX ]

G. Becce and L. Mariani and O. Riganelli and M. Santoro. Extracting Widget Descriptions from GUIs. Springer, proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE), 2012

[ PDF ] [ BIBTEX ]

L. Mariani and M. Pezze and O. Riganelli and M. Santoro. AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. proceedings of the Fifth International Conference on Software Testing Verification and Validation (ICST), 2012

[ PDF ] [ BIBTEX ]

Mehdi Mirzaaghaei and Fabrizio Pastore and Mauro Pezzè. Supporting Test Suite Evolution through Test Case Adaptation. ICST 12: Proceedings of the 5th International Conference on Software Testing Verification and Validation, 2012

[ BIBTEX ]

M. Ceccato and A. Marchetto and L. Mariani and C. D. Nguyen and P. Tonella. An Empirical Study about the Effectiveness of Debugging when Random Test Cases Are Used. IEEE Computer Society, proceedings of the 34th International Conference on Software Engineering (ICSE), 2012

[ PDF ] [ BIBTEX ]

L. Mariani and F. Pastore. MASH: a Tool For End-User Plug-In Composition. proceedings of the International Conference on Software Engineering (Formal Tool Demo), 2012

[ BIBTEX ]

L. Mariani and O. Riganelli and M. Santoro and M. Ali. G-RankTest: Regression Testing of Controller Applications. proceedings of the 7th International Workshop on Automation of Software Test (AST) co-located with the ACM/IEEE 34nd International Conference on Software Engineering (ICSE), 2012

[ PDF ] [ BIBTEX ]

Pietro Braione and Giovanni Denaro and Mauro Pezzè. On the Integration of Software Testing and Formal Analysis. Springer Berlin / Heidelberg, Empirical Software Engineering and Verification, 2012, pp. 158-193,

[ BIBTEX ]

Pietro Braione and Giovanni Denaro and Andrea Mattavelli and Mattia Vivanti and Ali Muhammad. An Industrial Case Study of the Effectiveness of Test Generators. Proceedings of the 7th Workshop on Automation of Software Test (AST 2012), 2012, pp. 50-56,

[ BIBTEX ]

F. Pastore and L. Mariani and A. Goffi and Manuel Oriol and Michael Wahler. Dynamic Analysis of Upgrades in C/C++ Software. proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2012

[ PDF ] [ BIBTEX ]

D. Lo and L. Mariani and M. Santoro. Learning extended FSA from software: An empirical assessment. Journal of Systems and Software, 2012, pp. 2063 - 2076,

[ PDF ] [ BIBTEX ]

L. Mariani and A. Marchetto and C. Nguyen and P. Tonella and A. Baars. Revolution: Automatic Evolution of Mined Specifications. proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2012

[ PDF ] [ BIBTEX ]

2011

Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè. Dynamic Analysis for Diagnosing Integration Faults. IEEE Transactions on Software Engineering, 2011, pp. 486--508,

[ BIBTEX ]

Gabriele Basilico and Luigi Lavazza and Sandro Morasca and Davide Taibi and Davide Tosi. OP2A: Assessing the Quality of the Portal of Open Source Software Products. Proceedings of the 7th International Conference on Web Information Systems and Technologies (WEBIST 2011), 2011 (to appear),

[ BIBTEX ]

L. Mariani and F. Pastore and M. Pezzè and M. Santoro. Mining Finite-State Automata with Annotations. CRC Press, Mining Software Specifications: Methodologies and Applications, 2011

[ BIBTEX ]

L. Mariani and M. Pezzè and O. Riganelli and M. Santoro. AutoBlackTest: A Tool for Automatic Black-Box Testing. proceedings of the International Conference on Software Engineering (ICSE) - Tool Demo, 2011

[ PDF ] [ BIBTEX ]

L. Mariani and F. Pastore. Supporting Plug-in Mashes to Ease Tool Integration. proceedings of the First International Workshop on Developing Tools as Plug-ins (TOPI) - colocated with the International Conference on Software Engineering (ICSE), 2011

[ PDF ] [ BIBTEX ]

Alessio Gambi and Giovanni Toffetti and Fabrizio Pastore and Mauro Pezzè. A Kriging-based Controller for the Cloud. ICAC 11: Proceedings of the 8th International Conference on Autonomic Computing (Demo paper), 2011

[ BIBTEX ]

Mauro Santoro. Inference of Behavioral Models that Support Program Analysis. 2011

[ BIBTEX ]

Luigi Lavazza and Sandro Morasca and Davide Taibi and Davide Tosi. OP2A: How to Improve the Quality of the Web Portal of Open Source Software Products. Springer, Springer book “Lecture Notes in Business Information Processing” (LNBIP) series, 2011 (to appear),

[ BIBTEX ]

Davide Tosi and Abbas Tahir. A Survey on How well-known Open Source Projects are Tested. Springer, Springer book “Communications in Computer and Information Science (CCIS) series, 2011 (to appear),

[ BIBTEX ]

Chiara Friso and Valentina Lenarduzzi and Davide Taibi and Davide Tosi. How Open Source Software Products Support Teaching in Italian Schools. Proceedings of the 5th European Conference on Information Management and Evaluation (ECIME 2011), 2011

[ BIBTEX ]

Mehdi Mirzaaghaei and Fabrizio Pastore. TestCareAssistant: Automatic Repair of Test Case Compilation Errors. Proc. of the Sixth Workshop of the Italian Eclipse Community Eclipse-IT 2011, 2011

[ BIBTEX ]

Giovanni Denaro and Davide Tosi. An Eclipse Plug-in for Engineering Service Interchangeability. Proc. of the Sixth Workshop of the Italian Eclipse Community Eclipse-IT 2011, 2011

[ BIBTEX ]

Mauro Baluda and Pietro Braione and Giovanni Denaro and Mauro Pezzè. Enhancing Structural Software Coverage by Incrementally Computing Branch Executability. Software Quality Journal, 2011, pp. 725--751,

[ BIBTEX ]

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, pp. 1001--1022,

[ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

Fabrizio Pastore. Automatic Diagnosis of Software Functional Faults by Means of Inferred Behavioral Models. 2010

[ BIBTEX ]

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, pp. 59--66,

[ BIBTEX ]

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

[ BIBTEX ]

Michael W. Whalen and P. Godefroid and L. Mariani and A. Polini and N. Tillmann and W. Visser. FITE: Future Integrated Testing Environment. ACM, proceedings of the Workshop on the Future of Software Engineering Research, 2010

[ PDF ] [ BIBTEX ]

M. Mirzaaghaei and F. Pastore and M. Pezzè. Automatically Repairing Test Cases for Evolving Method Declarations. ICSM 10: Proceedings of 26th IEEE International Conference on Software Maintenance, 2010

[ BIBTEX ]

Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè. kBehavior: Algorithms and Complexity. 2010

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

D. Tosi and G. Denaro and M. Pezzè. Towards Autonomic Service-Oriented Applications. International Journal of Autonomic Computing (IJAC), 2009, pp. 58--80,

[ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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),

[ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

M. Santoro. Detecting precise behavioral models. ACM, 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) - Doctoral Symposium, 2009

[ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

Leonardo Mariani and Mauro Pezzè. Testing Object Oriented Software. Wiley-IEEE Computer Society Press, 2008, chapter Emerging Methods Technologies and Process Management in Software Engineering

[ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

D. Tosi and G. Denaro and M. Pezzè. Experimental data on service interchangeability. 2008

[ PDF ] [ BIBTEX ]

Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè. Dynamic Analysis For Integration Faults Localization. 2008

[ PDF ] [ BIBTEX ]

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, pp. 246--260,

[ BIBTEX ]

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

[ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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, pp. 78--85,

[ PDF ] [ BIBTEX ]

L. Mariani and M. Pezzè. Dynamic Detection of COTS Components Incompatibility. IEEE Software, 2007, pp. 76--85,

[ PDF ] [ BIBTEX ]

Marc Lohmann and Leonardo Mariani and Reiko Heckel. Testing and Analysis of Web Services. springer, 2007, chapter A Model-Driven Approach to Discovery Testing and Monitoring of Web Services, pp. 173--204,

[ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

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, pp. 615--616,

[ BIBTEX ]

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, pp. 260,

[ BIBTEX ]

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, pp. 25--32,

[ PDF ] [ BIBTEX ]

Davide Tosi. Self-Managed Solutions for SOA-based Applications. PhD Thesis, 2006

[ BIBTEX ]

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

[ BIBTEX ]

Giovanni Denaro and Mauro Pezzè and Davide Tosi. Designing Self-Adaptive Service Oriented Applications. Aracne Editrice, 2006

[ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

Denaro G. and L. Lavazza and M. Pezzè. Metriche del software: Esperienze e ricerche. Franco Angeli, 2006, chapter Le Metriche Object-Oriented nelle Realtà Aziendali

[ BIBTEX ]

2005

Severine Colin and Leonardo Mariani. Model-based Testing of Reactive Systems. Springer Verlag, 2005, chapter Run-time Verification, pp. 525-556,

[ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

Leonardo Mariani. Behavior Capture and Test: Dynamic Analysis of Component-Based Systems. 2005

[ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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, pp. 569-578,

[ BIBTEX ]

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

[ BIBTEX ]

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, chapter Performance Testing of Distributed Component Architectures

[ BIBTEX ]

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

[ BIBTEX ]

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, pp. 78--80,

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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, pp. 337--350,

[ PDF ] [ BIBTEX ]

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, pp. 171-184,

[ PDF ] [ BIBTEX ]

Flavio DePaoli and Leonardo Mariani. Dependability in P2P Systems. IEEE Internet Computing, 2004, pp. 54--61,

[ PDF ] [ BIBTEX ]

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, pp. 231--244,

[ PDF ] [ BIBTEX ]

Denaro G. and M. Pezzè. Advances on Petri Nets. Springer-Verlag, 2004, chapter Petri Nets and Software Engineering

[ BIBTEX ]

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

[ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

Diego Bonura and Leonardo Mariani and Emanuela Merelli. Designing Modular Agent Systems. Net.ObjectDays 2003 (NODE03), 2003

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ BIBTEX ]

Denaro G. and S. Morasca and M. Pezzè. Towards Industrially Relevant Fault-Proneness Models. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2003

[ BIBTEX ]

Denaro G. and L. Lavazza and M. Pezzè. An Empirical Evaluation of Object-Oriented Metrics. 5th CaberNet Plenary Workshop, 2003

[ BIBTEX ]

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

[ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

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

[ BIBTEX ]

Denaro G. and M. Pezzè. An Empirical Evaluation of Fault-Proneness Models. Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), 2002

[ BIBTEX ]

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

[ BIBTEX ]

Denaro G. and M. Monga. An Experience on Verification of Aspect Properties. Proceedings of the International Workshop on Principles of Software Evolution (IWPSE01), 2001

[ BIBTEX ]

2000

Denaro G.. Estimating Software Fault-Proneness for Tuning Testing Activities. Proceedings of the 22nd International Conference on Software Engineering (ICSE2000) Doctoral Workshop, 2000

[ BIBTEX ]