First Page | Document Content | |
---|---|---|
![]() Date: 2016-06-21 16:57:11Software development process Project management software Continuous integration Atlassian DevOps Jira Continuous delivery HipChat Confluence Bamboo Bitbucket | Add to Reading List |
![]() | LNCSModular Synthesis of Sketches Using ModelsDocID: 1xVZI - View Document |
![]() | Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon UniversityDocID: 1xVXp - View Document |
![]() | Search, Align, and Repair: Data-Driven FeedbackDocID: 1xVRZ - View Document |
![]() | Microsoft Word - ConvProgrammersCHI16-CameraReadyFinal.docxDocID: 1xVRs - View Document |
![]() | LNCSSynthesizing Number Transformations from Input-Output ExamplesDocID: 1xVOk - View Document |