Exploring Underdetermined Specifications using Java PathFinder.
Alex GyoriBen LambethSarfraz KhurshidDarko MarinovPublished in: ACM SIGSOFT Softw. Eng. Notes (2016)
Keyphrases
- object oriented
- source code
- programming language
- lightweight
- database applications
- open source
- delay insensitive
- java programs
- high level
- formal specification
- specification language
- java virtual machine
- database management systems
- java code
- cross platform
- face recognition
- written in natural language
- java programming
- database access
- development environment