Combining Model Checking and Testing (Q3176377): Difference between revisions

@@ Property / cites work @@
+Demand-Driven Compositional Symbolic Execution
@@ Property / cites work: Demand-Driven Compositional Symbolic Execution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553257
@@ Property / cites work: Q4553257 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Path Conditions for Timed Systems
@@ Property / cites work: Generating Path Conditions for Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Information Reuse for Multi-goal Reachability Analyses
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental evaluation of verification and validation tools on Martian Rover software
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Q2753772
@@ Property / cites work: Q2753772 / rank @@
+Normal rank
@@ Property / cites work @@
+Framework for testing multi‐threaded Java programs
+Normal rank
@@ Property / cites work @@
+Dynamic partial-order reduction for model checking software
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+Q4791848
@@ Property / cites work: Q4791848 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional may-must program analysis
@@ Property / cites work: Compositional may-must program analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking, testing and verification working together
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Testing and the DISSECT Symbolic Evaluation System
+Normal rank
@@ Property / cites work @@
+Q4417955
@@ Property / cites work: Q4417955 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754105
@@ Property / cites work: Q2754105 / rank @@
+Normal rank
@@ Property / cites work @@
+CCured
@@ Property / cites work: CCured / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying time partitioning in the DEOS scheduling kernel
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753763
@@ Property / cites work: Q2753763 / rank @@
+Normal rank
@@ Property / cites work @@
+A general-purpose algorithm for analyzing concurrent programs
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank