Generation of test cases for simple Prolog programs

QR kód

Generation of test cases for simple Prolog programs

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Kilpeläinen Pekka Mannila Heikki
Dokumentumtípus:	Cikk
Megjelent:	1990
Sorozat:	Acta cybernetica 9 No. 3
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12470

Hasonló tételek

Error diagnosis in prolog programs a critical view : [abstract] /
Szerző: Kókai Gabriella
Megjelent: (1998)

Test generation with dynamic impact analysis for C++ programs [abstract] /
Szerző: Biczó Mihály, et al.
Megjelent: (2006)

Auto case test selection from WAP test suites [abstract] /
Szerző: Fazakas Antal
Megjelent: (2000)

Bluetooth modelling, validation and test suite generation [abstract] /
Szerző: Horváth Endre
Megjelent: (2002)

FDBG, a CLP(FD) debugger for SICtus prolog [abstract] /
Szerző: Hanák Dávid, et al.
Megjelent: (2002)

Simple deterministic machines
Szerző: Khanh N. T.
Megjelent: (1982)

A modelling tool based on mathematical logic T-PROLOG
Szerző: Futó István, et al.
Megjelent: (1981)

On extended simple eco-grammar systems
Szerző: Csima Judit
Megjelent: (1998)

Two simple algorithms for bin covering
Szerző: Csirik János, et al.
Megjelent: (1999)

Necessary test cases for decision coverage and modified condition / decision coverage [abstract] /
Szerző: Szűgyi Zalán, et al.
Megjelent: (2008)

Standardized event pair based test generation method using TSS&TP
Szerző: Pap Zoltán, et al.
Megjelent: (2002)

On extended simple eco-grammar systems [abstract] /
Szerző: Csima Judit
Megjelent: (1998)

Automatic test purpose generation based on formal grammar representation of communication protocols [abstract] /
Szerző: Gőgös Barnabás
Megjelent: (2000)

A quantum constraint generation framework for binary linear programs
Szerző: Czégel András, et al.
Megjelent: (2025)

A new concept of effective regression test generation in a C++ specific environment
Szerző: Biczó Mihály, et al.
Megjelent: (2008)

A simple shading for computer displayed surfaces
Szerző: Herman Gábor T., et al.
Megjelent: (1978)

Completeness in non-simple and stable modal logics
Szerző: Tóth K.
Megjelent: (1980)

Acts over completely 0-simple semigroups
Szerző: Avdeev A. Û., et al.
Megjelent: (2000)

Type inference of simple recursive functions in Scala
Szerző: Nagy Gergely, et al.
Megjelent: (2022)

Generation of sentences with their parses the case of propagating scattered context grammars /
Szerző: Meduna Alexander, et al.
Megjelent: (2005)

The vector library testing of feldspar programming language based on axiomatic semantics [abstract] /
Szerző: Bunyik Karina, et al.
Megjelent: (2010)

Two remarks on variants of simple eco-grammar systems
Szerző: Csima Judit
Megjelent: (2000)

Test suite reduction in conformance testing
Szerző: Csöndes Tibor, et al.
Megjelent: (1999)

Towards JavaScript program repair with Generative Pre-trained Transformer (GPT-2)
Szerző: Lajkó Márk, et al.
Megjelent: (2022)

Test functions and to test functions a framework for global optimization on Stiefel manifolds : [abstract] /
Szerző: Balogh János, et al.
Megjelent: (2002)

Automatic code generation from SDL to a functional programming language for safety critical systems [abstract] /
Szerző: Gombos László
Megjelent: (2000)

Reduction of simple semi-conditional grammars with respect to the number of conditional productions
Szerző: Meduna Alexander, et al.
Megjelent: (2002)

Automatic wizard generation [abstract] /
Szerző: Szegő Dániel
Megjelent: (2002)

Neural morphological generators for Hungarian
Szerző: Laki László János, et al.
Megjelent: (2023)

Test component assignment and scheduling in a load testing environment [abstract] /
Szerző: Bozóki Ferenc, et al.
Megjelent: (2008)

Surprises with different C/C++ implementations and a quizzical MAPLE example - two short case studies in programming [abstract] /
Szerző: Bársony István
Megjelent: (2010)

Program
Megjelent: (2010)

Testing Internet applications terminology and applicability /
Szerző: Malek Mazen, et al.
Megjelent: (1999)

Generation of the k-trees of a graph
Szerző: Pávó Imre
Megjelent: (1971)

Optimal trajectory generation for Petri nets
Szerző: Gyapay Szilvia, et al.
Megjelent: (2005)

Correctness-proven code generation for MDA [abstract] /
Szerző: Balogh András
Megjelent: (2004)

Automatic generation of compiled model transformations [abstract] /
Szerző: Horváth Ákos
Megjelent: (2006)

Code generation from UML models [abstract] /
Szerző: Frohner Ákos, et al.
Megjelent: (2000)

HunSimpleNews az első autentikus magyar nyelvű szövegekből álló szövegegyszerűsítési korpusz /
Szerző: Prótár Noémi, et al.
Megjelent: (2025)

Formal grammars in conformance testing [abstract] /
Szerző: Rotter Csaba V.
Megjelent: (2000)