Re:How Antithesis finds bugs
by iamcreasy on Wednesday April 17, 2024 @09:10PM
(#40071960)
Very cool presentation. Thanks for doing this.
Choosing next input based on present sounds a lot like a Markov chain - is that something you guys use when simulating user interaction with distributed system?
Choosing next input based on present sounds a lot like a Markov chain - is that something you guys use when simulating user interaction with distributed system?