Test Generation Based on Symbolic Specifications

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-31848-4_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Symbolic Test Case Generation for Primitive Recursive Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Real-Time Java API Specifications for High Coverage Test Generation

2012English

Mutation of Model Checker Specifications for Test Generation and Evaluation

2001English

Test Selection for Object-Oriented Software Based on Formal Specifications

1998English

On Test Derivation From Partial Specifications

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

Recommended Technical Specifications for First Generation Test Surface and Subsurface Markers

1984English

Symbolic Synthesis for Epistemic Specifications With Observational Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Automated Test Case Generation Tool Based on Pycparser

International Journal of Research in Advent Technology
2019English

Test Generation for Very High-Level Design Language (VHDL) Specifications Used in Avionics

2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy