Symbolic Model Based Testing for Component Oriented Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-73066-8_7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Model-Based Software Testing for Object-Oriented Software

E-Learning
Computer Science ApplicationsEducation
2008English

Model-Based Testing From Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Generalized Symbolic Execution for Model Checking and Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Model-Driven Information Flow Security for Component-Based Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Symbolic Model Checking for Simply-Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Model-Based Testing of Probabilistic Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2018English

Hierarchical Model to Develop Component-Based Systems

2008English

A Logical Basis for Component-Oriented Software and Systems Engineering

Computer Journal
Computer Science
2010English

Model-Based Testing for Concurrent Systems With Labelled Event Structures

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy