書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
Verified software :theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers / |
Supratik Chakraborty, Jorge A. Navas. |
|
查看
|
回報問題連結 |
Automated software testing :foundations, applications and challenges / |
Ajay Kumar Jena, Himansu Das, Durga Prasad Mohapatra. |
|
查看
|
回報問題連結 |
Practical test automation :learn to use Jasmine, RSpec, and Cucumber effectively for your TDD and BDD / |
Panos Matsinopoulos. |
|
查看
|
回報問題連結 |
Monitoring microservices and containerized applications :deployment, configuration, and best practices for Prometheus and Alert Manager / |
Navin Sabharwal, Piyush Pandey. |
|
查看
|
回報問題連結 |
Software verification :12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers / |
Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel. |
|
查看
|
回報問題連結 |
Deductive software verification :future perspectives : reflections on the occasion of 20 years of KeY / |
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hahnle, Mattias Ulbrich. |
|
查看
|
回報問題連結 |
Runtime verification :20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings / |
Jyotirmoy Deshmukh, Dejan Nickovic. |
|
查看
|
回報問題連結 |
Reachability problems :13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings / |
Emmanuel Filiot, Raphael Jungers, Igor Potapov. |
|
查看
|
回報問題連結 |
Power and performance:software analysis and optimization / |
Jim Kukunas. |
2015 |
查看
|
回報問題連結 |
Reachability problems :14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings / |
Sylvain Schmitz, Igor Potapov. |
|
查看
|
回報問題連結 |
Hands-on functional test automation :with Visual Studio 2017 and Selenium / |
Chaminda Chandrasekara, Pushpa Herath. |
|
查看
|
回報問題連結 |
Domain-driven Laravel :learn to implement domain-driven design using Laravel / |
Jesse Griffin. |
|
查看
|
回報問題連結 |
Python testing with Selenium :learn to implement different testing techniques using the Selenium WebDriver / |
Sujay Raghavendra. |
|
查看
|
回報問題連結 |
Essential spectrum-based fault localization / |
Xiaoyuan Xie, Baowen Xu. |
|
查看
|
回報問題連結 |
Model checking software:23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings / |
Dragan Bosnacki, Anton Wijs. |
2016 |
查看
|
回報問題連結 |
Tests and proofs:10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / |
Bernhard K. Aichernig, Carlo A. Furia. |
2016 |
查看
|
回報問題連結 |
|