Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Valeria Bengolea"'
Autor:
Mariano Politano, Valeria Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783031308253
Bounded exhaustive input generation (BEG) is an effective approach to reveal software faults. However, existing BEG approaches require a precise specification of the valid inputs, i.e., a , that must be provided by the user. Writing s for BEG is chal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d1fa12991171fbd7427880f0be569f8a
https://doi.org/10.1007/978-3-031-30826-0_6
https://doi.org/10.1007/978-3-031-30826-0_6
Publikováno v:
ASE
Field-exhaustive testing is a testing criterion suitable for object-oriented code over complex, heap-allocated, data structures. It requires test suites to contain enough test inputs to cover all feasible values for the object's fields within a certa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4b0dd2adf654013fcdfba72343b88c78
https://doi.org/10.1109/ase.2019.00019
https://doi.org/10.1109/ase.2019.00019
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783030167219
FASE
FASE
Various approaches to software analysis (e.g. test input generation, software model checking) require engineers to (manually) identify a subset of a module’s methods in order to drive the analysis. Given a module to be analyzed, engineers typically
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::366ee5b5ba768edba9fec1ecf73f0f94
https://doi.org/10.1007/978-3-030-16722-6_25
https://doi.org/10.1007/978-3-030-16722-6_25
Autor:
Marcelo F. Frias, Simón Gutiérrez Brida, Nazareno Aguirre, Gastón Scilingo, Valeria Bengolea, Pablo Ponzio
Publikováno v:
SBST@ICSE
In this paper, we analyze the effect of reducing object redundancy in random testing, by comparing the Randoop random testing tool with a version of the tool that disregards tests that only produce objects that have been previously generated by other
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91315e360b25cec64cf830383525f35e
https://doi.org/10.1145/3194718.3194724
https://doi.org/10.1145/3194718.3194724
Autor:
Shadi Abdul Khalek, Sarfraz Khurshid, Nazareno Aguirre, Valeria Bengolea, Nicolás Rosner, Pablo Ponzio, Marcelo F. Frias
Publikováno v:
OOPSLA
We present a novel technique for producing bounded exhaustive test suites from hybrid invariants, i.e., invariants that are expressed imperatively, declaratively, or as a combination of declarative and imperative predicates. Hybrid specifications are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82a4d98e297a7f24697cf27a3ca04984
https://doi.org/10.1145/2714064.2660232
https://doi.org/10.1145/2714064.2660232
Publikováno v:
Software Testing, Verification and Reliability. 24:629-655
While the effectiveness of bounded exhaustive test suites increases as one increases the scope for the bounded exhaustive generation, both the time for test generation and the time for test execution grow exponentially with respect to the scope. In t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5f85231739a5af831aa138696fc6ec8c
https://doi.org/10.1002/stvr.1547
https://doi.org/10.1002/stvr.1547
Autor:
Valeria Bengolea, Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, Tom Maibaum, Daniel Ciolek, Nicolás Rosner, Juan Pablo Galeotti, Pablo Abad, Ignacio Vissani
Publikováno v:
ICST
We present a novel and general technique for automated test generation that combines tight bounds with incremental SAT solving. The proposed technique uses incremental SAT to build test suites targeting a specific testing criterion, amongst various b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cef6e6b9e711053dc06c681b9fa8bed4
https://doi.org/10.1109/icst.2013.46
https://doi.org/10.1109/icst.2013.46
Publikováno v:
Tests and Proofs ISBN: 9783642304729
TAP@TOOLS
TAP@TOOLS
Bounded-exhaustive exploration of test case candidates is a commonly employed approach for test generation in some contexts. Even when small bounds are used for test generation, executing the obtained tests may become prohibitive, despite the time fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6cfa09b85111f84429c327d99101c7a0
https://doi.org/10.1007/978-3-642-30473-6_4
https://doi.org/10.1007/978-3-642-30473-6_4
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs
Publikováno v:
Tests and Proofs ISBN: 9783642217678
TAP@TOOLS
TAP@TOOLS
The automated generation of test cases for heap allocated, complex, structures is particularly difficult. Various state of the art tools tackle this problem by bounded exhaustive exploration of potential test cases, using constraint solving mechanism
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fdced6b95de4194684281081b202cab6
https://doi.org/10.1007/978-3-642-21768-5_3
https://doi.org/10.1007/978-3-642-21768-5_3