Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs

Open in new window