Abstract Submissions for Mining Dynamic Invariants
Written on 27.05.2021 11:40 by Rahul Gopinath
As we mentioned during the previous meeting, the next seminar will be on "Mining Dynamic Invariants". The following publication and fuzzing book chapter provide the basic background.
* Dynamically discovering likely program invariants to support program evolution
Ernst, Cockrell, Griswold, Notkin
* Mining Function Specifications
We expect a short abstract, no more than one page, capturing the essential ideas. As before you can use the following latex snippet to determine what fits in a single page and what doesn't.
Please upload your summary as a PDF to the CMS submission slot (you can use the above latex code to generate the PDF). The submission slot for dynamic invaraint abstracts is here: https://cms.cispa.saarland/testdebug/submissions/view/4
Please submit your abstracts before the class.