Вы здесь

Главная

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

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

Lessons from Using Z to Specify a Software Tool
Leveraging Applications of Formal Methods, Virification and Validation: Technologies for Mastering Change, Part I: Proc./6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 2014
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases
Load Testing Software using Deterministic State Testing
Local States in Distributed Computations: A Few Relations and Formulas
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/24th International Symposium, LOPSTR 2014, Canterbury, UK, September 2014
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/28th International Symposium, LOPSTR 2018, Frankfurt\Main, Germany, September 2018
Logic Programming and Nonmonotonic Reasoning: Proc./11th International Conference, LPNMR 2011, Vancouver, Canada, May 2011
Logic Programming and Nonmonotonic Reasoning: Proc./14th International Conference, LPNMR 2017, Espoo, Finland, July 2017
Logic Programming for Software Testing
Logic Program Testing Based on Abstract Interpretation
Making Globally Distributed Software Development a Success Story: Proc./International Conference on Software Process, ICSP 2008. Leipzig, Germany, May 2008
Making Specifications Complete Through Models
Managing Conflict in Software Testing
Managing Large-Scale Service Deployment: Proc./19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008. Samos Island, Greece, September 2008
Managing the Testing Process
Manchecter Dataflow Machine: Benchmark Test Evaluation Report
Methods for Synthesizing Testable Sequential Circuits
Microsoft Windows 98: первые впечатления
Middleware 2008: Proc./ACM/IFIP/USENIX 9th International Middleware Conference. Leuven, Belgium, December 2008
Middleware 2009: Proc/ ACM/IFIP/USENIX 10th International Middleware Conference, Urbana,IL,USA, November/December 2009
Model-Based Safety and Assessment: Proc./4th International Symposium, IMBSA 2014, Munich, Germany, October 2014
Model-Based Testing of Object-Oriented Systems
Model-Based Testing of Reactive Systems: Advanced Lectures
Model Building by Resolution
Model Checking Software: Proc./16th International SPIN Workshop, Grenoble, France, June 2009
Model Checking Software: Proc./17th International SPIN Workshop, Enschede, The Netherlands, September 2010
Model Checking Software via Abstraction of Loop Transitions
Model Driven Architecture - Foundations and Applications: Proc./4th European Conference, ECMDA-FA 2008. Berlin, Germany, June 2008
Model Driven Engineering Languages and Systems, Part II: Proc./13th International Conference, MODELS 2010, Oslo, Norway, October 2010
Model Driven Engineering Languages and Systems, Part I: Proc./13th International Conference, MODELS 2010, Oslo, Norway, October 2010
Model Driven Engineering Languages and Systems: Proc./11th International Conference, MoDELS 2008. Toulouse, France, September/October 2008
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Modeling and Testing Legacy Data Consistency Requirements
Modeling and Verification of Parallel Processes: Proc./4th Summer School, MOVEP 2000, Nantes, France, June 2000
Multidimensional Voting
Mutation Analysis Using Mutant Schemata
Mutation Testing Applied to Validate SDL Specifications
NASA Formal Methods: Proc./7th International Symposium, NFM 2015, Pasadena,CA,USA, April 2015
NASA Formal Methods: Proc./8th International Symposium, NFM 2016, Minneapolis,MN,USA, June 2016
Network Advisor
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach
Non-Destructive Optical Techniques for Characterizing Semiconductor Materials and Devices
Nondeterminacy: Testing and Debugging in Message Passing Parallel Programs
Normalized Restricted Random Testing
Novel Modification of the W-method
NSA s MISSI Reference Architecture - Moving from Prose to Precise Specifications
Objective Software Quality: Proc./Objective Quality: Second Symp. on Software Quality Techniques and Acquisition Criteria. Florence, Italy, May 1995
Object-Oriented and Internet-Based Technologies: Proc./5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts and Applications for a Networked World, Net.ObjectDays 2004. Erfurt, Germany, September 2004
Objektorientiertes Testen