Вы здесь

Главная

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

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

Efficient Search as a Means of Executing Specifications
Eiffel as a Framework for Verification
Embadded Software and Systems: Proc./2-nd International Conference, ICESS 2005. Xi an,China,December 2005
Embedded Software and Systems: Revised Selected Papers/First International Conference, ICESS 2004. Hangzhou, China, December 2004
End-User Software Engineering
Ensuring Structural Testability of High-Density SMT Circuit Packs
Environments for Testing Software Systems
Establishing an Agile Testing Team: Our Four Favorite "Mistakes"
Estimation of Software Reliability by Stratified Sampling
ETSI Testing Activities and the Use of TTCN-3
Evaluating the Efectiveness of Independent Verification and Validation
Evaluating the Performance of a Web Site via Queuing Theory
Evaluating the Quality of Process Models: Empirical Testing of a Quality Framework
Evaluating the Security of Three Java-Based Mobile Agent Systems
Evaluation of Cross-Language Information Retrieval Systems: Proc./Second Workshop of the Cross-Language Evaluation Forum, CLEF 2001, Darmstadt, Germany, September 2001
Evaluation of Expert System Testing Methods
Evaluation of High Performance Parallel Database Machines
Evaluation Techniques: Exploring the Intersection of HCI and Software Engineering
Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey
Execution of External Applications Using TTCN-3
Experience in Testing the Motif Interface
Experiments with Test Case Generation and Runtime Analysis
Exploitation of Software Test Technology
Extended Model-Based Testing toward Hide Code Coverage Rate
Extendidng Design-for-Test Into the Analog and Mixed-Signal Domains
Extreme Programming and Agile Methods - XP/Agile Universe 2003: Proc./Third XP Agile Universe Conf., New Orleans, LA, USA, August 2003
Extreme Programming and Agile Methods - XP/Agile Universe 2004: Proc./4th Conference on Extreme Programming and Agile Methods. Calgary, Canada, August 2004
Extreme Programming and Agile Processes in Software Engineering: Proc./4th Intern. Conf., XP 2003, Genova, Italy, May 2003
Extreme Programming in a Research Environments
Fair Testing
Faster Asynchronous Systems
Fast Testing of Critical Properties through Passive Testing
Fault Classes and Error Detection Capability of Specification-Based Testing
Fault Diagnosis in Extended Finite State Machines
Fault Propagation by Evaluation Solving
Faults on Its Sleeve: Amplifying Software Reliability Testing
Feature Interaction Detection Using Testing and Model-Checking Experience Report
Filtering TOBIAS Combinatorial Test Suites
Finding Bugs with a Constraint Solver
FM 2005: Formal Methods: International Symposium of Formal Methods Europe. Newcastle, UK, July 2005
FM 2009: Formal Methods: Proc./2nd World Congress. Eindhoven, The Netherlands, November 2009
FM 2011: Formal Methods: Proc./17th International Symposium on Formak Methods, Limerick, Ireland, June 2011
Formak Methods and Software Engineering: Proc./ 9th International Conference ICFEM 2007. Boca Raton, FL, USA, November 2007
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: Proc./Third Intern. Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 2003
Formal Approaches to Software Testing: Revised Selected Papers/4th International Workshop, FATES 2004. Linz, Austria, September 2004
Formal Approaches to Software Testing: Revised Selected Papers/5th International Workshop, FATES 2005. Edinburgh, UK, July 2005
Formal Aspects of Component Software: Proc./14th International Conference, FACS 2017, Braga, Portugal, October 2017
Formal Aspects of Component Software: Revised Selected Papers/13th International Conference, FACS 2016, Besancon, France, October 2016
Formal Derivation of Finite State Machines for Class Testing