Published June 27, 2019 | Version 5.0.0
Software Open

ALICE Data Point Processing Framework

Creators

  • 1. University of Helsinki, Finland; also Utrecht University, the Netherlands

Description

This is version 5.0.0 of the ALICE Data Point Processing Framework (ADAPRO), an open source (licensed under Apache 2.0) C++ software framework, originally developed at CERN. This archive contains the source code, example applications, tests, documentation, and the Promela and DIVINE models of ADAPRO.

Notes

This archive was prepared for the following study: John Lång and I.S.W.B. Prasetya. 2019. Model Checking a C++ Software Framework, a Case Study. In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Soft- ware Engineering (ESEC/FSE '19), August 26–30, 2019, Tallinn, Estonia. ACM, New York, NY, USA, 11 pages. https://doi.org/10.1145/3338906.3340453

Files

adapro-master-5.0.0.zip

Files (634.4 kB)

Name Size Download all
md5:ec7a480b997c6512bf63387ed95ed7cb
634.4 kB Preview Download

Additional details

Related works

Is supplement to
10.1145/3338906.3340453 (DOI)