Automatic Test Generation
topic on 1 show · 1 statements across 1 episodes
1 statements about Automatic Test Generation, every show
Hong: Future coding will rely on automated test-generated specifications
“I think this is the future of coding. Yes, I think this is the future of coding. And I think this is where, you know, this is where I think even if we are supposed, like given the assumption that everything can be formally verified, you know, like studying sor…”