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
Lecture Notes in Computer Science
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  is a formal tool, based on Alloy  , that allows for the verification of axiomatic memory models. ...doi:10.1007/978-3-319-89963-3_4 fatcat:3nlcxq4gkfbljol2vqjriahz4m
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