scientific article; zbMATH DE number 2079824

MaRDI QIDQ4471927zbMATH OpenFDO

Authors Vlad Rusu, Lydie du Bousquet, Thierry Jéron

Publication date 30 July 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1945/19450338.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 2080069
• Tools and Algorithms for the Construction and Analysis of Systems
• Complete test graph synthesis for symbolic real-time systems
• Generating Tests from B Specifications and Test Purposes

Cited in

(46)

• A test environment using symbolic program trace
• Checking sequence generation for symbolic input/output FSMs by constraint solving
• A symbolic operational semantics for TESL -- with an application to heterogeneous system testing
• Synthesizing adaptive test strategies from temporal logic specifications
• scientific article; zbMATH DE number 1693451 (Why is no real title available?)
• Complete test graph synthesis for symbolic real-time systems
• Towards property oriented testing
• Test generation from recursive tiles systems
• High Quality Test Pattern Generation and Boolean Satisfiability
• Generating tests by example
• Automated Generation of Positive and Negative Tests for Parsers
• Symbolic Execution Techniques for Test Purpose Definition
• Test case generation of actor systems
• Model-Based Test Selection for Infinite-State Reactive Systems
• Symbolic Test Generation Using a Temporal Logic with Constrained Events
• Generating Tests from B Specifications and Test Purposes
• Automatic Generation of Test Inputs for Mercury
• Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
• Testing case generator based on formal specifications
• High-level test synthesis: a survey
• Automatically generating test data from a Boolean specification
• Connectors as designs: modeling, refinement and test case generation
• scientific article; zbMATH DE number 1951185 (Why is no real title available?)
• scientific article; zbMATH DE number 1956610 (Why is no real title available?)
• scientific article; zbMATH DE number 2080069 (Why is no real title available?)
• scientific article; zbMATH DE number 1929886 (Why is no real title available?)
• scientific article; zbMATH DE number 2090141 (Why is no real title available?)
• Symbolic execution of transition systems with function summaries
• Symbolic Model-based Test Selection
• Graph Transformations
• Generating tests from B specifications and dynamic selection criteria
• Automatic Testing from Formal Specifications
• Generating Unit Tests from Formal Proofs
• Guided Test Generation from CSP Models
• Testing Concurrent Objects with Application-Specific Schedulers
• Combining test case generation and runtime verification
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• Computer Aided Verification
• Formal Approaches to Software Testing
• Automated test generation and static analysis
• Proof-guided test selection from first-order specifications with equality
• A formal abstract framework for modelling and testing complex software systems
• Test generation from state based use case models

Describes a project that uses

Uses Software

• HyTech

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471927)