Grey-Box Testing and Verification of Java/JML.
Frédéric DadeauFabien PeureuxPublished in: ICST Workshops (2011)
Keyphrases
- formal verification
- test generation
- byte code
- symbolic execution
- source code
- object oriented
- model checking
- open source
- java card
- artificial intelligence
- high level
- programming language
- test cases
- web applications
- database
- verification method
- development environment
- grey relational analysis
- unit testing
- grey theory
- multi threaded
- application server
- face verification
- software testing
- virtual machine
- real time