commit dce8e38368486cec0101bd831b407fb62a0511fb from: Sergey Bronnikov date: Sat Jul 08 15:10:33 2023 UTC Updated courses in english (markdown) commit - cbf2b15dad651a92a10398d55b96226f9cb23ba7 commit + dce8e38368486cec0101bd831b407fb62a0511fb blob - 27ba28cdc75e2df22a38bd4319d4b7bba303d14a blob + 56c3fedb16d8537ad3bb1e9aec3928c4ba567325 --- courses-in-english.md +++ courses-in-english.md @@ -4,18 +4,13 @@ * [Software Debugging](https://www.udacity.com/course/software-debugging--cs259) * [Software Analysis & Testing](https://www.udacity.com/course/software-analysis-testing--ud333) * [Fundamentals of TDD](https://thoughtbot.com/upcase/fundamentals-of-tdd) -* [Critical Reasoning for Beginners](http://podcasts.ox.ac.uk/series/critical-reasoning-beginners) -* [Reasoning Across the Disciplines](https://ru.coursera.org/learn/critical-reasoning) * [Discrete Mathematics and Probability Theory](https://archive.org/details/ucberkeley-webcast-PL-XXv-cvA_iDze6fOp3qofgyjJVUioedA) * [Mathematical Logic](https://www.youtube.com/playlist?list=PL2EB5662A0D455A81&feature=plcp) * [Engineering Ethics](https://ocw.mit.edu/courses/engineering-systems-division/esd-932-engineering-ethics-spring-2006/audio-lectures/) -* [Engineering Ethics](https://itunes.apple.com/us/course/engineering-ethics/id1039496124?ign-mpt=uo%3D8) * Software Development Process: [Part 1](https://www.youtube.com/playlist?list=PLAwxTw4SYaPkNAtqsKcFkUGpf4j67NBaz), [Part 2](https://www.youtube.com/playlist?list=PLAwxTw4SYaPm8PAGH7ov2Bj-nG4sXgCtJ), [Part 3](https://www.youtube.com/playlist?list=PLAwxTw4SYaPkoQFThzsc9e7Fe3QV_KJCs) #### Functional Testing -* [Introduction to Software Testing](https://cs.gmu.edu/~offutt/softwaretest/) - Paul Ammann and Jeff Offutt -* [Black Box Software Testing course](http://www.testingeducation.org/BBST/) - Cem Kaner, J.D. Ph.D. * [Software Testing](http://nptel.ac.in/courses/106105150/) * [Embedded Software Testing](http://nptel.ac.in/courses/117106112/) * [Software Testing Fundamentals](https://www.edx.org/course/software-testing-fundamentals-usmx-university-maryland-university-stv1-1x) @@ -26,15 +21,13 @@ * [Introduction to Software Testing](https://alison.com/course/introduction-to-software-testing) * [Software Testing - Black-box Strategies and White-box Testing](https://alison.com/course/software-testing-black-box-strategies-and-white-box-testing) * [Diploma in Software Testing](https://alison.com/course/diploma-in-software-testing) -* [Software Testing - Testing Levels and Object-Oriented Program Testing](https://alison.com/course/software-testing-testing-levels-and-object-oriented-program-testing) -* [Software Testing - Condition Coverage and Mutation Testing Strategies](https://alison.com/course/software-testing-condition-coverage-and-mutation-testing-strategies) * [Software Testing Training](https://www.youtube.com/playlist?list=PLDC2A0C8D2EC934C7) * [Quality Center Training](https://www.youtube.com/playlist?list=PL2CA3A709452D4E27) * [QTP Training](https://www.youtube.com/playlist?list=PLF20D996D82993E79) * [Selenium Tutorials](https://www.guru99.com/selenium-tutorial.html) * [Selenium WebDriver Course](https://thefriendlytester.co.uk/selenium/course/) -* [Software Testing](https://www.youtube.com/playlist?list=PL-_cKNuVAYAWZGuyAFu8TC9I41aJ3nHIf) - Mauro Pezz -* [CS453 Automated Software Testing, Spring 2020](https://coinse.io/teaching/2020/cs453/) +* [Software Testing](https://www.youtube.com/playlist?list=PL-_cKNuVAYAWZGuyAFu8TC9I41aJ3nHIf) - Mauro Pezzo +* [CS453 Automated Software Testing](https://coinse.io/teaching/2020/cs453/) * [Functional Programming and Property-Based Testing](http://janmidtgaard.dk/quickcheck/) #### Fuzz testing @@ -45,10 +38,6 @@ * [Part 3: How and why fuzz testing, and managing your unknown vulnerabilities saves money](https://vimeo.com/89974203) * [Part 4: Fuzz testing techniques: unfuzzing the fuzzing](https://vimeo.com/90074270) -#### Software Testing Management - -* [Software Testing Management](https://www.edx.org/course/software-testing-management-usmx-university-maryland-university-stv1-2x) - #### User Testing * [Introduction to User Testing](https://ru.coursera.org/learn/ui-testing/lecture/aal6p/introduction-to-user-testing) @@ -71,7 +60,6 @@ * [Logic, Languages, Compilation, and Verification](https://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html) ([Youtube](https://www.youtube.com/user/nrolland/playlists)) * [A survey of automated theorem proving](http://compsciclub.ru/en/courses/theoremproving/2013-autumn/) * [Tutorials and advanced lectures](http://www.cse.chalmers.se/research/group/logic/Types/tutorials.html) -* [Types Project](http://www.cse.chalmers.se/research/group/logic/Types/index.html) * [Introduction to Formal Systems and Computation](https://itunes.apple.com/us/itunes-u/csci-e-207-introduction-to/id429428100?ign-mpt=uo%3D8) * [CSE 814 Formal Methods in Software Engineering ](https://cse.msu.edu/~cse814/) ```Slides``` * [A survey of automated theorem proving](https://www.youtube.com/playlist?list=PL-_cKNuVAYAW9pBFvmGr37foLBDIRGxMi) - John Harrison @@ -99,24 +87,31 @@ * [Programming Language Foundations in Agda](https://plfa.github.io/) ```Book``` -##### Model Checking +##### PVS +* [Theorem Proving and Model Checking in PVS](https://www.cs.cmu.edu/~emc/15-820A/) - Edmund M. Clarke +##### Model Checking + ### TLA+ -* SPIN/Promela [Model Checking Concurrent Programs](http://cnx.org/content/col10294/1.3) +* Learn TLA+, https://learntla.com/ +* [Pragmatic Formal Modeling](https://elliotswart.github.io/pragmaticformalmodeling/) - is an introduction to pragmatic formal modeling. * [Software Verification](https://www.youtube.com/playlist?list=PL-_cKNuVAYAUsh0QIh_zd58V4Ekmer23D) - Natasha Sharygina +* [The TLA+ Video Course](http://lamport.azurewebsites.net/video/videos.html) by Leslie Lamport +* [Dr. TLA+ Series](https://github.com/tlaplus/DrTLAPlus) +* TLA+ [Portland State: CS410/510 Practical Specification and Verification](https://web.cecs.pdx.edu/~apt/cs510spec/) +* TLA+ [tla_workshop](https://github.com/parlarjb/tla_workshop) + +#### Alloy + * [Alloy Courses](http://alloytools.org/citations/courses.html) -* [Theorem Proving and Model Checking in PVS](https://www.cs.cmu.edu/~emc/15-820A/) - Edmund M. Clarke +* Alloy, Spark, TLA+ [Formal Methods in Software Development](https://www.cse.msu.edu/~cse814/) +* https://alloy.readthedocs.io/en/latest/ - unofficial ALloy documentation written by Hillel Waine. + +#### mCRL2 + * mCRL2 [System Validation: Automata and behavioural equivalences](https://www.coursera.org/learn/automata-system-validation) * mCRL2 [System Validation (2): Model process behaviour](https://www.coursera.org/learn/system-validation-behavior) * mCRL2 [System Validation (3): Requirements by modal formulas](https://www.coursera.org/learn/system-validation-modal-formulas) -* mCRL2 [System Validation (4): Modelling Software, Protocols, and other behaviour](https://www.coursera.org/learn/system-validation-software-protocols) -* Alloy, Spark, TLA+ [Formal Methods in Software Development](https://www.cse.msu.edu/~cse814/) -* TLA+ [The TLA+ Video Course](http://lamport.azurewebsites.net/video/videos.html) -* TLA+ [Dr. TLA+ Series](https://github.com/tlaplus/DrTLAPlus) -* TLA+ [SUNY Buffalo: CSE 4/586 Distributed Systems](https://cse.buffalo.edu/~demirbas/course.pdf) ([Notes](http://muratbuffalo.blogspot.com/2015/01/my-experience-with-using-tla-in.html)) -* TLA+ [Portland State: CS410/510 Practical Specification and Verification](https://web.cecs.pdx.edu/~apt/cs510spec/) -* TLA+ [University of Wellington: SWEN421 - Formal Software Engineering](https://ecs.wgtn.ac.nz/Courses/SWEN421_2020T1/CourseOutline) -* TLA+ [Learn TLA](https://learntla.com/introduction/) -* TLA+ [tla_workshop](https://github.com/parlarjb/tla_workshop) \ No newline at end of file +* mCRL2 [System Validation (4): Modelling Software, Protocols, and other behaviour](https://www.coursera.org/learn/system-validation-software-protocols) \ No newline at end of file