• An experimental evaluation and possible extensions of SyPet 

      Yang, Zijiang, active 21st century; 0000-0002-5365-808X (2017-05-05)
      Program synthesis is an automated programming technique that automatically constructs a program which satisfies given specifications. SyPet is a recently published novel component-based synthesis tool that assembles a ...
    • Automated testing and sketching of alloy models 

      Sullivan, Allison (2017-05)
      Models of software systems, e.g., designs, play an important role in the development of reliable and dependable systems. However, writing correct designs is hard. What makes formulating desired design properties particularly ...
    • The diagrammatic specification and automatic generation of geometry subroutines 

      Li, Yulin, Ph. D. (2010-05)
      Programming has advanced a great deal since the appearance of the stored-program architecture. Through the successive generations of machine codes, assembly languages, high-level languages, and object-oriented languages, ...
    • Theory and techniques for synthesizing efficient breadth-first search algorithms 

      Nedunuri, Srinivas (2012-08)
      The development of efficient algorithms to solve a wide variety of combinatorial and planning problems is a significant achievement in computer science. Traditionally each algorithm is developed individually, based on ...