Author:
Takaki Mitsuo,Cavalcanti Diego,Gheyi Rohit,Iyoda Juliano,d’Amorim Marcelo,Prudêncio Ricardo B. C.
Publisher
Springer Science and Business Media LLC
Reference41 articles.
1. Abdelbar A, Abdelshahid S (2004) Instinct-based PSO with local search applied to satisfiability. In: IEEE International Joint Conference on Neural Networks, pp 2291–2295
2. Anand S, Pasareanu CS, Visser W (2007) JPF-SE: a symbolic execution extension to Java PathFinder. In: Tools and algorithms for the construction and analysis of systems (TACAS), pp 134–138
3. Bäck T, Eiben AE, Vink ME (1998) A superior evolutionary algorithm for 3-SAT. In: 7th conference on evolutionary programming. Springer, UK, pp 125–136
4. Bauer A, Pister M, Tautschnig M (2007) Tool-support for the analysis of hybrid systems and models. In: Lauwereins R, Madsen J (eds) Design, automation and test in Europe conference and exposition (DATE). ACM, Nice, pp 924–929. doi: 10.1145/1266366.1266565
5. Beizer B (1990) Software testing techniques. International Thomson Computer Press
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Just fuzz it: solving floating-point constraints using coverage-guided fuzzing;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12
2. Automatic Business Process Test Case Selection: Coverage Metrics, Algorithms, and Performance Optimizations;International Journal of Cooperative Information Systems;2016-12
3. Solving complex path conditions through heuristic search on induced polytopes;Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering;2014-11-11
4. Search based constrained test case selection using execution effort;EXPERT SYST APPL;2013
5. Generating Test Cases for Real-Time Systems Based on Symbolic Models;IEEE Transactions on Software Engineering;2013-09