Specification Mining for Machine Improvisation with Formal Specifications.
Rafael ValleAlexandre DonzéDaniel J. FremontIlge AkkayaSanjit A. SeshiaAdrian FreedDavid WesselPublished in: Comput. Entertain. (2016)
Keyphrases
- formal specification
- specification language
- specification languages
- model checking
- object oriented design
- formal methods
- process algebra
- protocol specification
- concurrent systems
- knowledge discovery
- reverse engineering
- software components
- formal specification language
- software testing
- design methodology
- frequent patterns
- artificial intelligence
- data mining
- sequential patterns
- software engineering
- multi agent
- information systems
- databases