• Computer Science
  • Published 2012

Towards Categorizing and Formalizing the JDK API

@inproceedings{Lee2012TowardsCA,
  title={Towards Categorizing and Formalizing the JDK API},
  author={Choonghwan Lee and Dongyun Jin and Patrick O'Neil Meredith and Grigore Rosu},
  year={2012}
}
Formal specication of correct library usage is extremely useful, both for software developers and for the formal analysis tools they use, such as model checkers or runtime monitoring systems. Unfortunately, the process of creating formal specications is time consuming, and, for the most part, even the libraries in greatest use, such as the Java Development Kit (JDK) standard library, are left wholly without formal specication. This paper presents a tool-supported approach to help writing formal… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS

Evolution-Aware Monitoring-Oriented Programming

  • 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
  • 2015
VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Techniques for Evolution-Aware Runtime Verification

  • 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)
  • 2019
VIEW 1 EXCERPT
CITES BACKGROUND

Large-Scale Evaluation of the Efficiency of Runtime-Verification Tools in the Wild

  • 2018 25th Asia-Pacific Software Engineering Conference (APSEC)
  • 2018
VIEW 1 EXCERPT
CITES BACKGROUND

ICON: Inferring Temporal Constraints from Natural Language API Descriptions

  • 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME)
  • 2016
VIEW 2 EXCERPTS
CITES METHODS