Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Matteo Miraz

dblp:43/2971 · DBLP profile ↗
← Back
8ranked-venue papers
2as first author
0since 2021 · last 2016
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 6Artificial intelligence and machine learning · 2 · 2 first-authorDatabases, data management, data science and information retrieval · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Software testing · 100%

Topics — the 2 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing
search-based software testing
0.112010
TestFul: automatic unit-test generation for Java classes · ICSE (2) 2010
Software testing › test generation
unit test generation
0.112010
TestFul: automatic unit-test generation for Java classes · ICSE (2) 2010

Methods — techniques the papers use, named apart from their topics

search-based testing · 0.1
YearPublicationVenuePosition
2016 A distributed architecture for efficient Web service discovery
Luciano Baresi, Matteo Miraz, Pierluigi Plebani
Serv. Oriented Comput. Appl.2
2011 A Component-Oriented Metamodel for the Modernization of Software Applications
abstract
The modernization of a software system is a complex and expensive task and requires a deep understanding of the existing system. The capability of re-factoring a complex application into some high-level views is mandatory to elicit its structure and start localize possible changes. The high number of different implementation technologies imposes a model-based, neutral approach to reconstruct the structure and hide unnecessary details. OMG supports this view and proposes KDM (Knowledge Discovery Meta model) as means to describe software systems in detail, but unfortunately KDM supports a component-oriented decomposition of the system of interest only partially. To bypass this limitation, the paper proposes the COMO (Component-Oriented MOdernization) meta model to extend KDM, by borrowing recurring concepts from component-based solutions and software architectures, and to support a proper componentization of the system we want to modernize. The paper presents the main elements of the COMO meta model and exemplifies them on a simple case study.
Luciano Baresi, Matteo Miraz
ICECCS2
2010 Improving evolutionary testing by means of efficiency enhancement techniques
abstract
TestFul is a novel evolutionary testing approach for object-oriented programs with complex internal states. In our preliminary experiments, it already outperformed some of the well-known search-based testing approaches. In this paper we show how TestFul can be further improved by leveraging three efficiency enhancement techniques: seeding, hybridization, and fitness inheritance. We considered four extensions of TestFul: three using each enhancement separately, and one using all of them at the same time. We used these new versions of TestFul to generate tests for six Java classes taken from the literature, public software libraries, and third party benchmarks. We compared the performance of the original TestFul against these new versions. Our results show that each enhancement technique results in a significant speed-up and, even more interesting, the highest improvement is achieved when all the enhancements are combined together.
Matteo Miraz, Pier Luca Lanzi, Luciano Baresi
IEEE Congress on Evolutionary Computation1
2010 TestFul: automatic unit-test generation for Java classes
abstract
This paper presents TestFul , an Eclipse plugin for the generation of tests for Java classes. It is based on the idea of search-based testing, working both at class and method level. The former puts objects in useful states, used by the latter to exercise the uncovered parts of the class.
Luciano Baresi, Matteo Miraz
ICSE (2)2
2010 TestFul: An Evolutionary Test Approach for Java
abstract
This paper presents TestFul, an evolutionary testing approach for Java classes that works both at class and method level. TestFul exploits a multi-objective evolutionary algorithm to identify the “best” tests. The paper introduces the main elements of TestFul. It also compares TestFul against well-known search-based solutions using a set of classes taken from literature, known software libraries, and independent testing benchmarks. The comparison considers statement and branch coverage, size of generated tests, and generation time. On considered classes, TestFul generates better tests than other search-based solutions, and achieves higher structural coverages with tests small enough to be usable.
Luciano Baresi, Pier Luca Lanzi, Matteo Miraz
ICST3
2009 TestFul: using a hybrid evolutionary algorithm for testing stateful systems
abstract
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, to explore the space of feasible tests efficiently, and novel quality metrics, based on both def-use pairs and behavioral coverage, to judge the quality of tests. We compare our framework against random testing by considering the level of coverage, the size of generated tests, and the time required to generate the tests. Our preliminary results show the validity of the approach: TestFul outperforms random testing in most of the cases.
Matteo Miraz, Pier Luca Lanzi, Luciano Baresi
GECCO1
2008 A Flexible and Semantic-Aware Publication Infrastructure for Web Services
Luciano Baresi, Matteo Miraz, Pierluigi Plebani
CAiSE2
2006 A Distributed Approach for the Federation of Heterogeneous Registries
Luciano Baresi, Matteo Miraz
ICSOC2