Test selection for traces refinement

DOI10.1016/J.TCS.2014.08.012MaRDI QIDQ481094zbMATH OpenOpenAlexFDO

Authors Ana Cavalcanti, Marie-Claude Gaudel

Publication date 12 December 2014

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2014.08.012

zbMATH Keywords

CircusCSPintegration testingprocess algebrasynchronisation coverage

Mathematics Subject Classification ID

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

Recommendations

• Symbolic Model-based Test Selection
• Testing for refinement in \textsf{Circus}
• Specification coverage for testing in Circus
• A note on traces refinement and the conf relation in the unifying theories of programming
• Model-Based Test Selection for Infinite-State Reactive Systems

Cites work

• A note on traces refinement and the conf relation in the unifying theories of programming
• A refinement strategy for Circus
• A UTP semantics for \textsf{Circus}
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
• Applying adaptive test cases to nondeterministic implementations
• CSP-CASL -- a new integration of process algebra and algebraic specification
• From control law diagrams to Ada via \textsf{Circus}
• Guided Test Generation from CSP Models
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 2080013 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• On testing UML statecharts
• Reducing the cost of applying adaptive test cases
• Refinement-oriented models of Stateflow charts
• Specification coverage for testing in Circus
• Testing equivalences for processes
• Testing for refinement in \textsf{Circus}
• Understanding concurrent systems

Cited in

(5)

• A structural test selection criterion
• Specification coverage for testing in Circus
• A note on traces refinement and the conf relation in the unifying theories of programming
• Checking Z Data Refinements Using Traces Refinement
• Symbolic Execution Techniques for Refinement Testing

Describes a project that uses

Uses Software

• CUTE
• PathCrawler
• Circus
• Pex
• DART
• Z

This page was built for publication: Test selection for traces refinement

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