Faulty interaction identification via constraint solving and optimization

DOI10.1007/978-3-642-31612-8_15MaRDI QIDQ2843330zbMATH OpenOpenAlexFDO

Authors Jian Zhang, Feifei Ma, Zhi-Qiang Zhang

Publication date 12 August 2013

Published in Theory and Applications of Satisfiability Testing – SAT 2012 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-31612-8_15

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• A survey of combinatorial testing
• Expected time to detection of interaction faults
• A Logic-Based Approach to Combinatorial Testing with Constraints
• A formal logic approach to constrained combinatorial testing
• Arrays for combinatorial interaction testing: a review on constructive approaches

Cited in

(4)

• Applying higher strength combinatorial criteria to test case prioritization: a case study
• Expected time to detection of interaction faults
• A survey of combinatorial testing
• A formal logic approach to constrained combinatorial testing

Describes a project that uses

Uses Software

• AETG

This page was built for publication: Faulty interaction identification via constraint solving and optimization

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