Filters








3 Hits in 3.0 sec

EMME: a formal tool for ECMAScript Memory Model Evaluation [article]

Cristian Mattarei, Clark Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith, JF Bastien
2018 arXiv   pre-print
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]

Cristian Mattarei, Clark Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith
2018 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 [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

Segla Kpodjedo
2009 2009 16th Working Conference on Reverse Engineering  
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