Saturn

Saturn: A SAT-based tool for bug detection Saturn is a Boolean satisfiability (SAT) based framework for static bug detection. Saturn targets software written in C and is designed to support a wide range of property checkers


References in zbMATH (referenced in 8 articles , 1 standard article )

Showing results 1 to 8 of 8.
Sorted by year (citations)

  1. Chen, Kai; Feng, Dengguo; Su, Purui; Zhang, Yingjun: Black-box testing based on colorful taint analysis (2012)
  2. Mühlberg, Jan Tobias; Lüttgen, Gerald: Verifying compiled file system code (2012) ioport
  3. Cuervo Parrino, Bruno; Galeotti, Juan Pablo; Garbervetsky, Diego; Frias, Marcelo F.: A dataflow analysis to improve SAT-based bounded program verification (2011) ioport
  4. Gulwani, Sumit; Srivastava, Saurabh; Venkatesan, Ramarathnam: Constraint-based invariant inference over predicate abstraction (2009)
  5. Kuliamin, V. V.: Integration of verification methods for program systems (2009)
  6. Wang, Ji; Ma, Xiao-Dong; Dong, Wei; Xu, Hou-Feng; Liu, Wan-Wei: Demand-driven memory leak detection based on flow- and context-sensitive pointer analysis (2009) ioport
  7. Xie, Yichen; Aiken, Alex: Saturn: A scalable framework for error detection using Boolean satisfiability. (2007) ioport
  8. Xie, Yichen; Aiken, Alex: Saturn: A SAT-based tool for bug detection (2005)