Searching for authors named Matthew Dwyer – sorted by Number of Citations
75 documents found, showing 1 through 10.
Next 10 →
-
Bandera: Extracting Finite-state Models from Java Source Code
- …@(email omitted); Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng Kansas State…
- Cited by 450 (33 self) – Add To MetaCart
-
Patterns in Property Specifications for Finite-State Verification
- …Patterns in Property Specications for Finite-State Verication Matthew B. Dwyer Kansas State…
- Cited by 185 (17 self) – Add To MetaCart
-
Data flow analysis for verifying properties of concurrent programs
- …Flow Analysis for Verifying Properties of Concurrent Software Systems ∗ Matthew B. Dwyer Lori A…
- Cited by 122 (42 self) – Add To MetaCart
-
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
- …-based Systems ABSTRACT John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Ranganath Kansas…
- Cited by 86 (11 self) – Add To MetaCart
-
Property Specification Patterns for Finite-State Verification
- …Property Specification Patterns for Finite-State Verification Matthew B. Dwyer Kansas State…
- Cited by 81 (5 self) – Add To MetaCart
-
Slicing Software for Model Construction
- …Slicing Software for Model Construction John Hatcliff Matthew B. Dwyer Hongjun Zheng SAn…
- Cited by 75 (16 self) – Add To MetaCart
-
Tool-supported Program Abstraction for Finite-state Verification
- …Tool-supported Program Abstraction for Finite-state Verification ∗ Matthew B. Dwyer, John Hatcliff…
- Cited by 47 (6 self) – Add To MetaCart
-
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
- … Hatcliff 1 , James Corbett 2 , Matthew Dwyer 1 , Stefan Sokolowski 1 , and Hongjun Zheng 1 1 SAn…
- Cited by 46 (17 self) – Add To MetaCart
-
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs
- …. Pasareanu 1 , Matthew B. Dwyer 1 , and Willem Visser 2 1 Department of Computing and Information…
- Cited by 40 (5 self) – Add To MetaCart
-
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs
- …-Oriented Programs ∗ Matthew B. Dwyer John Hatcliff Robby Venkatesh Prasad Ranganath Department of Computing…
- Cited by 39 (11 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
