![]() On Demand, Informatica Identity Resolution, Informatica Application Information Lifecycle Management, Informatica Complex Event Processing, Ultra Messaging and PowerMart, Metadata Manager, Informatica Data Quality, Informatica Data Explorer, Informatica B2B Data Transformation, Informatica B2B Data Exchange Informatica Informatica, Informatica Platform, Informatica Data Services, PowerCenter, PowerCenterRT, PowerCenter Connect, PowerCenter Data Analyzer, PowerExchange, If you find any problems in this product or documentation, please report them to us The information in this product or documentation is subject to change without notice. Government is subject to the restrictions set forth in the applicable software license agreement and as Use, duplication, or disclosure of the Software by the U.S. This Software may be protected by U.S.Īnd/or international Patents and other Patents Pending. No part of this document may be reproduced or transmitted inĪny form, by any means (electronic, photocopying, recording or otherwise) without prior consent of Informatica Corporation. Reverse engineering of the software is prohibited. This software and documentation contain proprietary information of Informatica Corporation and are provided under a license agreement containing restrictions on useĪnd disclosure and are also protected by copyright law. 4th IWPTS, Leidschendam, 1991.Informatica PowerCenter Advanced Workflow GuideĬopyright (c) 1998-2014 Informatica Corporation. Alilovic-Curgus On Test Coverage Metrics for Communication Protocols Proc. Ito The OMethod for Protocol Test Sequence Genera tion Proc. Verhaard Test Selection in Conformance Testing Memoranda Informatica, 91–52, Unversity of Twente, 1991. König Test Derivation from LOTOS using Structure Information Proc. Tretmans A Formal Approach to Conformance Testing Proc. Object-Oriented Modeling and Design Prentice-Hall New Jersey 1991. Guo E-MPT Protocol Testing: Preliminary Experimental Results Proc. Nexpert Object Version 2.0, User’s Guide California, 1991. ![]() Myers The art of software testing John Wiley & Sons Inc., 1979. Milner Communication and Concurrency Prentice-Hall 1989. Lunze Künstliche Intelligenz für Ingenieure (in German) Oldenbourg Verlag, Munich,1994. Langerak A Testing Theory for LOTOS using Deadlock Detection Proc. ISO/IEC LOTOS - A Formal Description Technique Based on the Temporal Ordering of Ob servational Behavior IS 8807, 1989. Hogrefe OSI formal specification case study: the Inres protocol and service, revised Universität Bern, Institut für Informatik, 1992. Automatic Analysis and Test Case Derivation for Restricted Class of LOTOS Expressions with Data Parameters Proc. ![]() Test Selection Based on Finite-State Models IEEE Transactions on Soft ware Engineering, 17(6), 1991. ISO/IEC Working Document on Formal Methods in Conformance Testing Paris, 1995. Eijk Tools for LOTOS, a Lotosphere overview Memoranda informatica 91–25,University of Twente, 1991. Bochmann TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models Proc. Verhaard A Framework for Test Selection Proc. ![]() Brinksma A theory for the derivation of tests Proc. ![]() Boehm Software Engineering Economics IEEE Transactions on Software Engineer ing, 10(1), 1984.Į. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |