Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).
Tong WuPeter SchrammelLucas C. CordeiroPublished in: TACAS (2) (2022)
Keyphrases
- source code
- object oriented
- programming language
- byte code
- lightweight
- database applications
- java programs
- open source
- web services
- web applications
- development environment
- java virtual machine
- sun microsystems
- data sets
- object oriented languages
- distributed object
- cross platform
- database access
- distributed systems
- knowledge base
- neural network