電子書書目整合查詢結果

分類號

總筆數:207

 
書名作者出版年查看回報錯誤連結
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 查看
回報問題連結
上一頁 第1頁/共14頁/跳至 下一頁