With great advances in the computer science area where technological
systems are becoming more and more complex, tests are hard
to perform. The problem is even more serious in critical systems,
such as flight control or nuclear systems, where an error can cause
catastrophic damage in our society. Currently, two techniques are
often used for software validation: testing and software verification.
This project aims the testing area, generating random programs to
be used as input to property-based tests, in order to detect errors
in systems and libraries, minimizing the possibility of errors. More
specifically, Java programs will be automatically generated from existent
classes and interfaces, considering all syntactic and semantic
constraints of the language.