Вы здесь

Главная

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

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

Generation of Execution Sequences for Modular Time Critical Systems
Generation of Optimized Testsuites for UML Statecharts with Time
Getting the correct answers
GIDTS - A Graphical Programming Environment for Prolog
Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Tnterfaces
Good Random Testing
Grammar Testing
Graph Transformations: Proc./Second International Conference, ICGT 2004. Rome, Italy, September/October 2004
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./12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 2016
Hardware and Software: Verification and Testing: Proc./9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 2013
Hardware and Software: Verification and Testing: Proc./Third International Haifa Verification Conference, HVC 2007. Haifa, Israel, October 2007
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/Fist International Haifa Verification Conference. Haifa, Israel, November 2005
Hardware and Software, Verification and Testing: Revised Selected Papers/Second International Haifa Verification Conference, HVC 2006 Haifa, Israel, October 2006
Hierarchy in Testing Distributed Programs
How to Design Practical Test Cases
Human-Computer Interaction: Advances Interaction Modalities and Techniques, Part II: Proc./16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 2014
Hybrid Systems: Computation and Control: Proc./10th International Conference, HSCC 2007. Pisa, Italy, April 2007
HyperDEBU: A Multiwindow Debugger for Parallel Logic Programs
HyperMSCs and Sequence Diagrams for Use Case Modeling and Testing
HyperMSCs with Connectors for Advanced Visual System Modeling and Testing
Implementation and Application of Functional Languages: Revised Selected Papers/24th International Symposium, IFL 2012, Oxford, UK, August 2012
Implementation of an Open Source Toolset for CCM Components and Systems Testing
Implmentation-Based Analysis and Testing of Prolog Programs
Improving CMM software quality
Improving Design Dependability by Exploiting an Open Model-Based Specification
Improving Software Tests using Z Specifications
INAP Protocol Test Suite Verification Method Using the IUT Simulator for AIN System Conformance Testing
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs
Increasing the Testability of Object-Oriented Frameworks with Built-in Tests
Independent Testing of Voting Systems
Information Theory, Combinatorics, and Search Theory: In Memory of Rudolf Ahlswede
Injecting Faults into Environment Simulators for Testing Safety Critical Software
Integrated Formal Methods: Proc./10th International Conference, IFM 2013, Turku, Finland, June 2013
Integrated Formal Methods: Proc./12th International Conference, IFM 2016, Reykjavik, Iceland, June 2016
Integration of Functional and Timed Testing of Real-Time and Concurrent System
Intelligent Robotics and Applications, Part I:Proc./9th International Conference, ICIRA 2016, Tokyo, Japan, August 2016
Intelligent Software Methodologies, Tools and Techniques: Proc./14th International Conference, SoMeT 2015, Naples, Italy, September 2015
Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation
International Symposium on Fundamentals of Software Engineering: Proc./ International Symposium, FSEN 2007. Tehran, Iran, April 2007
Interoperability Testing Based on a Fault Nodel for a System of Communicating FSMs
Interoperability testing: Experience with MAP and CNMA
Investigations of the Software Testing Coupling Effect
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
jRapture: A Capture/Replay Tool for Observation-Based Testing
KITSS: Using Knowledge-Based Software Enginnering for Functional Testing
KUSET - Knowledge Based Support for Electron Beam Testing
Lazy Structure Sharing for Query Optimization
Learner-Model Approach to Multi-agent Intelligent Distance Learning Systems for Program Testing