Вы здесь

Главная

генерация тестов

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

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
A Test Generation Framework for quiescent Real-Time Systems
Automated Test Generation and Verified Software
Automation of correctness checking in education
Branch-Coverage Testability Transformation for Unstructured Programs
Combining Algebraic and Model-Based Test Case Generation
Deductive Software Verification - The KeY Book: From Theory to Practice
Distributed On-the-Fly Model Checking and Test Case Generation
Eclat: Automatic Generation and Classification of Test Inputs
ECOOP 2010 - Object-Oriented Programming: Proc./24th European Conference, Maribor, Slovenia, June 2010
Formal Approaches to Software Testing and Runtime Verification: Revised Selected Papers/First Combined International Workshops FATES 2006 and RV 2006, Seattle,WA,USA,August 2006
Formal Approaches to Software Testing: Revised Selected Papers/5th International Workshop, FATES 2005. Edinburgh, UK, July 2005
Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014
Hardware and Software: Verification and Testing: Proc./10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 2014
Hardware and Software: Verification and Testing: Proc./4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 2008
Hardware and Software: Verification and Testing: Revised Selected Papers/5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 2009
Hardware and Software: Verification and Testing: Revised Selected Papers/6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 2010
Hardware and Software, Verification and Testing: Revised Selected Papers/Second International Haifa Verification Conference, HVC 2006 Haifa, Israel, October 2006
Model-Based Testing of Reactive Systems: Advanced Lectures
Models and Software Model Checking of a Distributed File Replication System
Perspectives of Systems Informatics: Revised Papers/7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 2009
Practical Aspects of Declarative Languages: Proc./8th International Symposium, PADL 2006. Charleston, SC, USA, January 2006
Quality of Software Architectures and Software Quality: Proc./First International Conference on the Quality of Software Architectures, QoSA 2005, and Second Intl Workshop on Software Quality, SOQUA 2005. Erfurt, Germany, September 2005
SDL 2011 - Integrating System and Software Modeling: Revised Papers/15th International SDL Forum, Toulouse, France, July 2011
Search-Based Software Engineering: Proc./10th International Symposium, SSBSE 2018, Montpellier, France, September 2018
Search Based Software Engineering: Proc./9th International Symposium, SSBSE 2017, Paderborn, Germany, September 2017
Specifying and Generating Test Cases Using Observer Automata
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/4th International Workshop, SOFL+MSVL 2014, Luxembourg, November 2014
Symbolic Test Case Generation for Primitive Recursive Functions
Test Generation Based on Symbolic Specifications
Testing for refinement in Circus
Testing of Communicating Systems: Proc./17th IFIP TC6/WG 6.1 International Conference, TestCom 2005. Montreal, Canada, May/June 2005
Testing of Software and Communicating Systems: Proc./20th IFIP TC 6/WG 6.1 Intl Conf., TestCom 2008 & 8th Intl WS FATES 2008. Tokyo, Japan, June 2008
Tests and Proofs: Proc./7th International Conference, TAP 2013, Budapest, Hungary, June 2013
Tests and Proofs: Proc./9th International Conference, TAP 2015 Held as Part of STAF 2015, L Aquila, Italy, July 2015
Theoretical Aspects of Computing - ICTAC 2008: Proc./5th International Colloquium. Istanbul, Turkey, September 2008
The Semantic Web - ISWC 2015, Part I:Proc./14th International Semantic Web Conference, Bethlehem,PA,USA, October 2015
Too Darned
Using Model Checking for Reducing the Cost of Test Generation
Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа
Автоматическая генерация тестов для графического пользовательского интерфейса по UML-диаграммам действий
Автоматическая генерация тестов для проверки распараллеливаю их и векторизую их преобразований циклов в компиляторе
Автоматическая генерация тестов для проверки распараллеливаю их и векторизую их преобразований циклов в компиляторе
Автоматическая генерация тестов для семантических анализаторов трансляторов
Автоматическая генерация тестовых данных для оптимизаторов графических моделей
Генерация исполняемых тестов для компилятора
Генерация тестов для модулей проверки статической семантики в компиляторах
Генерация тестов для семантических анализаторов
Генерация тестов на абстракциях систем событий для покрытия их состояний и переходов
Генерация тестовых данных для системного функционального тестирования FIFO-КЭШ-памяти микропроцессоров