The following pages link to Saturn (Q14037):
Displaying 4 items.
- Black-box testing based on colorful taint analysis (Q439720) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- On the hierarchical community structure of practical Boolean formulas (Q2118321) (← links)
- Constraint-Based Invariant Inference over Predicate Abstraction (Q3600470) (← links)
