Formal Approaches to Software Testing
From MaRDI portal
Publication:5710652
Recommendations
- Specification, testing and implementation relations for symbolic-probabilistic systems
- Applying Formal Methods: Testing, Performance, and M/E-Commerce
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
- Characterization of simulation by probabilistic testing
- Model-based testing of probabilistic systems
Cited in
(18)- Toward a theory of functional testing in discrete dynamic systems
- Testing state design pattern implementations with symbolic execution
- Specification, testing and implementation relations for symbolic-probabilistic systems
- Calculating Probabilities of Real-Time Test Cases
- Application of probabilistic automata to comprehensive testing of automatic production control system software
- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance
- scientific article; zbMATH DE number 2033522 (Why is no real title available?)
- Model-based testing of probabilistic systems
- Model-based testing of probabilistic systems
- Applying Formal Methods: Testing, Performance, and M/E-Commerce
- Testing a probabilistic FSM using interval estimation
- A symbolic operational semantics for TESL -- with an application to heterogeneous system testing
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
- Customized Testing for Probabilistic Systems
- scientific article; zbMATH DE number 1890601 (Why is no real title available?)
- Using schedulers to test probabilistic distributed systems
- scientific article; zbMATH DE number 1324657 (Why is no real title available?)
- Characterization of simulation by probabilistic testing
This page was built for publication: Formal Approaches to Software Testing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5710652)
