• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

L2S: A Framework for Synthesizing the Most Probable Program under a Specification.

Yingfei XiongBo Wang
Published in: ACM Trans. Softw. Eng. Methodol. (2022)
Keyphrases
  • main contribution
  • real time
  • theoretical framework
  • conceptual model
  • learning algorithm
  • multi agent
  • probabilistic model
  • probability distribution
  • bayesian framework
  • conceptual framework
  • program execution