Leonardo Mariani

According to our database1, Leonardo Mariani authored at least 93 papers between 2003 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Runtime Failure Prevention and Reaction.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Random or evolutionary search for object-oriented test suite generation?
Softw. Test., Verif. Reliab., 2018

Increasing the Reusability of Enforcers with Lifecycle Events.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

The Next Generation Platform as a Service Cloudifying Service Deployments in Telco-Operators Infrastructure.
Proceedings of the 25th International Conference on Telecommunications, 2018

Localizing Faults in Cloud Systems.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Cloudhealth: a model-driven approach to watch the health of cloud services.
Proceedings of the 1st International Workshop on Software Health, 2018

Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles.
Proceedings of the 40th International Conference on Software Engineering, 2018

Automatic software repair: a survey.
Proceedings of the 40th International Conference on Software Engineering, 2018


2017
GK-Tail+ An Efficient Approach to Learn Software Models.
IEEE Trans. Software Eng., 2017

The central role of test automation in software quality assurance.
Software Quality Journal, 2017

Fragmented Monitoring.
Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

BDCI: behavioral driven conflict identification.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

VART: a tool for the automatic detection of regression faults.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Verifying Policy Enforcers.
Proceedings of the Runtime Verification - 17th International Conference, 2017

An Exploratory Study of Field Failures.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Timed k-Tail: Automatic Inference of Timed Automata.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Policy Enforcement with Proactive Libraries.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

In the Field Monitoring of Interactive Application.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

2016
Numerical evaluation of the low Reynolds turbulent flow behaviour in a bioreactor.
IJSPM, 2016

Healing Data Loss Problems in Android Apps.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015
Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency.
ACM Trans. Softw. Eng. Methodol., 2015

Recent Advances in Automatic Black-Box Testing.
Advances in Computers, 2015

10th International Workshop on Automation of Software Test (AST 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

ZoomIn: Discovering Failures by Detecting Wrong Assertions.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2nd International Workshop on Crowd Sourcing in Software Engineering (CSI-SE 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Regression Checking of Changes in C Software.
Proceedings of the Validation of Evolving Software, 2015

RADAR: Dynamic Analysis of Upgrades in C/C++ Software.
Proceedings of the Validation of Evolving Software, 2015

G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software.
Proceedings of the Validation of Evolving Software, 2015

Complementarities Among the Technologies Presented in the Book.
Proceedings of the Validation of Evolving Software, 2015

Challenges of Existing Technology.
Proceedings of the Validation of Evolving Software, 2015

Introduction.
Proceedings of the Validation of Evolving Software, 2015

2014
Automatic testing of GUI-based applications.
Softw. Test., Verif. Reliab., 2014

MIMIC: locating and understanding bugs by analyzing mimicked executions.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Verification-aided regression testing.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Link: exploiting the web of data to generate test inputs.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Early Conflict Detection with Mined Models.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013
Preface.
J. Vis. Lang. Comput., 2013

Exception handlers for healing component-based systems.
ACM Trans. Softw. Eng. Methodol., 2013

MASH: tool integration made easy.
Softw., Pract. Exper., 2013

CrowdOracles: Can the Crowd Solve the Oracle Problem?
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

AVA: Supporting Debugging with Failure Interpretations.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

RADAR: a tool for debugging regression problems in C/C++ software.
Proceedings of the 35th International Conference on Software Engineering, 2013

PINCETTE - Validating Changes and Upgrades in Networked Software.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012
Learning extended FSA from software: An empirical assessment.
Journal of Systems and Software, 2012

AuDeNTES: Automatic Detection of teNtative plagiarism according to a rEference Solution.
TOCE, 2012

Dynamic Analysis of Upgrades in C/C++ Software.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Revolution: Automatic Evolution of Mined Specifications.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

AutoBlackTest: Automatic Black-Box Testing of Interactive Applications.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

G-RankTest: Regression testing of controller applications.
Proceedings of the 7th International Workshop on Automation of Software Test, 2012

MASH: A tool for end-user plug-in composition.
Proceedings of the 34th International Conference on Software Engineering, 2012

An empirical study about the effectiveness of debugging when random test cases are used.
Proceedings of the 34th International Conference on Software Engineering, 2012

Extracting Widget Descriptions from GUIs.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Dynamic Analysis for Diagnosing Integration Faults.
IEEE Trans. Software Eng., 2011

Preface.
ECEASST, 2011

AutoBlackTest: a tool for automatic black-box testing.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Supporting plug-in mashes to ease tool integration.
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

2010
Achieving Cost-Effective Software Reliability Through Self-Healing.
Computing and Informatics, 2010

FITE: future integrated testing environment.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

SEIM: static extraction of interaction models.
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010

FITE - Future Integrated Testing Environment.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009
Automatic steering of behavioral model inference.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

AVA: automated interpretation of dynamically detected anomalies.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

A toolset for automated failure analysis.
Proceedings of the 31st International Conference on Software Engineering, 2009

In-field healing of integration problems with COTS components.
Proceedings of the 31st International Conference on Software Engineering, 2009

Self-Healing and Recovery Methods and their Classification.
Proceedings of the Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009, 2009

2008
Self-healing strategies for component integration faults.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Automated Identification of Failure Causes in System Logs.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Automatic generation of software behavioral models.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A Formal Framework for Developing Adaptable Service-Based Applications.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
Dynamic Detection of COTS Component Incompatibility.
IEEE Software, 2007

A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.
Proceedings of the Test and Analysis of Web Services, 2007

Investigation of failure causes in workload-driven reliability testing.
Proceedings of the Fourth International Workshop on Software Quality Assurance, 2007

Iterative model-driven development of adaptable service-based applications.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Towards Self-Protecting Enterprise Applications.
Proceedings of the ISSRE 2007, 2007

Compatibility and Regression Testing of COTS-Component-Based Software.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2005
A Technique for Verifying Component-Based Software.
Electr. Notes Theor. Comput. Sci., 2005

Towards Testing and Analysis of Systems that Use Serialization.
Electr. Notes Theor. Comput. Sci., 2005

Adaptive Runtime Verification for Autonomic Communication Infrastructures.
Proceedings of the 2005 International Conference on a World of Wireless, 2005

Fault-Tolerant Routing for P2P Systems with Unstructured Topology.
Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet (SAINT 2005), 31 January, 2005

Behavior Capture and Test: Automated Analysis of Component Integration.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Automatic Conformance Testing of Web Services.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004
An agent-based approach to tool integration.
STTT, 2004

Dependability in Peer-to-Peer Systems.
IEEE Internet Computing, 2004

Behavior Capture and Test for Verifying Evolving Component-Based Systems.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Generation of Integration Tests for Self-Testing Components.
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Run-Time Verification.
Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003
A Fault Taxonomy for Component-Based Software.
Electr. Notes Theor. Comput. Sci., 2003

Self-Test Components for Highly Reconfigurable Systems.
Electr. Notes Theor. Comput. Sci., 2003

A Programming Environment for Global Activity-based Applications.
Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003

An XML View of the "World".
Proceedings of the ICEIS 2003, 2003


  Loading...