[HTML] sciencedirect.com

[HTML][HTML] An evolutionary approach to translating operational specifications into declarative specifications

F Molina, C Cornejo, R Degiovanni, G Regis… - Science of Computer …, 2019 - Elsevier
Various tools for program analysis, including run-time assertion checkers and static
analyzers such as verification and test generation tools, require formal specifications of the …
被引用次数：8 相关文章

An evolutionary approach to translating operational specifications into declarative specifications

FJ Molina, CM Cornejo, R Degiovanni, G Regis… - 2019 - ri.conicet.gov.ar
Various tools for program analysis, including run-time assertion checkers and static
analyzers such as verification and test generation tools, require formal specifications of the …
[PDF] itba.edu.ar

[PDF][PDF] An evolutionary approach to translating operational specifications into declarative specifications

F Molina, C Cornejo, R Degiovanni, G Regis, P Castro… - 2019 - ri.itba.edu.ar
Resumen" Various tools for program analysis, including run-time assertion checkers and
static analyzers such as verification and test generation tools, require formal specifications of …

An evolutionary approach to translating operational specifications into declarative specifications

F Molina, C Cornejo, R Degiovanni, G Regis, PF Castro… - 2019 - dl.acm.org
Various tools for program analysis, including run-time assertion checkers and static
analyzers such as verification and test generation tools, require formal specifications of the …
[PDF] unrc.edu.ar

[PDF][PDF] An Evolutionary Approach to Translating Operational Specifications into Declarative Specifications

F Molinaa, C Cornejoa, R Degiovannic, G Regisa… - dc.exa.unrc.edu.ar
Various tools for program analysis, including run-time assertion checkers and static
analyzers such as verification and test generation tools, require formal specifications of the …
[PDF] academia.edu

[PDF][PDF] An Evolutionary Approach to Translating Operational Specifications into Declarative Specifications

F Molinaa, C Cornejoa, R Degiovannic, G Regisa… - academia.edu
Various tools for program analysis, including run-time assertion checkers and static
analyzers such as verification and test generation tools, require formal specifications of the …

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications

F Molina, C Cornejo, R Degiovanni, G Regis… - … and Applications: 19th …, 2016 - Springer
Various tools for program analysis, including run-time assertion checkers and static
analyzers such as verification and test generation tools, require formal specifications of the …
[PDF] github.io

[PDF][PDF] An evolutionary approach to translating operational specifications into declarative specifications

F Molina, C Cornejo, R Degiovanni, G Regis, PF Castro… - gregistecco.github.io
Various tools for program analysis, including run-time assertion checkers and static
analyzers such as verification and test generation tools, require formal specifications of the …
[PDF] github.io

[PDF][PDF] An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications

F Molina, C Cornejo, R Degiovanni, G Regis, PF Castro… - facumolina.github.io
Various tools for program analysis, including run-time assertion checkers and static
analyzers such as verification and test generation tools, require formal specifications of the …

An evolutionary approach to translating operational specifications into declarative specifications

F Molina, C Cornejo, RG Degiovanni, G Regis… - Science of Computer …, 2019 - orbilu.uni.lu
Various tools for program analysis, including run-time assertion checkers and static
analyzers such as verification and test generation tools, require formal specifications of the …