Geh über handverlesene Beispiele hinaus. Spezifiziere Invarianten, lass einen Generator Gegenbeispiele jagen und kombiniere die Disziplin mit Agents, die die Properties vorschlagen, die du übersehen hast.
Teil von: Code-Testing für Agentische Entwicklung