Giovanni Denaro

Antti Eero Johannes Hyvärinen

Mattia Vivanti

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

PINCETTE - Validating Changes and Upgrades in Networked Software.

[BibT_eX]

[DOI]

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012

All-values symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Automation of Software Test, 2012

An industrial case study of the effectiveness of test generators.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Automation of Software Test, 2012

2011

Enhancing structural software coverage by incrementally computing branch executability.

[BibT_eX]

[DOI]

Softw. Qual. J., 2011

2010

On the Integration of Software Testing and Formal Analysis.

[BibT_eX]

[DOI]

Pietro Braione

Proceedings of the Empirical Software Engineering and Verification, 2010

Structural coverage of feasible code.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009

Towards autonomic service-oriented applications.

[BibT_eX]

[DOI]

Int. J. Auton. Comput., 2009

Ensuring interoperable service-oriented systems through engineered self-healing.

[BibT_eX]

[DOI]

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

DaTeC: Contextual data flow testing of java classes.

[BibT_eX]

[DOI]

Alessandra Gorla

Proceedings of the 31st International Conference on Software Engineering, 2009

Toward deeply adaptive societies of digital systems.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Contextual Integration Testing of Classes.

[BibT_eX]

[DOI]

Alessandra Gorla

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

SOQUA 2007: 4th international workshop on software quality assurance.

[BibT_eX]

[DOI]

Onn Shehory

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

SHIWS: A Self-Healing Integrator for Web Services.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Designing Self-Adaptive Service-Oriented Applications.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Autonomic Computing (ICAC'07), 2007

Automated Software Testing and Analysis: Techniques, Practices and Tools.

[BibT_eX]

[DOI]

Zhiquan Zhou

Bernhard Scholz

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006

Towards self-adaptive service-oriented architectures.

[BibT_eX]

[DOI]

Proceedings of the 2006 Workshop on Testing, 2006

2005

Adaptive integration of third-party web services.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Adaptive Runtime Verification for Autonomic Communication Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on a World of Wireless, 2005

2004

QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Towards Testing and Analysis of Systems that Use Serialization.

[BibT_eX]

[DOI]

Leonardo Mariani

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Early performance testing of distributed software applications.

[BibT_eX]

[DOI]

Andrea Polini

Wolfgang Emmerich

Proceedings of the Fourth International Workshop on Software and Performance, 2004

2003

Towards Industrially Relevant Fault-Proneness Models.

[BibT_eX]

[DOI]

Sandro Morasca

Int. J. Softw. Eng. Knowl. Eng., 2003

Self-Test Components for Highly Reconfigurable Systems.

[BibT_eX]

[DOI]

Leonardo Mariani

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Design for Testability for Highly Reconfigurable Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Petri Nets and Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Deriving models of software fault-proneness.

[BibT_eX]

[DOI]

Sandro Morasca

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Assertions to better specify the amazon bug.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

An empirical evaluation of fault-proneness models.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

Using symbolic execution for verifying safety-critical systems.

[BibT_eX]

[DOI]

Alberto Coen-Porisini

Carlo Ghezzi

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

An Experience on Verification of Aspect Properties.

[BibT_eX]

[DOI]

Mattia Monga

Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001

2000

Estimating software fault-proneness for tuning testing activities.

[BibT_eX]

[DOI]