Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Pablo Ponzio"'
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:
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.
Publikováno v:
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE).
Publikováno v:
ICSE (Companion Volume)
Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software implementation. Unfortunately,
Publikováno v:
ICSE
Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing software reliability requires a specification of the intended behavior of the software under
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d9c508c12c93c29f50a259f4b92773a
Autor:
Nicolás Rosner, Marcelo F. Frias, Pablo Ponzio, Marcelo Arroyo, Ariel Godio, Nazareno Aguirre
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783030714994
FASE
FASE
Software model checkers are able to exhaustively explore different bounded program executions arising from various sources of non-determinism. These tools provide statements to produce non-deterministic values for certain variables, thus forcing the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dae97eb8d9cac15dc114e0a457f819af
https://doi.org/10.1007/978-3-030-71500-7_11
https://doi.org/10.1007/978-3-030-71500-7_11
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
Autor:
Nazareno Aguirre, Renzo Degiovanni, Pablo Ponzio, Marcelo F. Frias, Germán Regis, Facundo Molina
Publikováno v:
ICSE
We present a technique that enables us to distinguish valid from invalid data structure objects. The technique is based on building an artificial neural network, more precisely a binary classifier, and training it to identify valid and invalid instan
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