Formal Approaches to Software Testing
From MaRDI portal
Publication:5710652
DOI10.1007/B106767zbMATH Open1081.68575OpenAlexW2502633158MaRDI QIDQ5710652FDOQ5710652
Authors: Natalia López, Manuel Núñez, Ismael Rodríguez 
Publication date: 2 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106767
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)
- Model-based testing of probabilistic systems
- Model-based testing of probabilistic systems
- Testing a probabilistic FSM using interval estimation
- Characterization of simulation by probabilistic testing
- Title not available (Why is that?)
- Title not available (Why is that?)
- Using schedulers to test probabilistic distributed systems
- Toward a theory of functional testing in discrete dynamic systems
- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance
- A symbolic operational semantics for TESL -- with an application to heterogeneous system testing
- Calculating Probabilities of Real-Time Test Cases
- Testing state design pattern implementations with symbolic execution
- Customized Testing for Probabilistic Systems
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
- Title not available (Why is that?)
- Application of probabilistic automata to comprehensive testing of automatic production control system software
- Specification, testing and implementation relations for symbolic-probabilistic systems
- Applying Formal Methods: Testing, Performance, and M/E-Commerce
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)
