Formal Approaches to Software Testing

DOI10.1007/B106767MaRDI QIDQ5710652zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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
• A symbolic operational semantics for TESL -- with an application to heterogeneous system testing
• Using schedulers to test probabilistic distributed systems
• Characterization of simulation by probabilistic testing
• Specification, testing and implementation relations for symbolic-probabilistic systems
• Model-based testing of probabilistic systems
• Application of probabilistic automata to comprehensive testing of automatic production control system software
• Testing state design pattern implementations with symbolic execution
• Calculating Probabilities of Real-Time Test Cases
• Customized Testing for Probabilistic Systems
• Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance
• Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
• scientific article; zbMATH DE number 1324657 (Why is no real title available?)
• scientific article; zbMATH DE number 2033522 (Why is no real title available?)
• scientific article; zbMATH DE number 1890601 (Why is no real title available?)
• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• Model-based testing of probabilistic systems
• Testing a probabilistic FSM using interval estimation

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)