An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults
Abstract elided by the publisher.
1,553 papers · page 59 of 78
Why Waste a Perfectly Good Abstraction?
Abstract elided by the publisher.
Automata-Based Verification of Programs with Tree Updates
Abstract elided by the publisher.
PRISM: A Tool for Automatic Verification of Probabilistic Systems
Abstract elided by the publisher.
Weighted Pushdown Systems and Trust-Management Systems
Abstract elided by the publisher.
A Practical and Complete Approach to Predicate Refinement
Abstract elided by the publisher.
Widening ROBDDs with Prime Implicants
Abstract elided by the publisher.
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems
Abstract elided by the publisher.
Approximating Predicate Images for Bit-Vector Logic
Abstract elided by the publisher.
A Region Graph Based Approach to Termination Proofs
Abstract elided by the publisher.
Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking
Abstract elided by the publisher.
MCMAS: A Model Checker for Multi-agent Systems
Abstract elided by the publisher.
Efficient Model Checking for LTL with Partial Order Snapshots
Abstract elided by the publisher.
Safety Metric Temporal Logic Is Fully Decidable
Abstract elided by the publisher.
Model-Checking Markov Chains in the Presence of Uncertainties
Abstract elided by the publisher.
New Metrics for Static Variable Ordering in Decision Diagrams
Abstract elided by the publisher.
Simulation-Based Graph Similarity
Abstract elided by the publisher.
Efficient Guided Symbolic Reachability Using Reachability Expressions
Abstract elided by the publisher.
Parameterized Verification of pi-Calculus Systems
Abstract elided by the publisher.
Simulation-Based Iteration of Tree Transducers
Abstract elided by the publisher.