Collaborated with:
R.Singh S.Misailovic R.Samanta
Talks about:
synthesi (1) properti (1) perturb (1) augment (1) exampl (1) relat (1) base (1) use (1)
Person: Shengwei An
DBLP: An:Shengwei
Contributed to:
Wrote 1 papers:
- POPL-2020-AnSMS #relational #synthesis #using
- Augmented example-based synthesis using relational perturbation properties (SA, RS, SM, RS), p. 24.