Author:
Grieskamp Wolfgang,Qu Xiao,Wei Xiangjun,Kicillof Nicolas,Cohen Myra B.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;A. Calvagna,2008
2. Calvagna, A., Gargantini, A.: Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints. In: Workshop on Automated Formal Methods (AFM), pp. 1–10 (2008)
3. Cohen, D.M., Dalal, S.R., Fredman, M.L., Patton, G.C.: The AETG system: an approach to testing based on combinatorial design. IEEE Transactions on Software Engineering 23(7), 437–444 (1997)
4. Cohen, M.B., Colbourn, C.J., Collofello, J.S., Gibbons, P.B., Mugridge, W.B.: Variable strength interaction testing of components. In: Proceedings of the International Computer Software and Applications Conference, pp. 413–418 (2003)
5. Cohen, M.B., Colbourn, C.J., Gibbons, P.B., Mugridge, W.B.: Constructing test suites for interaction testing. In: Proceedings of the International Conference on Software Engineering (ICSE), May 2003, pp. 38–48 (2003)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
2. Multi-thread Combinatorial Test Generation with SMT solvers;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27
3. Test Design as Code: JCUnit;2017 IEEE International Conference on Software Testing, Verification and Validation (ICST);2017-03
4. LCTD: Test-guided proofs for C programs on LLVM;Journal of Logical and Algebraic Methods in Programming;2016-10
5. Applying a Pairwise Coverage Criterion to Scenario-Based Testing;2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2016-04