Вы здесь

Главная

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

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

Formal Extreme (and Extremely Formal) Programming
Formalization, Testing and Execution of a Use Case Diagram
Formal Methods and Software Engineering: Proc./10th International Conference on Formal Engineering Methods, ICFEM 2008. Kitakyushu-City, Japan, October 2008
Formal Methods and Software Engineering: Proc./11th International Conference, ICFEM 2009, Rio de Janeiro, Brazil, December 2009
Formal Methods and Software Engineering: Proc./8th International Conference ICFEM 2006, Macao,China,November 2006
Formal Methods and Testing: Hypotheses, and Correctness Approximations
Formal Methods and Testing: Revised Selected Papers/An Outcome of the FOREST Network
Formal Methods: Applications and Technology: Revised Selected Papers/11th Intl WS FMICS 2006 & 5th Intl WS PDMC 2006. Bonn, Germany, August 2006
Formal Methods for Components and Objects: Revised Lectures/4th International Symposium, FMCO 2005. Amsterdam, The Netherlands, November 2005
Formal Methods for Components and Objects: Revised Lectures/5th International Symposium, FMCO 2006. Amsterdam, The Netherlands, November 2006
Formal Methods for Eternal Networked Software System: Advanced Lectures/11th International School on Formal Methods for the Design of Computer..., SFM 2011, Bertinoro, Italy, June 2011
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
Formal Methods for Hardware Verification: Advanced Lectures/6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. Bertinoro, Italy, May 2006
Formal Methods for Industrial Critical Systems: Proc./14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2009
Formal Methods for Industrial Critical Systems: Proc./23rd International Conference, FMICS 2018, Maynooth, Ireland, September 2018
Formal Methods for Industrial Critical Systems: Revised Selected Papers/12th International Workshop, FMICS 2007. Berlin, Germany, July 2007
Formal Methods: Founations and Applications: Proc./18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, Septenber 2015
Formal Methods: Foundations and Applicationas: Revised Selected Papers/12th Brazilian Symposium, SBMF 2009, Gramado Brazil, August 2009
Formal Methods in Testing Software Architectures
Formal Techniques for Distributed Objects, Components, and Systems: Proc./36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference, DisCoTec 2016, Heraklion, Crete, Greece, June 2016
Formal Techniques for Networked and Distributed Systems - FORTE 2004: Proc./24th IFIP WG 6.1 International Conference. Madrid, Spain, September 2004
Formal Techniques for Networked and Distributed Systems - Forte 2005: Proc./25th IFIP WG 6.1 International Conference. Taipei, Taiwan, October 2005
Formal Techniques for Networked and Distributed Systems - FORTE 2006: Proc./26th IFIP WG 6.1 International Conference. Paris, France, September 2006
Formal Techniques for Networked and Distributed Systems - FORTE 2008: Proc./28th IFIP WG 6.1 International Conference. Tokyo, Japan, June 2008
Frame-Based Self-adaptive Test Case Selection
Framework and Model for Automated Interoperability Test and Its Application to ROHC
From Algorithms to Working Programs: On the Use of Program Checking in LEDA
From Design to Test with UML (Applied to a Roaming Algorithm for Bluetooth Devices)
From Safety Verification to Safety Testing
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of His 65th Birthday
From Testing to Training: Evaluating Automated Diagnostis in Statistics and Algebra
FSM Based Interoperability Testing Methods for Multi Simuli Model
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes
Fun and Games: Proc./Second International Conference. Eindhoven, The Netherlands, October 2008
Functional and Constraint Logic Programming: Revised Selected Papers/26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 2018
Functional Testing, Structural Testing, and Code Reading: What Fault Type Do They Each Detect?
Fundamental Approaches to Software Engineering: Proc./11th International Conference, FASE 2008, Part of ETAPS 2008. Budapest, Hungary, March/April 2008
Fundamental Approaches to Software Engineering: Proc./13th International Conference, FASE 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010
Fundamental Approaches to Software Engineering: Proc./16th International Conference, FASE 2013 Held as Part of the European Joint Conferences ETAPS 2013, Rome, Italy, March 2013
Fundamental Approaches to Software Engineering: Proc./17th International Conference, FASE 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Fundamental Approaches to Software Engineering: Proc./18th International Conference, FASE 2015 Held as Part of the ETAPS 2015, London, UK, April 2015
Fundamental Approaches to Software Engineering: Proc./19th Intl Conference, FASE 2007, part of ETAPS 2007. Braga, Portugal, March/April 2007
Fundamental Approaches to Software Engineering: Proc./23rd International Conference, FASE 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Fundamntal Approaches to Software Engineering: Proc./12th International Conference, EASE 2009, ETAPS 2009, York, UK, March 2009
Further Empirical Studies of Test Effectiveness
Games and Learning Alliace: Proc./7th International Conference, GALA 2018, Palermo, Italy, December 2018
Games and Learning Alliance: Proc./9th International Conference, GALA 2020, Laval, France, December 2020
GAST: Generic Automated Software Testing
Generalized Symbolic Execution for Model Checking and Testing
Generating Tests from UML Specifications