Are Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?

Marwan Abi-Antoun    Chandrashekar    Radu Vanciu    Andrew Giang     
Department of Computer Science
Wayne State University
 

Raw Data

System
(Abbrev.)
Name Raw Data Notes
MD MiniDraw MD.zip  
CDB CryptoDB CDB.zip  
AFS Apache FtpServer AFS.zip  
DL DrawLets DL.zip  
PX Pathway-Express PX.zip  
JHD JHotDraw JHD.zip  
HC HillClimber HC.zip  
APD Aphyds APD.zip  

Plots

For boxplots, barplots and histograms, see the Beamer presentation (PDF).

Implementation

The implementation is a framework that generates metrics: it generates two sets of CSV files: a set of detailed files for human consumption; and a set of terse files that are used as input to a number of R scripts.

The R scripts compute statistics, generate LaTex tables with numbers and generate various plots.

See the presentation (PDF)

Publications

Extended Version

The extended version contains the formalization of the metrics:

Abi-Antoun, M., Chandrashekar, S., Vanciu, R., and Giang, A. Are Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code? (Extended Version). Technical report, Wayne State University, September, 2014.

Related Papers

The following paper has more information on the subject systems, metrics on the annotations, and metrics on the object graphs:

Vanciu, R. and Abi-Antoun, M. Object Graphs with Ownership Domains: an Empirical Study. In D. Clarke, J. Noble, and T. Wrigstad, editors, State-of-the-Art Survey on Aliasing in Object-Oriented Programming, Lecture Notes in Computer Science,  Springer-Verlag, pp. 109-155, 2013.

The following paper is the earlier workshop paper:

Abi-Antoun, M., Vanciu, R. and Ammar, N. Metrics to Identify Where Object-Oriented Program Comprehension Benefits from the Runtime Structure. In International Workshop on Emerging Trends in Software Metrics (WeTSOM),  2013. [DOI] [Slides]

References

Detailed information on the subject systems can be found in the technical reports:

 

 


Last Modified: Friday, September 05, 2014