Verifying android applications using Java PathFinder.
Heila van der MerweBrink van der MerweWillem VisserPublished in: ACM SIGSOFT Softw. Eng. Notes (2012)
Keyphrases
- object oriented
- java programs
- open source
- programming language
- model checking
- lightweight
- website
- database applications
- database systems
- source code
- high level
- web services
- development environment
- evolutionary algorithm
- query language
- real world
- relational databases
- information systems
- database access
- cross platform
- data mining