| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| Numerical software verification:9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : rvised selected papers / |
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar. |
2017 |
查看
|
回報問題連結 |
| Numerical software verification:9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : rvised selected papers / |
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar. |
2017 |
查看
|
回報問題連結 |
| Provably correct systems |
Mike G. Hinchey, Jonathan P. Bowen, Ernst-Rudiger Olderog. |
2017 |
查看
|
回報問題連結 |
| Privately and publicly verifiable computing techniques:a survey / |
Denise Demirel, Lucas Schabhuser, Johannes Buchmann. |
2017 |
查看
|
回報問題連結 |
| Correct software in web applications and web services / |
Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger. |
|
查看
|
回報問題連結 |
| Validation of evolving software / |
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. |
|
查看
|
回報問題連結 |
| Tests and proofs ::9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings / |
Jasmin Christian Blanchette, Nikolai Kosmatov. |
|
查看
|
回報問題連結 |
| Model checking software ::22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings / |
Bernd Fischer, Jaco Geldenhuys. |
|
查看
|
回報問題連結 |
| Verification, model checking, and abstract interpretation :20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings / |
Constantin Enea, Ruzica Piskac. |
|
查看
|
回報問題連結 |
| Android Espresso revealed :writing automated UI tests / |
Denys Zelenchuk. |
|
查看
|
回報問題連結 |
| Numerical software verification :12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings / |
Majid Zamani, Damien Zufferey. |
|
查看
|
回報問題連結 |
| Models, algorithms, logics and tools :essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday / |
Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingolfsdottir, Axel Legay, Radu Mardare. |
|
查看
|
回報問題連結 |
| Concise guide to software testing / |
Gerard O'Regan. |
|
查看
|
回報問題連結 |
| Model checking software :26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings / |
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay. |
|
查看
|
回報問題連結 |
| Tests and proofs :13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings / |
Dirk Beyer, Chantal Keller. |
|
查看
|
回報問題連結 |
| Runtime verification :19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings / |
Bernd Finkbeiner, Leonardo Mariani. |
|
查看
|
回報問題連結 |
| Tests and proofs :12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / |
Catherine Dubois, Burkhart Wolff. |
|
查看
|
回報問題連結 |
| Verification, model checking, and abstract interpretation :19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings / |
Isil Dillig, Jens Palsberg. |
|
查看
|
回報問題連結 |
| Cloud debugging and profiling in Microsoft Azure :application performance management in the cloud / |
Jeffrey Chilberto, Sjoukje Zaal, Gaurav Aroraa, Ed Price. |
|
查看
|
回報問題連結 |
| Test-driven development with React and Typescript :building maintainable react applications / |
Juntao Qiu. |
|
查看
|
回報問題連結 |
| Intelligent software defect prediction / |
Xiao-Yuan Jing, Haowen Chen, Baowen Xu. |
|
查看
|
回報問題連結 |
| Numerical software verification :10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings / |
Alessandro Abate, Sylvie Boldo. |
|
查看
|
回報問題連結 |
| Runtime verification :17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings / |
Shuvendu Lahiri, Giles Reger. |
|
查看
|
回報問題連結 |
| Formal system verification:state-of the-art and future trends / |
Rolf Drechsler. |
2018 |
查看
|
回報問題連結 |
| Selenium WebDriver recipes in C# |
Zhimin Zhan. |
2015 |
查看
|
回報問題連結 |
| Verification, model checking, and abstract interpretation:17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings / |
Barbara Jobstmann, K. Rustan M. Leino. |
2016 |
查看
|
回報問題連結 |
| Runtime verification :23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings / |
Panagiotis Katsaros, Laura Nenzi. |
|
查看
|
回報問題連結 |
| Troubleshooting Java performance :detecting anti-patterns with open source tools / |
Erik Ostermueller. |
|
查看
|
回報問題連結 |
| Software testing automation tips :50 things automation engineers should know / |
Gennadiy Alpaev. |
|
查看
|
回報問題連結 |
| Hardware and software :verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings / |
Ofer Strichman, Rachel Tzoref-Brill. |
|
查看
|
回報問題連結 |
| Java unit testing with JUnit 5 :test driven development with JUnit 5 / |
Shekhar Gulati, Rahul Sharma. |
|
查看
|
回報問題連結 |
|
|
