Zobrazeno 1 - 10
of 2 548
pro vyhledávání: '"TEST generators"'
Autor:
Peltomäki, Jarkko, Porres, Ivan
Black-box runtime verification methods for cyber-physical systems can be used to discover errors in systems whose inputs and outputs are expressed as signals over time and their correctness requirements are specified in a temporal logic. Existing met
Externí odkaz:
http://arxiv.org/abs/2410.03202
There is an increasing amount of research and commercial tools for automated test case generation using Large Language Models (LLMs). This paper critically examines whether recent LLM-based test generation tools, such as Codium CoverAgent and CoverUp
Externí odkaz:
http://arxiv.org/abs/2412.14137
Autor:
Riccio, Vincenzo, Tonella, Paolo
Testing Deep Learning (DL) based systems inherently requires large and representative test sets to evaluate whether DL systems generalise beyond their training datasets. Diverse Test Input Generators (TIGs) have been proposed to produce artificial in
Externí odkaz:
http://arxiv.org/abs/2212.11368
The correctness of compilers is instrumental in the safety and reliability of other software systems, as bugs in compilers can produce executables that do not reflect the intent of programmers. Such errors are difficult to identify and debug. Random
Externí odkaz:
http://arxiv.org/abs/2012.10662
Autor:
Devroey, Xavier, Gambi, Alessio, Galeotti, Juan Pablo, Just, René, Kifetew, Fitsum, Panichella, Annibale, Panichella, Sebastiano
Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various languages (e.g., Java, C#, or Python) and for various platforms (e.g., desktop
Externí odkaz:
http://arxiv.org/abs/2106.07520
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Tarau, Paul
We develop combinatorial test generation algorithms for progressively more powerful theorem provers, covering formula languages ranging from the implicational fragment of intuitionistic logic to full intuitionistic propositional logic. Our algorithms
Externí odkaz:
http://arxiv.org/abs/1910.01775
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Vockell, Edward L., Fiore, Douglas J.
Publikováno v:
Clearing House. Jul/Aug93, Vol. 66 Issue 6, p356. 7p. 5 Charts.
