Automatic test selection based on CEFSM specifications

QR kód

Automatic test selection based on CEFSM specifications

Mutation analysis is a fault based testing method used initially for code based software testing. In this paper, this method is applied to formal specifications and used for automatic conformance test selection. This paper defines formally a set of mutation operators for CEFSM (Communicating Extende...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Kovács Gábor Pap Zoltán Csopaki Gyula
Testületi szerző:	Finno-Ugoric Symposium on Programming Languages and Software Tools (7.) (2001) (Szeged)
Dokumentumtípus:	Cikk
Megjelent:	2002
Sorozat:	Acta cybernetica 15 No. 4
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/12697

Hasonló tételek

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

Uniform test selection method [abstract] /
Szerző: Bohus Mihály
Megjelent: (1998)

Inline expressions in protocol test specification [abstract] /
Szerző: Fazakas Antal, et al.
Megjelent: (2002)

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

Image processing-based automatic pupillometry on infrared videos
Szerző: Kalmár György, et al.
Megjelent: (2017)

Testing the selection heuristic of the Accelerated Branch and Bound method
Szerző: Heinc Emília, et al.
Megjelent: (2024)

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

Model driven testing of component based systems [abstract] /
Szerző: Bátori Gábor, et al.
Megjelent: (2006)

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

A fully automatic medical image registration algorithm based on mutual information [abstract] /
Szerző: Tanács Attila, et al.
Megjelent: (2002)

Rule-based system for conformance testing [abstract] /
Szerző: Areik Abdallah Khalil
Megjelent: (1998)

Applicability of UML in protocol and test development [abstract] /
Szerző: Kasza Tamás, et al.
Megjelent: (2002)

Evaluation of a fully automatic medical image registration algorithm based on mutual information
Szerző: Tanács Attila, et al.
Megjelent: (2003)

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

On a parity based group testing algorithm
Szerző: Kiss Sándor Z., et al.
Megjelent: (2015)

Automatic checking of the usage of the C++ move semantics
Szerző: Baráth Áron, et al.
Megjelent: (2015)

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

Test data optimization method for TTCN-3 [abstract] /
Szerző: Bátori Gábor, et al.
Megjelent: (2004)

Automatic Detection and Characterization of Biomarkers in OCT Images
Szerző: Katona Melinda, et al.
Megjelent: (2018)

Static specification completeness checking of UML state machines [abstract] /
Szerző: Pap Zsigmond
Megjelent: (2000)

High-level restructuring of TTCN-3 test suites [abstract] /
Szerző: Wu-Hen-Chang Antal, et al.
Megjelent: (2006)

Parallelization of an algorithm for the automatic detection of deformable objects
Szerző: González-Linares J. M., et al.
Megjelent: (2001)

Automatically generated Icons for documents of electronic libraries [abstract] /
Szerző: Schmideg Ádám
Megjelent: (1998)

Automatic Segmentation and Quantitative Analysis of Irradiated Zebrafish Embryos
Szerző: Katona Melinda, et al.
Megjelent: (2019)

Automatic calculation of process metrics and their bug prediction capabilities
Szerző: Gyimesi Péter
Megjelent: (2017)

Towards a classification-based systematic approach to facilitate the design of domain-specific visual languages
Szerző: Bácsi Sándor, et al.
Megjelent: (2019)

Automatic vessel segmentation from CDSA image sequences [abstract] /
Szerző: Michnay Balázs, et al.
Megjelent: (2006)

Automatic Planning of Vehicle and Driver Schedules for Public Transportation A Case Study /
Szerző: Békési József, et al.
Megjelent: (2023)

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

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

Improving Speed and Accuracy in Automatic Speech Recognition
Szerző: Gosztolya Gábor
Megjelent: (2010)

Software specification methods and attribute grammars
Szerző: Riedewald Guenter, et al.
Megjelent: (1987)

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

Transformation and simulation of domain specific languages [abstract] /
Szerző: Vágó Dávid
Megjelent: (2006)

Válogatás a hálózatalapú járványterjedési modellek eredményeiből [Selection of results of network-based epidemic spread models]
Szerző: Bóta András, et al.
Megjelent: (2022)

Comparing specification with proved properties of clean dynamics [abstract] /
Szerző: Lövei László, et al.
Megjelent: (2006)

Automatic Longitudinal Investigation of Multiple Sclerosis Subjects
Szerző: Gosztolya Gábor, et al.
Megjelent: (2024)

Strategy selection in the resolution theory [abstract] /
Szerző: Jánvári Gusztáv
Megjelent: (2000)

Automatic Assessment of the Degree of Clinical Depression from Speech Using X-Vectors
Szerző: José Vicente Egas López, et al.
Megjelent: (2022)

Joint optimization of spectro-temporal features and deep neural nets for robust automatic speech recognition
Szerző: Kovács György, et al.
Megjelent: (2015)