JFORTES: Java Formal Unit TESt Generation.
Larissa BentesHerbert RochaEduardo ValentinRaimundo S. BarretoPublished in: SBESC (2016)
Keyphrases
- test generation
- test cases
- symbolic execution
- test sequences
- design automation
- static analysis
- quality assurance
- source code
- mutation testing
- java programs
- test data generation
- programming language
- open source
- software testing
- regression testing
- web services
- image processing
- formal specification
- database applications
- data model
- high level
- case study