Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Mariano Politano"'
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:
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:
Germán Regis, Mariano Politano, Fernando D. Raverta, Pablo Ponzio, Juan Pablo Galeotti, Marcelo F. Frias, César Cornejo, Simón Gutiérrez Brida, Nazareno Aguirre
Publikováno v:
ESEC/SIGSOFT FSE
We describe DynAlloy Analyzer, a tool that extends Alloy Analyzer with support for dynamic elements in Alloy models. The tool builds upon Alloy Analyzer in a way that makes it fully compatible with Alloy models, and extends their syntax with a partic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3cae83cb583f479e2668b4bc94acc664
https://doi.org/10.1145/3106237.3122826
https://doi.org/10.1145/3106237.3122826
