Property-based testing for lambda expressions semantics in featherweight Java.
Samuel da Silva FeitosaRodrigo Geraldo RibeiroAndré Rauber Du BoisPublished in: SBLP (2018)
Keyphrases
- facial expressions
- programming language
- open source
- logic programming
- source code
- natural language
- formal semantics
- java programs
- test cases
- database applications
- object oriented languages
- semantic information
- software testing
- graph properties
- database
- transformation rules
- linguistic expressions
- development environment
- desirable properties
- lightweight
- object oriented
- neural network