Skip to contents

Cantenot, Jérôme [Author] ; Besançon [Contributor]; Bouquet, Fabrice [Contributor]

Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes. ; Test generation strategies from UML/OCL models interpreted with first order logic constraints system

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2013-11-13
Offerman, Theo [Author]; Verbon, Jan PottersHarry A.A. [Author]; Verbon, Harry A.A. [Author]

Cooperation in an Overlapping Generations Experiment

View online
Schließen

Links

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam and Rotterdam: Tinbergen Institute, 1999
Bloem, Roderick [Author]; Fey, Görschwin [Author]; Greif, Fabian [Author]; Könighofer, Robert [Author]; Pill, Ingo [Author]; Riener, Heinz [Author]; Röck, Franz [Author] ; Technische Universität Hamburg, Technische Universität Hamburg Institute of Embedded Systems

Synthesizing adaptive test strategies from temporal logic specifications

View online
Schließen

Access

... to article via Resolving system (freely accessible)

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

14 October 2019

Published in: Formal methods in system design ; 55(2019), 2, Seite 103-135
Rohrbacher, Heike [Author]

Interpretation bias in the context of depressed mood: assessment strategies and the role of self-generation in cognitive bias modification

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Chemnitz, 2016
Jessen, Holger [Author]; Slawinski, Timo [Author]

Test- and Rating Strategies for Data Based Rule Generation

View online
Schließen

Links

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Dortmund, 1998-11-08
La didattica delle lingue nel nuovo millennio : Le sfide dell’internazionalizzazione

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erscheinungsort nicht ermittelbar]: Fondazione Università Ca' Foscari, 2018

Published in: Studi e ricerche ; 15
World Bank

Republic of Senegal : Safety Net Assessment

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Washington, DC, 2013
Abadzi, Helen [Author]

India : Education Sector Development in the 1990s, A Country Assistance Evaluation

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

World Bank, Washington, DC, 2002

Published in: Operations Evaluation Department (OED) working paper series
World Bank Group

Slovak Republic Skilling Up the Next Generation : An Analysis of Slovak Republic’s Performance in the Program for International Student Assessment

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

World Bank, Washington, DC, 2015
Fukao, Tsuyoshi [Author]; Tandon, Prateek [Author]

Educating the Next Generation : Improving Teacher Quality in Cambodia

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Washington, DC: World Bank, 2014

Published in: Directions in Development--Human Development
Cao, Yang; Jiang, Yanyan; Xu, Chang; Ma, Jun; Ma, Xiaoxing

Perspectives on search strategies in automated test input generation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2020

Published in: Frontiers of Computer Science, 14 (2020) 3
Rojas, José Miguel; Fraser, Gordon; Arcuri, Andrea

Seeding strategies in search‐based unit test generation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2016

Published in: Software Testing, Verification and Reliability, 26 (2016) 5, Seite 366-401
Krishnamoorthy, Saparya; Hsiao, Michael S.; Lingappan, Loganathan

Strategies for scalable symbolic execution-driven test generation for programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2011

Published in: Science China Information Sciences, 54 (2011) 9, Seite 1797-1812
Jeffrey, Carl; Rosing, Richard; Richardson, Andrew

Applications of mixed-signal test strategies to next-generation microsystems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

SPIE, 2000

Published in: SPIE Proceedings (2000)
Mediakov, O.; Vysotska, V.

SONGS CONTINUATION GENERATION TECHNOLOGY BASED ON TEST GENERATION STRATEGIES, TEXTMINING AND LANGUAGE MODEL T5

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

National University "Zaporizhzhia Polytechnic", 2024

Published in: Radio Electronics, Computer Science, Control (2024) 4, Seite 157
Pomeranz, I.; Reddy, S.M.

Worst-case and average-case analysis of n-detection test sets and test generation strategies

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institution of Engineering and Technology (IET), 2007

Published in: IET Computers & Digital Techniques, 1 (2007) 4, Seite 353
Jodat, Baharin A.; Chandar, Abhishek; Nejati, Shiva; Sabetzadeh, Mehrdad

Test Generation Strategies for Building Failure Models and Explaining Spurious Failures

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2024

Published in: ACM Transactions on Software Engineering and Methodology, 33 (2024) 4, Seite 1-32
Nasser, Abdullah B.; Zamli, Kamal Z.; Alsewari, AbdulRahman A.; Ahmed, Bestoun S.

Hybrid flower pollination algorithm strategies for t-way test suite generation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Public Library of Science (PLoS), 2018

Published in: PLOS ONE, 13 (2018) 5, Seite e0195187
Slater, Hannah C.; Ross, Amanda; Ouédraogo, André Lin; White, Lisa J.; Nguon, Chea; Walker, Patrick G.T.; Ngor, Pengby; Aguas, Ricardo; Silal, Sheetal P.; Dondorp, Arjen M.; La Barre, Paul; Burton, Robert; Sauerwein, Robert W.; Drakeley, Chris; Smith, Thomas A.; Bousema, Teun; Ghani, Azra C.

Assessing the impact of next-generation rapid diagnostic tests on Plasmodium falciparum malaria elimination strategies

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2015

Published in: Nature, 528 (2015) 7580, Seite S94-S101
Zhongliang, Pan; Ling, Chen; Yihui, Chen

Test Pattern Generation with Low Power for Delay Faults in Digital Circuits by Evolution Method with Hybrid Strategies

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bentham Science Publishers Ltd., 2014

Published in: The Open Electrical & Electronic Engineering Journal, 8 (2014) 1, Seite 77-83

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication