A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
EMME: a formal tool for ECMAScript Memory Model Evaluation
[article]
2018
arXiv
pre-print
Preserved Fulltext
Other Versions
We first introduce a formal version of the memory model and report results on checking the model for consistency and other properties. ...
In this paper we describe a formal approach for validating both the memory model and its implementations in various JavaScript engines. ...
The analyses proposed in this paper have been implemented in a tool called ECMAScript Memory Model Evaluator (EMME), which has been used to validate the memory model and to test the compliance of all major ...
arXiv:1801.10140v2
fatcat:uhnzwdpdq5ej5kwemw572hykta
EMME: A Formal Tool for ECMAScript Memory Model Evaluation
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The analyses proposed in this paper have been implemented in a tool called ECMAScript Memory Model Evaluator (EMME), which has been used to validate the memory model and to test the compliance of all major ...
MemSAT [19] is a formal tool, based on Alloy [12] , that allows for the verification of axiomatic memory models. ...
doi:10.1007/978-3-319-89963-3_4
fatcat:3nlcxq4gkfbljol2vqjriahz4m
Approximate Graph Matching in Software Engineering
2009
2009 16th Working Conference on Reverse Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
They are used to recommend a ranked list of classes likely to contain defects for a system. ...
For this purpose, we first select, out of the possible formulations, the Error Tolerant Graph Matching (ETGM) framework, which is able to model most AGM formulations. ...
of tool, results etc.) for a comparison. ...
doi:10.1109/wcre.2009.49
dblp:conf/wcre/Kpodjedo99a
fatcat:5towdepxtrc6zmtq6hubbv6p3q