SyPet swMATH ID: 21706 Software Authors: Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W. Description: SyPet is a novel type-directed tool for component-based synthesis. The key novelty of our approach is the use of a compact Petri-net representation to model relationships between methods in an API. Given a target method signature S, our approach performs reachability analysis on the underlying Petri-net model to identify sequences of method calls that could be used to synthesize an implementation of S. The programs synthesized by our algorithm are guaranteed to type check and pass all test cases provided by the user. Homepage: https://fredfeng.github.io/sypet/ Related Software: CodeHint; BlinkFill; FlashMeta; TRANSIT; FlashExtract; Houdini; Daikon; JSketch; Denali; XSnippet; PARSEWeb; halp; Soot; Sat4j Cited in: 2 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Component-based synthesis for complex APIs. Zbl 1380.68108Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W. 2017 all top 5 Cited by 9 Authors 1 Dillig, Isil 1 Feng, Yu 1 Itzhaky, Shachar 1 Martins, Ruben 1 Peleg, Hila 1 Reps, Thomas W. 1 Shoham, Sharon 1 Wang, Yuepeng 1 Yahav, Eran Cited in 1 Serial 1 Acta Informatica Cited in 1 Field 2 Computer science (68-XX) Citations by Year