Software Synthesis (Dagstuhl Seminar 12152).

Rastislav Bodík Sumit Gulwani Eran Yahav

Published in: Dagstuhl Reports (2012)

Keyphrases

software systems
software tools
source code
software development
software package
software architecture
software components
computer software
learning algorithm
software quality
software developers
personal computer
test cases
computer systems
software engineering
user interface
multi agent