Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Abstract elided by the publisher.
1,553 papers · page 62 of 78
Applying Game Semantics to Compositional Software Modeling and Verification
Abstract elided by the publisher.
Model Checking Discounted Temporal Properties
Abstract elided by the publisher.
A Temporal Logic of Nested Calls and Returns
Abstract elided by the publisher.
Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes
Abstract elided by the publisher.
Refining Approximations in Software Predicate Abstraction
Abstract elided by the publisher.
Automatic Creation of Environment Models via Training
Abstract elided by the publisher.
FASTer Acceleration of Counter Automata in Practice
Abstract elided by the publisher.
Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic
Abstract elided by the publisher.
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata
Abstract elided by the publisher.
Omega-Regular Model Checking
Abstract elided by the publisher.
A Tool for Checking ANSI-C Programs
Abstract elided by the publisher.
Automatic Verification of Time Sensitive Cryptographic Protocols
Abstract elided by the publisher.
SyncGen: An Aspect-Oriented Framework for Synchronization
Abstract elided by the publisher.
Vooduu: Verification of Object-Oriented Designs Using UPPAAL
Abstract elided by the publisher.
Liveness with Incomprehensible Ranking
Abstract elided by the publisher.
Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient
Abstract elided by the publisher.
Numeric Domains with Summarized Dimensions
Abstract elided by the publisher.
Error Explanation with Distance Metrics
Abstract elided by the publisher.
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points
Abstract elided by the publisher.