Predicate abstraction in Java Pathfinder.
Jakub DanielPavel ParízekCorina S. PasareanuPublished in: ACM SIGSOFT Softw. Eng. Notes (2014)
Keyphrases
- high level
- source code
- open source
- development environment
- programming language
- java programs
- first order logic
- lightweight
- web services
- object oriented
- data sets
- low level
- database systems
- case study
- genetic algorithm
- cross platform
- web applications
- machine learning
- database applications
- real world
- databases
- real time
- java virtual machine
- object oriented languages
- decision theoretic planning
- byte code
- java applets