[HTML][HTML] An evolutionary approach to translating operational specifications into declarative specifications
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
programs being analyzed. Moreover, many of these tools and techniques require such
specifications to be written in a particular style, or follow certain patterns, in order to obtain
an acceptable performance from the corresponding analyses. Thus, having a formal
specification sometimes is not enough for using a particular technique, since such …
analyzers such as verification and test generation tools, require formal specifications of the
programs being analyzed. Moreover, many of these tools and techniques require such
specifications to be written in a particular style, or follow certain patterns, in order to obtain
an acceptable performance from the corresponding analyses. Thus, having a formal
specification sometimes is not enough for using a particular technique, since such …
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications
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
programs being analyzed. Moreover, many of these tools and techniques require such
specifications to be written in a particular style, or follow certain patterns, in order to obtain
an acceptable performance from the corresponding analyses. Thus, having a formal
specification sometimes is not enough for using a particular technique, since such …
analyzers such as verification and test generation tools, require formal specifications of the
programs being analyzed. Moreover, many of these tools and techniques require such
specifications to be written in a particular style, or follow certain patterns, in order to obtain
an acceptable performance from the corresponding analyses. Thus, having a formal
specification sometimes is not enough for using a particular technique, since such …
以上显示的是最相近的搜索结果。 查看全部搜索结果