Predvídateľné generovanie kódu si vyžaduje špecifikáciu zachovania

Prečo deterministické vzorkovanie nestačí a ako pozorovateľné chránené vlastnosti spolu s akceptačnými kritériami umožňujú testovať správanie pri generovaní kódu.

HTML: https://aogavrilov.com/sk/research-notes/predictable-code-generation-preservation-contract/

Markdown: https://aogavrilov.com/sk/research-notes/predictable-code-generation-preservation-contract/index.md