Difference between revisions of "Portal:Sources"
Jump to navigation
Jump to search
AIDejanira (talk | contribs) |
AIDejanira (talk | contribs) |
||
| Line 5: | Line 5: | ||
* Other model checking book by Peter Katoen | * Other model checking book by Peter Katoen | ||
* Book on software testing/model-based testing | * Book on software testing/model-based testing | ||
* Artificial Intelligence and Software Testing - Building systems you can trust (2022). Rex Black, James Davenport, Joanna Olszewska, Jeremias Rößler, Adam Leon Smith, Jonathon Wright. Edited by Adam Leon Smith [https://shop.bcs.org/store/221/detail/workgroup?id=3-221-9781780175768 link] | |||
== Special issues on VAS == | == Special issues on VAS == | ||
Revision as of 12:51, 5 April 2022
Books on verification
- Model checking book. E. Clarke
- Other model checking book by Peter Katoen
- Book on software testing/model-based testing
- Artificial Intelligence and Software Testing - Building systems you can trust (2022). Rex Black, James Davenport, Joanna Olszewska, Jeremias Rößler, Adam Leon Smith, Jonathon Wright. Edited by Adam Leon Smith link
Special issues on VAS
- Journals
Case studies
- Steps and method followed when verifying a system
Whitepapers on autonomous systems V&V from regulators
- How to apply V&V to autonomous systems
- How to interpret regulations for different countries
- What remains to be done for regulations
E.g.
- Reviews on regulations for autonomous systems in Australia
Review or survey papers on V&V
Existing projects
Benchmark models
- Simulink model benchmark for falsification (3 models)
Testing fields & sites/labs
Robotics & autonomous systems competitions
- DARPA
- Autonomous vehicles
- Robotics European League
- ROBOCUP
- AWS Deepracer (deep learning for training autonomous vehicles)
- Australia & New Zealand Search and Rescue [1]