Вы здесь

Главная

тестирование по

Связанные издания:

Automated Technology for Verification and Analysis: Proc./17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2019
Computational Science and Its Applications - ICCSA 2014, Part I: Proc./14th International Conference, Guimaraes, Portugal, June 2014
Computer Aided Verifications: Proc./ 23rd International Conference, CAV 2011, Snowbird,UT,USA, July 2011
Empirical Software Engineering and Verification: Revised Tutorial Lectures/ International Summer Schools, LASER 2008-2010, Elba Island, Italy
Engineering Trustworthy Software Systems: Tutorial Lectures/3rd International School, SETSS 2017, Chongqing, China, April 2017
Engineering Trustworthy Software Systems: Tutorial Lectures/5th International School, SETSS 2019, Chongqing, China, April 2019
Formal Methods: Foundations and Applications: Proc./15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 2012
Formal Methods: Foundations and Applications: Proc./16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 2013
Fundamental Approaches to Software Engineering: Proc./24th International Conference, FASE 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Fundamentals of Software Engineering: Revised Selected Papers/7th International Conference, FSEN 2017, Tehran, Iran, April 2017
Future Internet Testing: Revised Selected Papers/1st International Workshop, FITTEST 2013, Istanbul, Turkey, November 2013
Hardware and Software: Verification and Testing: Proc./13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 2017
Lectures on Runtime Verification: Introductory and Advanced Topics
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 2012
Practical Aspects of Declarative Languages: Proc./23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 2021
Product-Focused Software Process Improvement: Proc./16th International Conference, PROFES 2015, Bolzano, Italy, Dexmber 2015
Search-Based Software Engineering: Proc./7th International Symposium, SSBSE 2015, Bergamo, Italy, September 2015
Search Based Software Engineering: Proc./8th International Symposium, SSBSE 2016, Raleigh,NC,USA, October 2016
Software Analysis, Testing, and Evolution: Proc./8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 2018
Software Engineering and Formal Methods: Proc./12th International Conference, SEFM 2014, Grenoble, France, September 2014
Static Analysis: Proc./21st International Symposium, SAS 2014, Munich, Germany, September 2014
Tests and Proofs: Proc./8th International Conference, TAP 2014 Held as Part of STAF 2014, York, UK, July 2014
Theory and Practice of Model Transformations: Proc./7th International Conference, ICMT 2014 Held as Part of STAF 2014, York, UK, July 2014
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/11th International Conference, VSTTE 2019, New York City, NY,USA, July 2019