Leonardo Mariani's publications


Sort by: [Research category] [year]

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

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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

[ PDF ] [ 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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]