Measuring a Java Test Suite Coverage Using JML Specifications.
Frédéric DadeauYves LedruLydie du BousquetPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- test suite
- java programs
- test cases
- unit testing
- test suite reduction
- software testing
- regression testing
- mutation testing
- static analysis
- set of test cases
- control flow
- java virtual machine
- java code
- number of test cases
- open source
- programming language
- object oriented
- testing process
- specification language
- high level
- web services
- learning algorithm
- web applications
- written in natural language
- case study
- code coverage
- multi agent systems
- database
- black box
- image quality