PACIab: A Program Analysis Collaboratory

被引：0

作者：

Brunner, Rebecca ^{[1
]}

Dyer, Robert ^{[1
]}

Paquin, Maria ^{[2
]}

Sherman, Elena ^{[2
]}

机构：

[1] Bowling Green State Univ, Bowling Green, OH 43403 USA

[2] Boise State Univ, Boise, ID 83725 USA

来源：

PROCEEDINGS OF THE 28TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '20) | 2020年

基金：

美国国家科学基金会;

关键词：

program analysis; program benchmarks; collaboratory;

D O I：

10.1145/3368089.3417936

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present a web-based Program Analysis Collaboratory (PAC1ab) tool that helps researchers to obtain realistic program benchmarks using user-defined selection criteria. Based on selection criteria, PAClab identifies relevant projects and its programs from open-source repositories, obtains those programs, and if necessary performs sound program transformations to adapt them to the targeted verification tool. PAClab makes the resulting program benchmarks available for download. PAClab is designed as a scalable, modular, and parametrizable tool that takes advantage of a computer cluster to handle multiple user requests.

引用

页码：1616 / 1620

页数：5

共 9 条

[1]

Dyer R, 2013, PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), P422, DOI 10.1109/ICSE.2013.6606588

[2]

Gousios G, 2013, IEEE WORK CONF MIN S, P233, DOI 10.1109/MSR.2013.6624034

[3]

Kapus T, 2017, IEEE INT CONF AUTOM, P590, DOI 10.1109/ASE.2017.8115669

[4] 50K-C: A dataset of compilable, and compiled, Java']Java projects [J].

Martins, Pedro ;

Achar, Rohan ;

Lopes, Cristina V. .

2018 IEEE/ACM 15TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES (MSR), 2018, :1-5

[5] Curating GitHub for engineered software projects [J].

Munaiah, Nuthan ;

Kroh, Steven ;

Cabrey, Craig ;

Nagappan, Meiyappan .

EMPIRICAL SOFTWARE ENGINEERING, 2017, 22 (06) :3219-3253

[6]

Pasareanu Corina S, 2010, P 25 IEEEACM INT C A, P179, DOI DOI 10.1145/1858996.1859035

[7]

Reif M., 2017, P 6 ACM SIGPLAN INT, P43

[8] Software Engineering Collaboratories (SEClabs) and Collaboratories as a Service (CaaS) [J].

Sherman, Elena ;

Dyer, Robert .

ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, :760-764

[9]

Yang XJ, 2011, PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, P283

← 1 →