Cheatsheets - ligurio/sqa-wiki GitHub Wiki
Selenium
XPath
PyTest
Load testing
QuickCheck
Unit testing
- http://www.aheil.de/2010/11/05/test-driven-development-cheatsheet/
- http://files.zeroturnaround.com/pdf/zt_junit_cheat_sheet.pdf
- https://media.pragprog.com/titles/utj/StandaloneSummary.pdf
Software testing techniques
Security testing
- https://www.owasp.org/index.php/OWASP_Cheat_Sheet_Series
- https://github.com/tanprathan/MobileApp-Pentest-Cheatsheet
- https://github.com/jshaw87/Cheatsheets
UI testing
Coq
- https://www.cs.cornell.edu/courses/cs3110/2018sp/a5/coq-tactics-cheatsheet.html
- https://www.inf.ed.ac.uk/teaching/courses/tspl/cheatsheet.pdf
- https://github.com/andrejbauer/Homotopy/blob/master/OberwolfachTutorial/cheatsheet.tex
- https://github.com/tmiya/coq/blob/master/totorial20120216/coqcheatsheet.pdf
TLA+
- http://lamport.azurewebsites.net/tla/summary.pdf
- https://lamport.azurewebsites.net/tla/summary-standalone.pdf
- https://members.loria.fr/SMerz/talks/argentina2005/LamportTLA+CheatSheet.pdf
- https://github.com/parlarjb/tla_workshop
Spin
- http://spinroot.com/spin/Doc/spin-quick-reference.pdf
- http://kurser.iha.dk/ee-ict-master/titedi/material/Spin%20Cheat%20Sheet%20V1.pdf