Testing state design pattern implementations with symbolic execution

MaRDI QIDQ3055042zbMATH OpenFDO

Authors Radu Oprişa, Cristina Tudose

Publication date 5 November 2010

zbMATH Keywords

unit testingJava PathFinderJava symbolic executionstate design pattern

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 1956607
• Formal Approaches to Software Testing
• Exhaustive property oriented model-based testing with symbolic finite state machines
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(2)

• The application of hypergroups in symbolic executions and finite automata
• Template method test pattern

This page was built for publication: Testing state design pattern implementations with symbolic execution

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