Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark


Immutability analysis is important to software testing, verification and validation (V&V) because it can be used to identify independently testable functions without side-effects. Existing tools for immutability analysis are largely academic prototypes that have not been rigorously tested for accuracy or have not been maintained and are unable to… (More)
DOI: 10.1109/ICST.2017.55


4 Figures and Tables