Search Results - "Arcuri, Andrea"
-
1
A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering
Published in Software testing, verification & reliability (01-05-2014)“…SUMMARYRandomized algorithms are widely used to address many types of software engineering problems, especially in the area of software verification and…”
Get full text
Journal Article -
2
La Riforma in Inghilterra: Elisabetta e i 39 Articoli di religione della Chiesa Anglicana
Published in Potestas (01-12-2019)“…The aim of this article is to underline the doctrinal pecu-liarities of Anglicanism through examination of the 39 Articlesof Re-ligion. Unlike other coeval…”
Get full text
Journal Article -
3
A practical guide for using statistical tests to assess randomized algorithms in software engineering
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21-05-2011)“…Randomized algorithms have been used to successfully address many different types of software engineering problems. This type of algorithms employ a degree of…”
Get full text
Conference Proceeding -
4
Random Testing: Theoretical Results and Practical Implications
Published in IEEE transactions on software engineering (01-03-2012)“…A substantial amount of work has shed light on whether random testing is actually a useful testing technique. Despite its simplicity, several successful…”
Get full text
Journal Article -
5
Parameter tuning or default values? An empirical investigation in search-based software engineering
Published in Empirical software engineering : an international journal (01-06-2013)Get full text
Journal Article -
6
A Theoretical and Empirical Analysis of the Role of Test Sequence Length in Software Testing for Structural Coverage
Published in IEEE transactions on software engineering (01-05-2012)“…In the presence of an internal state, often a sequence of function calls is required to test software. In fact, to cover a particular branch of the code, a…”
Get full text
Journal Article -
7
Environment modeling and simulation for automated testing of soft real-time embedded software
Published in Software and systems modeling (01-02-2015)“…Given the challenges of testing at the system level, only a fully automated approach can really scale up to industrial real-time embedded systems (RTES). Our…”
Get full text
Journal Article -
8
Confesionalización y disciplinamiento social: dos paradigmas para la Historia moderna
Published in Hispania sacra (01-06-2019)“…Con este artículo se pretende ofrecer una visión global sobre los procesos de “confesionalización” y “disciplinamiento social” de las sociedades europeas de…”
Get full text
Journal Article -
9
Handling test length bloat
Published in Software testing, verification & reliability (01-11-2013)“…SUMMARYThe length of test cases is a little investigated topic in search‐based test generation for object‐oriented software, where test cases are sequences of…”
Get full text
Journal Article -
10
Represión sexual y de género en la confesión: los manuales de confesores de la Edad Moderna (siglos XVI-XVII)
Published in Ex aequo (Oeiras, Portugal) (01-06-2018)“…La confesión de los pecados en ámbito católico, especialmente a raíz del Concilio de Trento, constituyó un medio eficaz para disciplinar las conductas…”
Get full text
Journal Article -
11
Automated Black- and White-Box Testing of RESTful APIs With EvoMaster
Published in IEEE software (01-05-2021)“…We apply EvoMaster to eight representational state transfer application programming interfaces; show how the tool can be used to automatically generate test…”
Get full text
Journal Article -
12
Test suite generation with the Many Independent Objective (MIO) algorithm
Published in Information and software technology (01-12-2018)“…Context: Automatically generating test suites is intrinsically a multi-objective problem, as any of the testing targets (e.g., statements to execute or mutants…”
Get full text
Journal Article -
13
An experience report on applying software testing academic results in industry: we need usable automated test generation
Published in Empirical software engineering : an international journal (01-08-2018)“…What is the impact of software engineering research on current practices in industry? In this paper, I report on my direct experience as a PhD/post-doc working…”
Get full text
Journal Article -
14
Parameter tuning or default values? An empirical investigation in search-based software engineering
Published in Empirical software engineering : an international journal (01-06-2013)“…Many software engineering problems have been addressed with search algorithms. Search algorithms usually depend on several parameters (e.g., population size…”
Get full text
Journal Article -
15
Evolutionary repair of faulty software
Published in Applied soft computing (01-06-2011)“…Testing and fault localization are very expensive software engineering tasks that have been tried to be automated. Although many successful techniques have…”
Get full text
Journal Article -
16
1600 faults in 100 projects: automatically finding faults while achieving high coverage with EvoSuite
Published in Empirical software engineering : an international journal (01-06-2015)“…Automated unit test generation techniques traditionally follow one of two goals: Either they try to find violations of automated oracles (e.g., assertions,…”
Get full text
Journal Article -
17
It really does matter how you normalize the branch distance in search-based software testing
Published in Software testing, verification & reliability (01-03-2013)“…SUMMARY The use of search algorithms for test data generation has seen many successful results. For structural criteria like branch coverage, heuristics have…”
Get full text
Journal Article -
18
Achieving scalable mutation-based generation of whole test suites
Published in Empirical software engineering : an international journal (01-06-2015)“…Without complete formal specification, automatically generated software tests need to be manually checked in order to detect faults. This makes it desirable to…”
Get full text
Journal Article -
19
RIZZUTO, C.C. (2021). La revuelta de las Comunidades de Castilla en el reino de Dios: profecía, heterogeneidad religiosa y reforma eclesiástica, 1520-1521. Salamanca: Ediciones Universidad de Salamanca, 337 pp., ISBN: 9788413114682
Published in Studia historica. Ha. moderna (01-07-2022)Get full text
Journal Article -
20
On the automation of fixing software bugs
Published in International Conference on Software Engineering 2008 (01-01-2008)“…Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing…”
Get full text
Journal Article