[HTML][HTML] A type-directed algorithm to generate random well-typed Java 8 programs
Property-based testing of compilers or programming language semantics is difficult to
accomplish because it is hard to design a random generator for valid programs. Most …
accomplish because it is hard to design a random generator for valid programs. Most …
Synthesis of random real-world java programs from preexisting libraries
LF Kraus, B Schafaschek, RG Ribeiro… - Proceedings of the 25th …, 2021 - dl.acm.org
With the great advances in the software development area, where systems are becoming
larger and more complex, the testing area is suffering to keep up with. In this paper, we …
larger and more complex, the testing area is suffering to keep up with. In this paper, we …