Joinpoint Inference from Behavioral Specification to Implementation
No abstract available.
DOI 10.1007/978-3-540-73589-2_23
Related papers
- Active Learning for Inference and Regeneration of Applications that Access Databases TOPLAS 2021
- Using active learning to synthesize models of applications that access databases PLDI 2019
- Making trace monitors feasible OOPSLA 2007
- Data-driven abductive inference of library specifications OOPSLA 2021
- Active learning of points-to specifications PLDI 2018
- Sigma*: symbolic learning of input-output specifications POPL 2013
- Alone together: compositional reasoning and inference for weak isolation POPL 2018
- Termination and non-termination specification inference PLDI 2015