<commit_before>## In English

* NPTEL
  * [software Testing](http://nptel.ac.in/courses/106105150/)
  * [Embedded Software Testing](http://nptel.ac.in/courses/117106112/)
* edX
  * [Software Testing Fundamentals](https://www.edx.org/course/software-testing-fundamentals-usmx-university-maryland-university-stv1-1x)
  * [Software Testing Management](https://www.edx.org/course/software-testing-management-usmx-university-maryland-university-stv1-2x)
  * [Formal Software Verification](https://www.edx.org/course/formal-software-verification-usmx-university-maryland-university-stv1-3x)
  * [Software Engineering: Introduction](https://www.edx.org/course/software-engineering-introduction-ubcx-softeng1x)
  * [Software Testing and Verification](https://www.edx.org/micromasters/software-testing-verification)
* [QA Academy](https://github.com/TelerikAcademy/QA-Academy)
* [QA and Automation course](https://github.com/HackBulgaria/QA-and-Automation-101)
* Udacity:
  * [Software Testing Methods](https://www.udacity.com/course/software-testing--cs258)
  * [Software Debugging](https://www.udacity.com/course/software-debugging--cs259)
  * [Software Analysis & Testing](https://www.udacity.com/course/software-analysis-testing--ud333)
* Alison:
  * [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)
* Coursera:
  * [Software security](https://ru.coursera.org/learn/software-security)
  * [Introduction to User Testing](https://ru.coursera.org/learn/ui-testing/lecture/aal6p/introduction-to-user-testing)
* Guru99:
  * [Software Testing Training](https://www.youtube.com/playlist?list=PLDC2A0C8D2EC934C7)
  * [Quality Center Training](https://www.youtube.com/playlist?list=PL2CA3A709452D4E27)
  * [LoadRunner Tutorials](https://www.youtube.com/playlist?list=PLFB7DB42D42A7C31C)
  * [QTP Training](https://www.youtube.com/playlist?list=PLF20D996D82993E79)
* Formal verification
  * [Interactive Computer Theorem Proving](http://adam.chlipala.net/itp/)
  * [A survey of automated theorem proving](http://compsciclub.ru/en/courses/theoremproving/2013-autumn/)
  * [IMC010: Type Theory and Coq](http://www.cs.ru.nl/~freek/courses/tt-2011/)
  * [Logical Verification 2016–2017](http://www.cs.vu.nl//~jbe248/lv2017/)
  * [Tutorials and advanced lectures](http://www.cse.chalmers.se/research/group/logic/Types/tutorials.html) by [Types Project](http://www.cse.chalmers.se/research/group/logic/Types/index.html)
  * [Modelling and verifying algorithms in Coq: an introduction](https://www.di.ens.fr/~zappa/teaching/coq/ecole10/)
  * [Coq in a Hurry](https://cel.archives-ouvertes.fr/file/index/docid/72365/filename/coq-hurry.pdf)
  * Theorem Proving - Principles, Techniques, Applications [1](https://www.cse.unsw.edu.au/~cs4161/16s2/), [2](https://www.cse.unsw.edu.au/~kleing/teaching/thprv-04/index.html)
  * [Formal Specification (F28FS)](http://www.macs.hw.ac.uk/~gabbay/F28FS/)
  * [Formal Reasoning About Programs](https://frap.csail.mit.edu/main)
  * [An Introduction to the Coq Proof Assistant](https://www.cis.upenn.edu/~rrand/cufp_2015/)
  * [Programs and Proofs in the Coq Proof Assistant](https://www.cis.upenn.edu/~rrand/popl_2016/)
  * ...and [more](https://coq.inria.fr/cocorico/CoqInTheClassroom)
  * [The TLA+ Video Course](http://lamport.azurewebsites.net/video/videos.html)
  * [DeepSpec Summer School, Coq Intensive](https://www.youtube.com/playlist?list=PLovJjGVqXXf3RgVdCXH96pPwSjFLDhSri)
* Upcase:
  * [Fundamentals of TDD](https://thoughtbot.com/upcase/fundamentals-of-tdd)
* [Computer Systems Analysis](http://www.cs.wustl.edu/~jain/cse567-06/index.html)

## In Russian

* ITVDN (IT Video Developers Network) - [Основы тестирования ПО](https://itvdn.com/ru/video/testing-process)
* Интуит
  * [Основы тестирования программного обеспечения](http://www.intuit.ru/studies/courses/48/48/info)
  * [Введение в программную инженерию](http://www.intuit.ru/studies/courses/497/353/info)
  * [Верификация программного обеспечения](http://www.intuit.ru/studies/courses/1040/209/info)
  * [Введение в технологию программирования](http://www.intuit.ru/studies/courses/2262/160/info)
* [Mail.Ru - Основы тестирования программного обеспечения](http://universarium.org/course/526)
* Яндекс
  * Школа тестирования: [Ручное тестирование и Автоматизация тестирования](https://academy.yandex.ru/events/testing/spb-2016/) ([Youtube](https://www.youtube.com/playlist?list=PLJMRN_6MT0JYItlUeor7YRa0r6-lI8MMR))
  * [Яндекс - Школа автоматизации процессов разработки](https://academy.yandex.ru/events/testing/spb-2014/)
  * [Яндекс - Школа тестирования баннерной системы](https://academy.yandex.ru/events/testing/msk-2014/)
* СПбГПУ
  * [Курс "Методы анализа и обеспечения качества ПО"](http://kspt.icc.spbstu.ru/course/QA)
  * [Курс "Тестирование ПО"](http://kspt.icc.spbstu.ru/2014/course/software-testing)
  * Software Testing 101 ([на английском](http://kspt.ftk.spbstu.ru/media/files/people/akhin/lectures/Software-Testing-101.pdf), [на русском](http://kspt.icc.spbstu.ru/media/files/people/akhin/lectures/Software-Testing-101-ru.pdf))
  * [Software Testing 102](http://kspt.icc.spbstu.ru/media/files/people/akhin/lectures/Software-Testing-102v2.pdf)
  * [Software Testing 103](http://kspt.icc.spbstu.ru/media/files/people/akhin/lectures/Software-Testing-102v3.pdf)
  * [Курс «Формальные методы обеспечения качества ПО»](http://kspt.icc.spbstu.ru/2010/course/quality)
* Лекториум
  * [Тестирование на основе моделей](https://www.lektorium.tv/course/22774) ([слайды](http://panda.ispras.ru/~kuliamin/mbt-course.html))
  * [Верификация параллельных и распределенных программных систем](https://www.lektorium.tv/course/22862?id=22862) ([PDF](http://is.ifmo.ru/present/2012/20120218_model_che%D1%81king_karpov_lecture01.pdf))
  * [Юнит-тестирование и метрики покрытия кода тестами](https://www.lektorium.tv/lecture/13635)
* compsciclub
  * [Software Verification](http://compsciclub.ru/courses/softwareverification/2008-spring/) ([слайды](http://compsciclub.ru/media/slides/modelbasedtesting_2010_spring/2010_04_25_modelbasedtesting_2010_spring_m98ClS2.pdf))<commit_msg>Black Box Software Testing course<commit_after>## In English

* NPTEL
  * [software Testing](http://nptel.ac.in/courses/106105150/)
  * [Embedded Software Testing](http://nptel.ac.in/courses/117106112/)
* edX
  * [Software Testing Fundamentals](https://www.edx.org/course/software-testing-fundamentals-usmx-university-maryland-university-stv1-1x)
  * [Software Testing Management](https://www.edx.org/course/software-testing-management-usmx-university-maryland-university-stv1-2x)
  * [Formal Software Verification](https://www.edx.org/course/formal-software-verification-usmx-university-maryland-university-stv1-3x)
  * [Software Engineering: Introduction](https://www.edx.org/course/software-engineering-introduction-ubcx-softeng1x)
  * [Software Testing and Verification](https://www.edx.org/micromasters/software-testing-verification)
* [QA Academy](https://github.com/TelerikAcademy/QA-Academy)
* [QA and Automation course](https://github.com/HackBulgaria/QA-and-Automation-101)
* Udacity:
  * [Software Testing Methods](https://www.udacity.com/course/software-testing--cs258)
  * [Software Debugging](https://www.udacity.com/course/software-debugging--cs259)
  * [Software Analysis & Testing](https://www.udacity.com/course/software-analysis-testing--ud333)
* Alison:
  * [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)
* Coursera:
  * [Software security](https://ru.coursera.org/learn/software-security)
  * [Introduction to User Testing](https://ru.coursera.org/learn/ui-testing/lecture/aal6p/introduction-to-user-testing)
* Guru99:
  * [Software Testing Training](https://www.youtube.com/playlist?list=PLDC2A0C8D2EC934C7)
  * [Quality Center Training](https://www.youtube.com/playlist?list=PL2CA3A709452D4E27)
  * [LoadRunner Tutorials](https://www.youtube.com/playlist?list=PLFB7DB42D42A7C31C)
  * [QTP Training](https://www.youtube.com/playlist?list=PLF20D996D82993E79)
* Formal verification
  * [Interactive Computer Theorem Proving](http://adam.chlipala.net/itp/)
  * [A survey of automated theorem proving](http://compsciclub.ru/en/courses/theoremproving/2013-autumn/)
  * [IMC010: Type Theory and Coq](http://www.cs.ru.nl/~freek/courses/tt-2011/)
  * [Logical Verification 2016–2017](http://www.cs.vu.nl//~jbe248/lv2017/)
  * [Tutorials and advanced lectures](http://www.cse.chalmers.se/research/group/logic/Types/tutorials.html) by [Types Project](http://www.cse.chalmers.se/research/group/logic/Types/index.html)
  * [Modelling and verifying algorithms in Coq: an introduction](https://www.di.ens.fr/~zappa/teaching/coq/ecole10/)
  * [Coq in a Hurry](https://cel.archives-ouvertes.fr/file/index/docid/72365/filename/coq-hurry.pdf)
  * Theorem Proving - Principles, Techniques, Applications [1](https://www.cse.unsw.edu.au/~cs4161/16s2/), [2](https://www.cse.unsw.edu.au/~kleing/teaching/thprv-04/index.html)
  * [Formal Specification (F28FS)](http://www.macs.hw.ac.uk/~gabbay/F28FS/)
  * [Formal Reasoning About Programs](https://frap.csail.mit.edu/main)
  * [An Introduction to the Coq Proof Assistant](https://www.cis.upenn.edu/~rrand/cufp_2015/)
  * [Programs and Proofs in the Coq Proof Assistant](https://www.cis.upenn.edu/~rrand/popl_2016/)
  * ...and [more](https://coq.inria.fr/cocorico/CoqInTheClassroom)
  * [The TLA+ Video Course](http://lamport.azurewebsites.net/video/videos.html)
  * [DeepSpec Summer School, Coq Intensive](https://www.youtube.com/playlist?list=PLovJjGVqXXf3RgVdCXH96pPwSjFLDhSri)
* Upcase:
  * [Fundamentals of TDD](https://thoughtbot.com/upcase/fundamentals-of-tdd)
* [Computer Systems Analysis](http://www.cs.wustl.edu/~jain/cse567-06/index.html)
* [Black Box Software Testing course](http://www.testingeducation.org/BBST/)

## In Russian

* ITVDN (IT Video Developers Network) - [Основы тестирования ПО](https://itvdn.com/ru/video/testing-process)
* Интуит
  * [Основы тестирования программного обеспечения](http://www.intuit.ru/studies/courses/48/48/info)
  * [Введение в программную инженерию](http://www.intuit.ru/studies/courses/497/353/info)
  * [Верификация программного обеспечения](http://www.intuit.ru/studies/courses/1040/209/info)
  * [Введение в технологию программирования](http://www.intuit.ru/studies/courses/2262/160/info)
* [Mail.Ru - Основы тестирования программного обеспечения](http://universarium.org/course/526)
* Яндекс
  * Школа тестирования: [Ручное тестирование и Автоматизация тестирования](https://academy.yandex.ru/events/testing/spb-2016/) ([Youtube](https://www.youtube.com/playlist?list=PLJMRN_6MT0JYItlUeor7YRa0r6-lI8MMR))
  * [Яндекс - Школа автоматизации процессов разработки](https://academy.yandex.ru/events/testing/spb-2014/)
  * [Яндекс - Школа тестирования баннерной системы](https://academy.yandex.ru/events/testing/msk-2014/)
* СПбГПУ
  * [Курс "Методы анализа и обеспечения качества ПО"](http://kspt.icc.spbstu.ru/course/QA)
  * [Курс "Тестирование ПО"](http://kspt.icc.spbstu.ru/2014/course/software-testing)
  * Software Testing 101 ([на английском](http://kspt.ftk.spbstu.ru/media/files/people/akhin/lectures/Software-Testing-101.pdf), [на русском](http://kspt.icc.spbstu.ru/media/files/people/akhin/lectures/Software-Testing-101-ru.pdf))
  * [Software Testing 102](http://kspt.icc.spbstu.ru/media/files/people/akhin/lectures/Software-Testing-102v2.pdf)
  * [Software Testing 103](http://kspt.icc.spbstu.ru/media/files/people/akhin/lectures/Software-Testing-102v3.pdf)
  * [Курс «Формальные методы обеспечения качества ПО»](http://kspt.icc.spbstu.ru/2010/course/quality)
* Лекториум
  * [Тестирование на основе моделей](https://www.lektorium.tv/course/22774) ([слайды](http://panda.ispras.ru/~kuliamin/mbt-course.html))
  * [Верификация параллельных и распределенных программных систем](https://www.lektorium.tv/course/22862?id=22862) ([PDF](http://is.ifmo.ru/present/2012/20120218_model_che%D1%81king_karpov_lecture01.pdf))
  * [Юнит-тестирование и метрики покрытия кода тестами](https://www.lektorium.tv/lecture/13635)
* compsciclub
  * [Software Verification](http://compsciclub.ru/courses/softwareverification/2008-spring/) ([слайды](http://compsciclub.ru/media/slides/modelbasedtesting_2010_spring/2010_04_25_modelbasedtesting_2010_spring_m98ClS2.pdf))
{'fraction_non_alphanumeric': 0.16054603457229766, 'fraction_numerical': 0.04139772980191409, 'mean_word_length': 5.214845550945136, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 78, 'lorem ipsum': 0, 'www.': 65, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '341722', 'n_tokens_mistral': 5595, 'n_tokens_neox': 5249, 'n_words': 574}