![Software testing / Software engineering / Model checkers / Computing / Theoretical computer science / Formal methods / Model checking / Formal verification / Random testing / Test automation / SPIN model checker / Acceptance testing Software testing / Software engineering / Model checkers / Computing / Theoretical computer science / Formal methods / Model checking / Formal verification / Random testing / Test automation / SPIN model checker / Acceptance testing](https://www.pdfsearch.io/img/47c4999b4de8049319a4ec7809ee4356.jpg) Date: 2010-09-11 18:30:43Software testing Software engineering Model checkers Computing Theoretical computer science Formal methods Model checking Formal verification Random testing Test automation SPIN model checker Acceptance testing | | Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving Alex Groce1 , Gerard Holzmann1 , Rajeev Joshi1 , and Ru-Gang Xu2 1Add to Reading ListSource URL: rjoshi.orgDownload Document from Source Website File Size: 157,17 KBShare Document on Facebook
|