commit - 62162e0c44757a3b2bb1fb3002a2cced222d6d31
commit + cbf2b15dad651a92a10398d55b96226f9cb23ba7
blob - fc0cc36a3b5744037d00187e07a2519794c92e98
blob + 888b0a015ffef44e1cae665b2e0409b9df54ab18
--- Books-in-English.md
+++ Books-in-English.md
* [Software Testing: From Theory to Practice](https://sttp.site/)
* [Perspectives on Agile Software Testing](https://info.thoughtworks.com/ebook-agile-software-testing)
* [A Practical Guide to Testing in DevOps](https://leanpub.com/testingindevops)
-* [Programs and Proofs. Mechanizing Mathematics with Dependent Types.](http://ilyasergey.net/pnp/) - Ilya Sergey @ilyasergey
* [Measure Software Quality using Application Security](https://github.com/DinisCruz/Book_Software_Quality/tree/master/content) (WIP) - Dinis Cruz
+* [Is Parallel Programming Hard, And, If So, What Can You Do About It?](https://github.com/paulmckrcu/perfbook/) (chapters "Validation" and "Formal verification") - Paul E. McKenney
* [The "A" Word](https://leanpub.com/TheAWord) - Alan Page
* [Professional Software Development](http://mixmastamyk.bitbucket.org/pro_soft_dev/) (Chapter: "5. Software Quality") - Mike G. Miller
* [Acceptance Test Engineering Guide, Vol. I - RC1](https://testingguidance.codeplex.com/)
#### Standards In software Testing
-* [Testing Standards Working Party](http://www.testingstandards.co.uk/)
* [The International Software Testing Standard](http://softwaretestingstandard.org/)
* [Standard for Software Component Testing](http://www.testingstandards.co.uk/Component%20Testing.pdf) (PDF)
* [Everything You Need to Know About Software Test Formats](https://dou.ua/lenta/articles/software-test-formats/) (in Russian)
* [Software Testing Standards in NASA](http://www.system-safety.org/Documents/NASA-GB-8719.13.pdf)
* [ECSS-Q-ST-80C Rev.1 – Software product assurance](http://ecss.nl/standard/ecss-q-st-80c-rev-1-software-product-assurance-15-february-2017/)
-* [СИСТЕМНАЯ И ПРОГРАММНАЯ ИНЖЕНЕРИЯ: ГОСТ Р 56922—2016/ISO/IEC/IEEE 29119- 3:2013](https://pdf.standartgost.ru/catalog/Data2/1/4293754/4293754866.pdf)
+* [Системная и Программная Инженерия: ГОСТ Р 56922—2016/ISO/IEC/IEEE 29119- 3:2013](https://pdf.standartgost.ru/catalog/Data2/1/4293754/4293754866.pdf)
* DO-278
* [DO-178B](https://en.wikipedia.org/wiki/DO-178B)
* [A Step-by-Step Guide to Functional Testing with TestComplete](http://www2.smartbear.com/download-mqi-inbound-testcomplete-functional-testing-top-5-ebook-blog.html)
* [HP Quality Center Tutorial](http://www.tutorialspoint.com/qc/index.htm)
* [HP QuickTest Professional Tutorial](http://www.tutorialspoint.com/qtp/index.htm)
-* [.NET Performance Testing and Optimization - The Complete Guide](http://download.red-gate.com/ebooks/DotNet/Perf_Test_and_opt_eBook.zip) (zip) - RedGate, By Paul Glavich and Chris Farrell
+* [.NET Performance Testing and Optimization - The Complete Guide](http://download.red-gate.com/ebooks/DotNet/Perf_Test_and_opt_eBook.zip) (zip) - RedGate, By Paul Glavich and Chris Farrell
* [Record-Playback Test Automation: Sahi & Selenium IDE](https://leanpub.com/manualToAutomatedWithSeleniumIDEAndSahi)
* [Selenium 2.0 Using the WebDriver API to Create Robust User Acceptance Tests](http://refcardz.dzone.com/refcardz/getting-started-selenium-20#refcard-download-social-buttons-display)
* [SoapUI 101: Beginner's Guide to Functional Testing](http://www2.smartbear.com/download-mqi-nbound-soapui-top-5-blast-ebook-blog.html)
-* [TestNG Tutorial](http://www.tutorialspoint.com/testng/index.htm)
-* [JUnit Tutorial](http://www.tutorialspoint.com/junit/index.htm)
* [PropEr Testing](http://propertesting.com/) - Fred Hebert
-* [Better Unit Testing with Microsoft Fakes](https://social.technet.microsoft.com/wiki/contents/articles/11608.e-book-gallery-for-microsoft-technologies-en.aspx#Better_Unit_Testing_with_Microsoft_Fakes)
-* [Testing for Continuous Delivery with Visual Studio 2012](https://social.technet.microsoft.com/wiki/contents/articles/11608.e-book-gallery-for-microsoft-technologies-en.aspx#Testing_for_Continuous_Delivery)
-* [Testing mypy stubs, plugins, and types](https://sobolevn.me/2019/08/testing-mypy-types) - Nikita Sobolev
#### Formal methods
-* [Learn TLA+](https://learntla.com) - Hillel Wayne @hwayne
+* [Programs and Proofs. Mechanizing Mathematics with Dependent Types.](http://ilyasergey.net/pnp/) - Ilya Sergey
* [Specifying Systems](http://lamport.azurewebsites.net/tla/book.html) - Leslie Lamport
* [The TLA+ Hyperbook](http://lamport.azurewebsites.net/tla/hyperbook.html) - Leslie Lamport
-* [Books and papers about TLA+ and formal verification by Leslie Lamport](https://www.microsoft.com/en-us/research/people/lamport/#)
-* [Alloy Documentation](http://alloy.mit.edu/alloy/documentation.html) - Daniel Jackson
* [Introduction to Spin](http://spinroot.com/spin/Man/) - Multiple Authors
-* Software Foundations: [4.0](https://www.cis.upenn.edu/~bcpierce/sf/sf-4.0/), [current](https://www.cis.upenn.edu/~bcpierce/sf/current/index.html), [draft](https://softwarefoundations.cis.upenn.edu/draft/)
-, [epub](https://github.com/carliros/software-foundations-book) - Benjamin C. Pierce & Co
-* [Verified Functional Algorithms](http://www.cs.princeton.edu/~appel/vfa/) - Andrew W. Appel
+* Software Foundations, https://www.cis.upenn.edu/~bcpierce/sf/current/index.html - Benjamin C. Pierce & Co
* [Foundations of Computer Science](https://www.cl.cam.ac.uk/teaching/1998/FoundsCS/) - Dr Larry Paulson
* [Principles of Model Checking](https://pdfs.semanticscholar.org/f126/9591359fddc20f95da10c7bd4c054080b447.pdf) - Christel Baier, Joost-Pieter Katoen
-* [Certified Programming with Dependent Types](http://adam.chlipala.net/cpdt/) - Adam Chlipala @achlipala
-* [Formal Reasoning About Programs](http://adam.chlipala.net/frap/) - Adam Chlipala @achlipala
-* [Concrete Semantics](http://concrete-semantics.org/) - Tobias Nipkow and Gerwin Klein @lsf37
+* [Certified Programming with Dependent Types](http://adam.chlipala.net/cpdt/) - Adam Chlipala
+* [Formal Reasoning About Programs](http://adam.chlipala.net/frap/) - Adam Chlipala
+* [Concrete Semantics](http://concrete-semantics.org/) - Tobias Nipkow and Gerwin Klein
* [ML for the Working Programmer, 2nd Edition](https://www.cl.cam.ac.uk/~lp15/MLbook/pub-details.html) - Lawrence C. Paulson
* [Proofs and Types](http://www.paultaylor.eu/stable/Proofs+Types.html) - Jean-Yves Girard, Yves Lafont and Paul Taylor
* [Proof assistants: History, ideas and future](http://www.ias.ac.in/article/fulltext/sadh/034/01/0003-0025) - H. Geuvers
* [Mathematical Logic](http://www.mathematik.uni-muenchen.de/~schwicht/lectures/logic/ws03/ml.pdf) - Helmut Schwichtenberg
* [Mathematical Logic](http://www.personal.psu.edu/t20/notes/logic.pdf) - Stephen G. Simpson (Pennsylvania State University)
* [Formal Logic](http://maude.sip.ucm.es/~miguelpt/papers/flogic.pdf) - Miguel Palomino
-* [Is Parallel Programming Hard, And, If So, What Can You Do About It?](https://github.com/paulmckrcu/perfbook/) (chapters "Validation" and "Formal verification") - Paul E. McKenney @paulmckrcu
* [More books...](http://www.freetechbooks.com/index.php/formal-methods-f28.html)
* [Formal Methods of Software Design](https://www.cs.utoronto.ca/~hehner/FMSD/)
\ No newline at end of file
