Affiliation:
1. FEMTO-ST dpt DISC; Université de franche-Comté; Besançon France
Subject
Safety, Risk, Reliability and Quality,Software
Reference25 articles.
1. Modeling modeling modeling;Muller;Software & Systems Modeling,2012
2. Design and results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-COMP 2007);Barrett;International Journal on Artificial Intelligence Tools,2008
3. Ranise S Tinelli C The SMT-LIB standard: version 1.2 Tech. Rep 2006
4. Z3: An efficient SMT solver;De Moura;Tools and Algorithms for the Construction and Analysis of Systems,2008
5. Computer Aided Verification
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TAF: a Tool for Diverse and Constrained Test Case Generation;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12
2. Practical Constraint Solving for Generating System Test Data;ACM Transactions on Software Engineering and Methodology;2020-04-30
3. Recent Advances in Model-Based Testing;Advances in Computers;2016