How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions

@article{Arcaini2015HowTO,
  title={How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions},
  author={Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene},
  journal={Comput. J.},
  year={2015},
  volume={58},
  pages={2900-2920}
}
In the context of automatic test generation, the use of propositional satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers is becoming an attractive alternative to traditional algorithmic test generation methods, especially when testing Boolean expressions. The main advantages are the capability to deal with constraints over the inputs, the generation of compact test suites and the support for fault-detecting test generation methods. However, these solvers normally require more… CONTINUE READING

Similar Papers

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-4 OF 4 CITATIONS

Test case generation from cause effect graphs

Deniz Kavzak Ufuktepe
  • 2016
VIEW 8 EXCERPTS
HIGHLY INFLUENCED

Test Case Generation for Boolean Expressions by Cell Covering

  • IEEE Transactions on Software Engineering
  • 2018
VIEW 3 EXCERPTS
CITES METHODS

MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions

  • 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
  • 2017
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 53 REFERENCES

Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts

  • 2009 46th ACM/IEEE Design Automation Conference
  • 2009
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

Coverage criteria for logical expressions

  • 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.
  • 2003
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

Minisat 2.1 and minisat++ 1.0-sat race 2008 editions

N. Sörensson, N. Eén
  • Proceedings of SAT 2009, pp
  • 2009
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL