Automatic Test Generation Based on Formal Specifications

Automatic Test Generation Based on Formal Specifications

Bibliographic Details
Main Author:	Schmitt, Michael
Other Authors:	Hogrefe, Dieter Prof. Dr.
Format:	Doctoral Thesis
Language:	English
Published:	2003
Subjects:	004 Informatik Mathematics and Computer Science Automatische Testgenerierung Autolink SDL MSC TTCN-2 TTCN-3 Automatic Test Generation 54.32 54.52 AH
Online Access:	http://hdl.handle.net/11858/00-1735-0000-0006-B3FF-5 http://nbn-resolving.de/urn:nbn:de:gbv:7-webdoc-538-3

Similar Items

UML-based Test Specification for Communication Systems
by: Ebner, Michael
Published: (2004)

Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests
by: Neukirchen, Helmut Wolfram
Published: (2004)

Refactorisation methods for TTCN-3
by: L. Eros, et al.
Published: (2007-01-01)

Uma abordagem para validação de protocolos de comunicação em ambientes de simulação
by: Domingues, Marco Antonio de Oliveira
Published: (2014)

Internal quality evolution of a large test system – an industrial study
by: Kovács Attila, et al.
Published: (2016-12-01)

Test software quality issues and connections to international standards
by: Kovács Attila, et al.
Published: (2013-07-01)

Konzept und Umsetzung einer modularen, portierbaren Middleware für den automatisierten Test eingebetteter Systeme
by: Trenkel, Kristian
Published: (2016)

UML Profile for Communicating Systems
by: Werner, Constantin
Published: (2007)

Specification of REST API Services for Modbus Protocol using Formal technique
by: M. Jayasankar, et al.
Published: (2017-12-01)

Improving productivity in large scale testing at the compiler level by changing the intermediate language from C++ to Java
by: Farkas Izabella Ingrid, et al.
Published: (2021-06-01)

The Inter-Domain Key Exchange Protocol
by: Soltwisch, Rene Alexander
Published: (2006)

Mapping SDL Specification Fundamentals to Core SDL Ontology
by: Marina Bagić Babac, et al.
Published: (2010-03-01)

Modellierung und Realisierung eines IT-Systems zur Verwaltung und Analyse industrieller Arbeitsplätze unter Einbeziehung von ergonomischen und gesundheitlichen Aspekten
by: Dubian, Clemens
Published: (2009)

Possibility of SystemC code generation from SDL specification
by: Pavel Morozkin
Published: (2012-04-01)

Describing Layered Communication Architecture in SDL Markup Language
by: Marina Bagic Babac, et al.
Published: (2010-06-01)

Decentralized Network Based Mobility Management: Framework, System Design and Evaluation
by: Neumann, Niklas
Published: (2011)

Processing and Extending Flow-Based Network Traffic Measurements
by: Anderson, Sven
Published: (2009)

Perbedaan Model Problem Based Learning dengan Discovery Learning terhadap Higher Order Thingking Skills dan Self Directed Learning di Sekolah Dasar
by: Friska Efendi, et al.
Published: (2020-12-01)

Services à haute intensité technologique : l'adoption des services de données pour téléphonie mobile en France
by: Moreno Alcerreca, Christina
Published: (2010)

Obtaining an SDL entity identifier using SDL/SystemC co-modeling
by: Pavel Morozkin
Published: (2012-11-01)

Proposta de mobilidade para protocolos H.323 e SIP em telefonia IP, utilizando linguagem de especificação formal SDL orientada a objetos
by: Chung, Stella Wing Kwan
Published: (2004)

Modelling SDL, Modelling Languages
by: Michael Piefel, et al.
Published: (2007-02-01)

Listening to student voice-understanding student and faculty experience at two UK graduate entry programmes
by: M. Abdulhadi Alagha, et al.
Published: (2021-04-01)

Leveraging Email based Social Networks to Prevent Spam: Framework, System Design and Evaluation
by: Hameed, Sufian
Published: (2012)

On Lower Bounds for Parity Branching Programs
by: Homeister, Matthias
Published: (2003)

Mjukvarubaserad 3D-renderare
by: Pettersson, Mattias
Published: (2008)

Usage-based Testing of Event-driven Software
by: Herbold, Steffen
Published: (2012)

Registration of Historic and Modern Images in Urban Rephotography
by: Becker, Ann-Katrin
Published: (2020)

Eksplorasi keterampilan self-directed learning (SDL) siswa SMA: a descriptive research study
by: Intan Febry Sulasiwi, et al.
Published: (2019-06-01)

Design and Test of Algorithms for the Evaluation of Modern Sensors in Close-Range Photogrammetry
by: Scheibe, Karsten
Published: (2008)

The efficacy of self-directed learning versus problem-based learning for teaching and learning ophthalmology: a comparative study
by: Atta IS, et al.
Published: (2018-09-01)

A situation analysis of the security awareness at Software Vendors and how to best inform them about the Microsoft Security Development Lifecycle
by: Gunnbäck, Johannes, et al.
Published: (2010)

Sintese comportamental de circuitos digitais utilizado SDL
by: Figueiredo, Renato Jansen de Oliveira
Published: (1995)

The Current Status of Mesenchymal Stromal Cells: Controversies, Unresolved Issues and Some Promising Solutions to Improve Their Therapeutic Efficacy
by: David García-Bernal, et al.
Published: (2021-03-01)

SEIRD COVID-19 Formal Characterization and Model Comparison Validation
by: Pau Fonseca i Casas, et al.
Published: (2020-07-01)

Assessing the controlling effect of divalent cations on DETPMP inhibition of barite scale via molecular modelling
by: Wahid, Fazrie
Published: (2004)

Imaging the photodissociation dynamics of molecular hydride cations
by: Webb, Alexander
Published: (2009)

Characterisation of non-metal cation polyborate salts and silicate solutions
by: Timmis, James L.
Published: (2011)

A simple proof of a result of Abramovich and Wickstead
by: Ercan Zafer
Published: (2005-06-01)

Self-directed learning and practice of Italian osteopathic students during summer break: a cross-sectional survey
by: Giandomenico D’Alessandro, et al.
Published: (2019-08-01)