Abstract
In this paper, we present a novel learning framework for inferring stateful preconditions (i.e., preconditions constraining not only primitive-type inputs but also non-primitive-type object states) modulo a test generator, where the quality of the preconditions is based on their safety and maximality with respect to the test generator. We instantiate the learning framework with a specific learner and test generator to realize a precondition synthesis tool for C#. We use an extensive evaluation to show that the tool is highly effective in synthesizing preconditions for avoiding exceptions as well as synthesizing conditions under which methods commute.
| Original language | English (US) |
|---|---|
| Title of host publication | PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation |
| Editors | Kathryn S. McKinley, Kathleen Fisher |
| Publisher | Association for Computing Machinery |
| Pages | 775-787 |
| Number of pages | 13 |
| ISBN (Electronic) | 9781450367127 |
| DOIs | |
| State | Published - Jun 8 2019 |
| Event | 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019 - Phoenix, United States Duration: Jun 22 2019 → Jun 26 2019 |
Publication series
| Name | Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) |
|---|
Conference
| Conference | 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019 |
|---|---|
| Country | United States |
| City | Phoenix |
| Period | 6/22/19 → 6/26/19 |
Keywords
- Data-Driven Inference
- Specification Mining
- Synthesis
ASJC Scopus subject areas
- Software
Cite this
Learning stateful preconditions modulo a test generator. / Astorga, Angello; Madhusudan, P.; Saha, Shambwaditya; Wang, Shiyu; Xie, Tao.
PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. ed. / Kathryn S. McKinley; Kathleen Fisher. Association for Computing Machinery, 2019. p. 775-787 (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Learning stateful preconditions modulo a test generator
AU - Astorga, Angello
AU - Madhusudan, P.
AU - Saha, Shambwaditya
AU - Wang, Shiyu
AU - Xie, Tao
PY - 2019/6/8
Y1 - 2019/6/8
N2 - In this paper, we present a novel learning framework for inferring stateful preconditions (i.e., preconditions constraining not only primitive-type inputs but also non-primitive-type object states) modulo a test generator, where the quality of the preconditions is based on their safety and maximality with respect to the test generator. We instantiate the learning framework with a specific learner and test generator to realize a precondition synthesis tool for C#. We use an extensive evaluation to show that the tool is highly effective in synthesizing preconditions for avoiding exceptions as well as synthesizing conditions under which methods commute.
AB - In this paper, we present a novel learning framework for inferring stateful preconditions (i.e., preconditions constraining not only primitive-type inputs but also non-primitive-type object states) modulo a test generator, where the quality of the preconditions is based on their safety and maximality with respect to the test generator. We instantiate the learning framework with a specific learner and test generator to realize a precondition synthesis tool for C#. We use an extensive evaluation to show that the tool is highly effective in synthesizing preconditions for avoiding exceptions as well as synthesizing conditions under which methods commute.
KW - Data-Driven Inference
KW - Specification Mining
KW - Synthesis
UR - http://www.scopus.com/inward/record.url?scp=85067678077&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85067678077&partnerID=8YFLogxK
U2 - 10.1145/3314221.3314641
DO - 10.1145/3314221.3314641
M3 - Conference contribution
AN - SCOPUS:85067678077
T3 - Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
SP - 775
EP - 787
BT - PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
A2 - McKinley, Kathryn S.
A2 - Fisher, Kathleen
PB - Association for Computing Machinery
ER -