![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Matthew B. Dwyer
Person information
- affiliation: University of Virginia, Charlottesville, VA, USA
- affiliation (former): University of Nebraska-Lincoln, NE, USA
Other persons with the same name
- Matthew Dwyer 0002 — University of Wisconsin-Madison, Madison, WI, USA
- Matthew Dwyer 0003
— Iowa State University, Ames, IA, USA
- Matthew Dwyer 0004 — U.S. Army Research Laboratory (and 1 more)
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j35]Hai Duong
, Dong Xu
, ThanhVu Nguyen
, Matthew B. Dwyer
:
Harnessing Neuron Stability to Improve DNN Verification. Proc. ACM Softw. Eng. 1(FSE): 859-881 (2024) - [j34]Will Leeson
, Matthew B. Dwyer
:
Algorithm Selection for Software Verification Using Graph Neural Networks. ACM Trans. Softw. Eng. Methodol. 33(3): 76:1-76:36 (2024) - [c127]Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer:
Specifying and Monitoring Safe Driving Properties with Scene Graphs. ICRA 2024: 15577-15584 - [c126]Swaroopa Dola
, Rory McDaniel
, Matthew B. Dwyer
, Mary Lou Soffa
:
CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing. ICSE 2024: 118:1-118:13 - [c125]Trey Woodlief
, Felipe Toledo
, Sebastian G. Elbaum
, Matthew B. Dwyer
:
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles. ICSE 2024: 141:1-141:13 - [c124]Dong Xu
, Nusrat Jahan Mozumder
, Hai Duong
, Matthew B. Dwyer
:
Training for Verification: Increasing Neuron Stability to Scale DNN Verification. TACAS (3) 2024: 24-44 - [i17]Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer:
Harnessing Neuron Stability to Improve DNN Verification. CoRR abs/2401.14412 (2024) - [i16]Yinzhu Jin, Matthew B. Dwyer, P. Thomas Fletcher:
Measuring Feature Dependency of Neural Networks by Collapsing Feature Dimensions in the Data Manifold. CoRR abs/2404.12341 (2024) - [i15]Soneya Binta Hossain, Matthew B. Dwyer:
TOGLL: Correct and Strong Test Oracle Generation with LLMs. CoRR abs/2405.03786 (2024) - 2023
- [j33]Swaroopa Dola
, Matthew B. Dwyer
, Mary Lou Soffa
:
Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing. ACM Trans. Softw. Eng. Methodol. 32(3): 81:1-81:48 (2023) - [c123]Christopher Morse, Lu Feng, Matthew B. Dwyer
, Sebastian G. Elbaum:
A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors. ICRA 2023: 901-908 - [c122]Soneya Binta Hossain, Matthew B. Dwyer
, Sebastian G. Elbaum, Anh Nguyen-Tuong:
Measuring and Mitigating Gaps in Structural Testing. ICSE 2023: 1712-1723 - [c121]Will Leeson
, Matthew B. Dwyer
, Antonio Filieri:
Sibyl: Improving Software Engineering Tools with SMT Selection. ICSE 2023: 2185-2197 - [c120]Soneya Binta Hossain
, Antonio Filieri
, Matthew B. Dwyer
, Sebastian G. Elbaum
, Willem Visser
:
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. ESEC/SIGSOFT FSE 2023: 120-132 - [c119]Felipe Toledo
, David Shriver
, Sebastian G. Elbaum
, Matthew B. Dwyer
:
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities. ESEC/SIGSOFT FSE 2023: 2122-2126 - [i14]Arup Kumar Sarker, Farzana Yasmin Ahmad, Matthew B. Dwyer:
PCV: A Point Cloud-Based Network Verifier. CoRR abs/2301.11806 (2023) - [i13]Hai Duong, Linhan Li, ThanhVu Nguyen, Matthew B. Dwyer:
A DPLL(T) Framework for Verifying Deep Neural Networks. CoRR abs/2307.10266 (2023) - [i12]Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser:
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned. CoRR abs/2307.16023 (2023) - [i11]Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong:
Artifact: Measuring and Mitigating Gaps in Structural Testing. CoRR abs/2308.00316 (2023) - 2022
- [j32]Mitchell J. Gerrard
, Mateus Borges, Matthew B. Dwyer
, Antonio Filieri
:
Conditional Quantitative Program Analysis. IEEE Trans. Software Eng. 48(4): 1212-1227 (2022) - [j31]ThanhVu Nguyen
, KimHao Nguyen, Matthew B. Dwyer
:
Using Symbolic States to Infer Numerical Invariants. IEEE Trans. Software Eng. 48(10): 3877-3899 (2022) - [c118]Matthew B. Dwyer:
Message from the ICSE 2022 General Chair. ICSE-SEIS 2022: viii-ix - [c117]Matthew B. Dwyer:
Message from the ICSE 2022 General Chair. ICSE (SEIP) 2022: xii-xiii - [c116]Matthew B. Dwyer:
Message from the ICSE 2022 General Chair. ICSE 2022: xxix-xxx - [c115]Arshdeep Sekhon, Yangfeng Ji, Matthew B. Dwyer
, Yanjun Qi:
White-box Testing of NLP models with Mask Neuron Coverage. NAACL-HLT (Findings) 2022: 1547-1558 - [c114]Peeyush Kushwaha, Rahul Purandare
, Matthew B. Dwyer:
Optimal Finite-State Monitoring of Partial Traces. RV 2022: 124-142 - [c113]Will Leeson
, Matthew B. Dwyer
:
Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution). TACAS (2) 2022: 440-445 - [i10]Will Leeson, Matthew B. Dwyer:
Algorithm Selection for Software Verification using Graph Attention Networks. CoRR abs/2201.11711 (2022) - [i9]Arshdeep Sekhon, Yangfeng Ji, Matthew B. Dwyer, Yanjun Qi:
White-box Testing of NLP models with Mask Neuron Coverage. CoRR abs/2205.05050 (2022) - [i8]Soneya Binta Hossain, Matthew B. Dwyer:
A Brief Survey on Oracle-based Test Adequacy Metrics. CoRR abs/2212.06118 (2022) - 2021
- [c112]David Shriver
, Sebastian G. Elbaum
, Matthew B. Dwyer
:
DNNV: A Framework for Deep Neural Network Verification. CAV (1) 2021: 137-150 - [c111]David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE (Companion Volume) 2021: 162-163 - [c110]Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa:
Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models. ICSE (Companion Volume) 2021: 205-206 - [c109]Swaroopa Dola, Matthew B. Dwyer
, Mary Lou Soffa:
Distribution-Aware Testing of Neural Networks Using Generative Models. ICSE 2021: 226-237 - [c108]David Shriver
, Sebastian G. Elbaum, Matthew B. Dwyer
:
Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE 2021: 275-287 - [c107]Felipe Toledo
, David Shriver
, Sebastian G. Elbaum, Matthew B. Dwyer
:
Distribution Models for Falsification and Verification of DNNs. ASE 2021: 317-329 - [i7]Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa:
Distribution-Aware Testing of Neural Networks Using Generative Models. CoRR abs/2102.13602 (2021) - [i6]David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
DNNV: A Framework for Deep Neural Network Verification. CoRR abs/2105.12841 (2021) - 2020
- [c106]Dong Xu
, David Shriver
, Matthew B. Dwyer
, Sebastian G. Elbaum
:
Systematic Generation of Diverse Benchmarks for DNN Verification. CAV (1) 2020: 97-121 - [c105]Carl Hildebrandt, Sebastian G. Elbaum, Nicola Bezzo, Matthew B. Dwyer
:
Feasible and stressful trajectory generation for mobile robots. ISSTA 2020: 349-362 - [i5]Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer:
Optimal Runtime Verification of Finite State Properties over Lossy Event Streams. CoRR abs/2004.04214 (2020) - [i4]Prem Devanbu, Matthew B. Dwyer, Sebastian G. Elbaum, Michael Lowry, Kevin Moran, Denys Poshyvanyk, Baishakhi Ray, Rishabh Singh, Xiangyu Zhang:
Deep Learning & Software Engineering: State of Research and Future Directions. CoRR abs/2009.08525 (2020)
2010 – 2019
- 2019
- [c104]David Shriver
, Sebastian G. Elbaum, Matthew B. Dwyer
, David S. Rosenblum:
Evaluating Recommender System Stability with Influence-Guided Fuzzing. AAAI 2019: 4934-4942 - [c103]Mitchell J. Gerrard, Matthew B. Dwyer
:
ALPACA: a large portfolio-based alternating conditional analysis. ICSE (Companion Volume) 2019: 35-38 - [i3]ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser:
SymInfer: Inferring Program Invariants using Symbolic States. CoRR abs/1903.11768 (2019) - [i2]David Shriver, Dong Xu, Sebastian G. Elbaum, Matthew B. Dwyer:
Refactoring Neural Networks for Verification. CoRR abs/1908.08026 (2019) - [i1]Eleanor Quint, Dong Xu, Haluk Dogan, Zeynep Hakguder, Stephen Scott, Matthew B. Dwyer:
Formal Language Constraints for Markov Decision Processes. CoRR abs/1910.01074 (2019) - 2018
- [j30]Matthew B. Dwyer
:
State of the Journal. IEEE Trans. Software Eng. 44(1): 1-2 (2018) - [c102]Elena Sherman, Matthew B. Dwyer:
Structurally Defined Conditional Data-Flow Static Analysis. TACAS (2) 2018: 249-265 - 2017
- [j29]Matthew B. Dwyer
:
Improving Timeliness and Visibility in Publishing Software Engineering Research. IEEE Trans. Software Eng. 43(3): 205-206 (2017) - [c101]Mitchell J. Gerrard, Matthew B. Dwyer
:
Comprehensive failure characterization. ASE 2017: 365-376 - [c100]ThanhVu Nguyen, Matthew B. Dwyer
, Willem Visser:
SymInfer: inferring program invariants using symbolic states. ASE 2017: 804-814 - [c99]Jan Hückelheim
, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer
, Paul D. Hovland
:
Towards Self-Verification in Finite Difference Code Generation. CORRECTNESS@SC 2017: 42-49 - 2016
- [j28]Matthew B. Dwyer
:
Finding Flaws in Natural Language Requirements. Computer 49(11): 10 (2016) - [j27]Kathryn T. Stolee
, Sebastian G. Elbaum, Matthew B. Dwyer
:
Code search with input/output queries: Generalizing, ranking, and assessment. J. Syst. Softw. 116: 35-48 (2016) - [j26]Matthew B. Dwyer
, David S. Rosenblum:
Editorial: Journal-First Publication for the Software Engineering Community. IEEE Trans. Software Eng. 42(1): 1 (2016) - [j25]Matthew B. Dwyer
, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, Amy J. Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F. Siegel, Tao Xie, Charles Zhang:
Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. 42(3): 203-205 (2016) - [c98]Eric F. Rizzi, Sebastian G. Elbaum, Matthew B. Dwyer
:
On the techniques we create, the tools we build, and their misalignments: a study of KLEE. ICSE 2016: 132-143 - [c97]Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel:
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). TACAS 2016: 908-911 - 2015
- [j24]Elena Sherman
, Brady J. Garvin, Matthew B. Dwyer
:
Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis. ACM Trans. Softw. Eng. Methodol. 24(3): 15:1-15:33 (2015) - [j23]Matthew B. Dwyer
, David S. Rosenblum:
Editorial Journal-First Publication for the Software Engineering Community. ACM Trans. Softw. Eng. Methodol. 25(1): 1:1-1:2 (2015) - [j22]Matthew B. Dwyer
:
State of the Journal Editorial. IEEE Trans. Software Eng. 41(1): 1-2 (2015) - [c96]Matthew B. Dwyer, Antonio Filieri
, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser:
Probabilistic Program Analysis. GTTSE 2015: 1-25 - [c95]Elena Sherman, Matthew B. Dwyer
:
Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T). ASE 2015: 608-618 - [c94]Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer
, Stephen F. Siegel:
CIVL: Formal Verification of Parallel Programs. ASE 2015: 830-835 - [c93]Stephen F. Siegel
, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer
, Michael S. Rogers:
CIVL: the concurrency intermediate verification language. SC 2015: 61:1-61:12 - 2014
- [j21]Eric F. Rizzi, Matthew B. Dwyer
, Sebastian G. Elbaum:
Safely reducing the cost of unit level symbolic execution through read/write analysis. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [c92]Anita Sarma
, Joshua Branchaud, Matthew B. Dwyer
, Suzette Person, Neha Rungta:
Development context driven change awareness and analysis framework. ICSE Companion 2014: 404-407 - [c91]Yurong Wang, Suzette Person, Sebastian G. Elbaum, Matthew B. Dwyer
:
A framework to advise tests using tests. ICSE Companion 2014: 440-443 - [c90]Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer
, Antonio Filieri
, Willem Visser:
Exact and approximate probabilistic symbolic execution for nondeterministic programs. ASE 2014: 575-586 - [c89]Jacob Swanson, Myra B. Cohen, Matthew B. Dwyer
, Brady J. Garvin, Justin W. Firestone:
Beyond the rainbow: self-adaptive failure avoidance in configurable systems. SIGSOFT FSE 2014: 377-388 - [e9]James D. Herbsleb, Matthew B. Dwyer:
Proceedings of the on Future of Software Engineering, FOSE 2014, Hyderabad, India, May 31 - June 7, 2014. ACM 2014, ISBN 978-1-4503-2865-4 [contents] - 2013
- [c88]Rahul Purandare
, Matthew B. Dwyer
, Sebastian G. Elbaum:
Optimizing monitoring of finite state properties through monitor compaction. ISSTA 2013: 280-290 - [p1]Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer:
Failure Avoidance in Configurable Systems through Feature Locality. Assurances for Self-Adaptive Systems 2013: 266-296 - 2012
- [j20]Willem Visser, Matthew B. Dwyer
, Michael W. Whalen:
The hidden models of model checking. Softw. Syst. Model. 11(4): 541-555 (2012) - [c87]Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer:
Integration Testing of Software Product Lines Using Compositional Symbolic Execution. FASE 2012: 270-284 - [c86]David J. Anthony, William P. Bennett, Mehmet C. Vuran
, Matthew B. Dwyer
, Sebastian G. Elbaum, Anne Lacy, Mike Engels, Walter Wehtje:
Sensing through the continent: towards monitoring migratory birds using cellular sensor networks. IPSN 2012: 329-340 - [c85]Rahul Purandare
, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer
:
Extracting conditional component dependence for distributed robotic systems. IROS 2012: 1533-1540 - [c84]Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer
:
Compositional load test generation for software pipelines. ISSTA 2012: 89-99 - [c83]Jaco Geldenhuys, Matthew B. Dwyer
, Willem Visser:
Probabilistic symbolic execution. ISSTA 2012: 166-176 - [c82]Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer
:
Green: reducing, reusing and recycling constraints in program analysis. SIGSOFT FSE 2012: 58 - [e8]Gary T. Leavens, Matthew B. Dwyer:
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012. ACM 2012, ISBN 978-1-4503-1561-6 [contents] - 2011
- [j19]Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer
:
Evaluating improvements to a meta-heuristic search for constrained interaction testing. Empir. Softw. Eng. 16(1): 61-102 (2011) - [j18]Madeline Diep, Matthew B. Dwyer
, Sebastian G. Elbaum:
Lattice-Based Sampling for Path Property Monitoring. ACM Trans. Softw. Eng. Methodol. 21(1): 5:1-5:43 (2011) - [c81]Matthew B. Dwyer
:
Unifying testing and analysis through behavioral coverage. ASE 2011: 2 - [c80]Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer
:
Automatic generation of load tests. ASE 2011: 43-52 - [c79]Du Li, Witawas Srisa-an, Matthew B. Dwyer
:
SOS: saving time in dynamic race detection with stationary analysis. OOPSLA 2011: 35-50 - [c78]Haitao Zhu, Steve Goddard, Matthew B. Dwyer
:
Response Time Analysis of Hierarchical Scheduling: The Synchronized Deferrable Servers Approach. RTSS 2011: 239-248 - [c77]Rahul Purandare, Matthew B. Dwyer
, Sebastian G. Elbaum:
Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. RV 2011: 381-395 - [c76]Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer:
Using feature locality: can we leverage history to avoid failures during reconfiguration? ASAS@ESEC/FSE 2011: 24-33 - [e7]Matthew B. Dwyer
, Frank Tip:
Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011. ACM 2011, ISBN 978-1-4503-0562-4 [contents] - 2010
- [j17]Oksana Tkachuk, Matthew B. Dwyer
:
Environment generation for validating event-driven software using model checking. IET Softw. 4(3): 194-209 (2010) - [c75]Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
:
A Slice-Based Decision Procedure for Type-Based Partial Orders. IJCAR 2010: 156-170 - [c74]Matthew B. Dwyer
:
Exploiting Partial Success in Applying Automated Formal Methods. ICFEM 2010: 21 - [c73]David J. Anthony, William P. Bennett, Mehmet C. Vuran
, Matthew B. Dwyer
, Sebastian G. Elbaum, Felipe Chavez-Ramirez:
Simulating and testing mobile wireless sensor networks. MSWiM 2010: 49-58 - [c72]Rahul Purandare
, Matthew B. Dwyer
, Sebastian G. Elbaum:
Monitor optimization via stutter-equivalent loop transformation. OOPSLA 2010: 270-285 - [c71]Haitao Zhu, Steve Goddard, Matthew B. Dwyer
:
Selecting Server Parameters for Predictable Runtime Monitoring. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 227-236 - [c70]Matthew B. Dwyer
, Rahul Purandare, Suzette Person:
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? RV 2010: 36-50 - [c69]Matthew B. Dwyer
, Sebastian G. Elbaum:
Unifying verification and validation techniques: relating behavior and properties through partial evidence. FoSER 2010: 93-98
2000 – 2009
- 2009
- [j16]Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Matthew Jorde:
Carving and Replaying Differential Unit Test Cases from System Test Cases. IEEE Trans. Software Eng. 35(1): 29-45 (2009) - [c68]Haitao Zhu, Matthew B. Dwyer
, Steve Goddard:
Predictable Runtime Monitoring. ECRTS 2009: 173-183 - [c67]Guowei Yang
, Matthew B. Dwyer
, Gregg Rothermel:
Regression model checking. ICSM 2009: 115-124 - [c66]Suzette Person, Matthew B. Dwyer:
Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs. NASA Formal Methods 2009: 46-55 - [c65]Elena Sherman
, Matthew B. Dwyer
, Sebastian G. Elbaum:
Saturation-based testing of concurrent programs. ESEC/SIGSOFT FSE 2009: 53-62 - 2008
- [j15]Myra B. Cohen, Matthew B. Dwyer
, Jiangfan Shi:
Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach. IEEE Trans. Software Eng. 34(5): 633-650 (2008) - [c64]Madeline Diep, Sebastian G. Elbaum, Matthew Dwyer
:
Trace Normalization. ISSRE 2008: 67-76 - [c63]Matthew Jorde, Sebastian G. Elbaum, Matthew B. Dwyer:
Increasing Test Granularity by Aggregating Unit Tests. ASE 2008: 9-18 - [c62]Matthew B. Dwyer
, Madeline Diep, Sebastian G. Elbaum:
Reducing the Cost of Path Property Monitoring Through Sampling. ASE 2008: 228-237 - [c61]Suzette Person, Matthew B. Dwyer
, Sebastian G. Elbaum, Corina S. Pasareanu:
Differential symbolic execution. SIGSOFT FSE 2008: 226-237 - [c60]Matthew B. Dwyer
, Rahul Purandare:
Residual Checking of Safety Properties. SPIN 2008: 1-2 - [e6]Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn:
30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008. ACM 2008, ISBN 978-1-60558-079-1 [contents] - [e5]Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn:
30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume. ACM 2008 [contents] - 2007
- [j14]Venkatesh Prasad Ranganath
, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer
:
A new foundation for control dependence and slicing for modern program structures. ACM Trans. Program. Lang. Syst. 29(5): 27 (2007) - [c59]Matthew B. Dwyer
, Sebastian G. Elbaum, Suzette Person, Rahul Purandare
:
Parallel Randomized State-Space Search. ICSE 2007: 3-12 - [c58]Alex Kinneer, Matthew B. Dwyer
, Gregg Rothermel:
Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java. ICSE Companion 2007: 51-52 - [c57]Matthew B. Dwyer
, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser:
Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136 - [c56]Matthew B. Dwyer
, Alex Kinneer, Sebastian G. Elbaum:
Adaptive Online Program Analysis. ICSE 2007: 220-229 - [c55]Myra B. Cohen, Matthew B. Dwyer
, Jiangfan Shi:
Interaction testing of highly-configurable systems in the presence of constraints. ISSTA 2007: 129-139 - [c54]Matthew B. Dwyer
, Rahul Purandare
:
Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. ASE 2007: 124-133 - [c53]Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer
:
Reducing irrelevant trace variations. ASE 2007: 477-480 - [e4]Matthew B. Dwyer
, Antónia Lopes:
Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Lecture Notes in Computer Science 4422, Springer 2007, ISBN 978-3-540-71288-6 [contents] - 2006
- [j13]Robby, Edwin Rodríguez, Matthew B. Dwyer
, John Hatcliff:
Checking JML specifications using an extensible software model checking framework. Int. J. Softw. Tools Technol. Transf. 8(3): 280-299 (2006) - [c52]Myra B. Cohen, Matthew B. Dwyer
, Jiangfan Shi:
Coverage and adequacy in software product line testing. ROSATEA 2006: 53-63 - [c51]Robby, Matthew B. Dwyer
, John Hatcliff:
Domain-specific Model Checking Using The Bogor Framework. ASE 2006: 369-370 - [c50]Matthew B. Dwyer
, Suzette Person, Sebastian G. Elbaum:
Controlling factors in evaluating path-sensitive error detection techniques. SIGSOFT FSE 2006: 92-104 - [c49]Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer
, Jonathan Dokulil:
Carving differential unit test cases from system test cases. SIGSOFT FSE 2006: 253-264 - [c48]Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine:
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. TACAS 2006: 73-89 - [c47]Robby, Matthew B. Dwyer
, John Hatcliff:
Bogor: A Flexible Framework for Creating Software Model Checkers. TAIC PART 2006: 3-22 - 2005
- [j12]Radu Iosif, Matthew B. Dwyer
, John Hatcliff:
Translating Java for Multiple Model Checkers: The Bandera Back-End. Formal Methods Syst. Des. 26(2): 137-180 (2005) - [c46]Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby:
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. CAV 2005: 148-152 - [c45]Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby:
Extending JML for Modular Specification and Verification of Multi-threaded Programs. ECOOP 2005: 551-576 - [c44]Venkatesh Prasad Ranganath
, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff:
A New Foundation for Control-Dependence and Slicing for Modern Program Structures. ESOP 2005: 77-93 - 2004
- [j11]Matthew B. Dwyer
, John Hatcliff, Robby, Venkatesh Prasad Ranganath
:
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods Syst. Des. 25(2-3): 199-240 (2004) - [j10]Matthew B. Dwyer
, Stefan Leue:
Introductory paper. Int. J. Softw. Tools Technol. Transf. 6(4): 257-259 (2004) - [j9]Matthew B. Dwyer
, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich:
Flow analysis for verifying properties of concurrent software systems. ACM Trans. Softw. Eng. Methodol. 13(4): 359-430 (2004) - [c43]Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby:
A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. CASSIS 2004: 210-228 - [c42]Matthew B. Dwyer
, John Hatcliff, Matthew Hoosier:
Supporting model checking education using BOGOR/Eclipse. eTX 2004: 88-92 - [c41]Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath
, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh:
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. FASE 2004: 160-164 - [c40]Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff:
A Case Study in Domain-Customized Model Checking for Real-Time Component Software. ISoLA 2004: 161-180 - [c39]Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer:
A Case Study in Domain-customized Model Checking for Real-time Component Software. ISoLA (Preliminary proceedings) 2004: 261-267 - [c38]Matthew B. Dwyer
, Robby, Oksana Tkachuk, Willem Visser:
Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163 - [c37]Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno:
SyncGen: An Aspect-Oriented Framework for Synchronization. TACAS 2004: 158-162 - [c36]Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff:
Checking Strong Specifications Using an Extensible Software Model Checking Framework. TACAS 2004: 404-420 - [c35]John Hatcliff, Robby, Matthew B. Dwyer:
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. VMCAI 2004: 175-190 - [e3]Richard N. Taylor, Matthew B. Dwyer:
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004. ACM 2004, ISBN 1-58113-855-5 [contents] - 2003
- [j8]Corina S. Pasareanu, Matthew B. Dwyer
, Willem Visser:
Finding feasible abstract counter-examples. Int. J. Softw. Tools Technol. Transf. 5(1): 34-48 (2003) - [c34]Matthew B. Dwyer
, Robby, Xianghua Deng, John Hatcliff:
Space Reductions for Model Checking Quasi-Cyclic Systems. EMSOFT 2003: 173-189 - [c33]John Hatcliff, Xianghua Deng, Matthew B. Dwyer
, Georg Jung, Venkatesh Prasad Ranganath:
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. ICSE 2003: 160-173 - [c32]Oksana Tkachuk, Matthew B. Dwyer
, Corina S. Pasareanu:
Automated Environment Generation for Software Model Checking. ASE 2003: 116-129 - [c31]Venkatesh Prasad Ranganath
, Adam Childs, Jesse Greenwald, Matthew B. Dwyer
, John Hatcliff, Gurdip Singh:
Cadena: enabling CCM-based application development in Eclipse. eTX 2003: 20-24 - [c30]John Hatcliff, William Deng, Matthew B. Dwyer
, Georg Jung, Venkatesh Prasad Ranganath
, Robby:
Slicing and partial evaluation of CORBA component model designs for avionics system. PEPM 2003: 1-2 - [c29]Oksana Tkachuk, Matthew B. Dwyer
:
Adapting side effects analysis for modular program model checking. ESEC / SIGSOFT FSE 2003: 188-197 - [c28]Robby, Matthew B. Dwyer
, John Hatcliff:
Bogor: an extensible and highly-modular software model checking framework. ESEC / SIGSOFT FSE 2003: 267-276 - [c27]Robby, Matthew B. Dwyer
, John Hatcliff, Radu Iosif:
Space-Reduction Strategies for Model Checking Dynamic Software. SoftMC@CAV 2003: 499-517 - 2002
- [j7]James C. Corbett, Matthew B. Dwyer
, John Hatcliff, Robby:
Expressing checkable properties of dynamic systems: the Bandera Specification Language. Int. J. Softw. Tools Technol. Transf. 4(1): 34-56 (2002) - [c26]John Hatcliff, Matthew B. Dwyer
, Corina S. Pasareanu, Robby:
Foundations of the Bandera Abstraction Tools. The Essence of Computation 2002: 172-203 - [c25]Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh:
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. FMCO 2002: 154-181 - [c24]Matthew B. Dwyer:
Software Model Checking: The Bandera approach. FMOODS 2002: 3-4 - [c23]Xianghua Deng, Matthew B. Dwyer
, John Hatcliff, Masaaki Mizuno:
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. ICSE 2002: 442-452 - [e2]Matthew B. Dwyer
, Jens Palsberg:
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'02, Charleston, South Carolina, USA, November 18-19, 2002. ACM 2002 [contents] - 2001
- [c22]John Hatcliff, Matthew B. Dwyer:
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. CONCUR 2001: 39-58 - [c21]Matthew B. Dwyer
, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser:
Tool-Supported Program Abstraction for Finite-State Verification. ICSE 2001: 177-187 - [c20]Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser:
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS 2001: 284-298 - [e1]Matthew B. Dwyer
:
Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings. Lecture Notes in Computer Science 2057, Springer 2001, ISBN 3-540-42124-6 [contents] - 2000
- [j6]John Hatcliff, Matthew B. Dwyer
, Hongjun Zheng:
Slicing Software for Model Construction. High. Order Symb. Comput. 13(4): 315-353 (2000) - [j5]Matthew B. Dwyer
, John Hatcliff:
Adapting programming languages technologies for finite-state verification. ACM SIGSOFT Softw. Eng. Notes 25(1): 46-49 (2000) - [j4]George S. Avrunin, James C. Corbett, Matthew B. Dwyer
:
Benchmarking Finite-State Verifiers. Int. J. Softw. Tools Technol. Transf. 2(4): 317-320 (2000) - [c19]James C. Corbett, Matthew B. Dwyer
, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng:
Bandera: extracting finite-state models from Java source code. ICSE 2000: 439-448 - [c18]James C. Corbett, Matthew B. Dwyer
, John Hatcliff, Robby:
Bandera: a source-level interface for model checking Java programs. ICSE 2000: 762-765 - [c17]James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
A Language Framework for Expressing Checkable Properties of Dynamic Software. SPIN 2000: 205-223
1990 – 1999
- 1999
- [c16]Matthew B. Dwyer
, George S. Avrunin, James C. Corbett:
Patterns in Property Specifications for Finite-State Verification. ICSE 1999: 411-420 - [c15]Matthew B. Dwyer, John Hatcliff:
Slicing Software for Model Construction. PEPM 1999: 105-118 - [c14]John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng:
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. SAS 1999: 1-18 - [c13]Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth:
Assume-Guarantee Model Checking of Software: A Comparative Case Study. SPIN 1999: 168-183 - 1998
- [j3]Matthew B. Dwyer
, John Hatcliff, Muhammad Nanda:
Using Partial Evaluation to Enable Verification of Concurrent Software. ACM Comput. Surv. 30(3es): 22 (1998) - [c12]Matthew B. Dwyer
, Corina S. Pasareanu:
Model Checking Generic Container Implementations. Generic Programming 1998: 162-177 - [c11]Matthew B. Dwyer
, George S. Avrunin, James C. Corbett:
Property specification patterns for finite-state verification. FMSP 1998: 7-15 - [c10]John Hatcliff, Matthew B. Dwyer
, Shawn Laubach:
Staging Static Analyses Using Abstraction-Based Program Specialization. PLILP/ALP 1998: 134-151 - [c9]Matthew B. Dwyer
, Corina S. Pasareanu:
Filter-Based Model Checking of Partial Systems. SIGSOFT FSE 1998: 189-202 - 1997
- [j2]Matthew B. Dwyer, Virgil Wallentine:
A Framework for Parallel Adaptive Grid Simulations. Concurr. Pract. Exp. 9(11): 1293-1310 (1997) - [c8]Matthew B. Dwyer
, Vicki Carr, Laura Hines:
Model Checking Graphical User Interfaces Using Abstractions. ESEC / SIGSOFT FSE 1997: 244-261 - [c7]Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer
:
Verification of Concurrent Software with FLAVERS. ICSE 1997: 594-595 - [c6]Matthew B. Dwyer
:
Modular Flow Analysis for Concurrent Software. ASE 1997: 264-273 - [c5]Matthew B. Dwyer, Virgil Wallentine:
Object-Oriented Coordination Abstractions for Parallel Software. PDPTA 1997: 1034-1043 - 1996
- [j1]Matthew B. Dwyer
, Lori A. Clarke:
A Compact Petri Net Representation and Its Implications for Analysis. IEEE Trans. Software Eng. 22(11): 794-811 (1996) - [c4]Matthew B. Dwyer
, Lori A. Clarke:
A Flexible Architecture for Building Data Flow Analyzers. ICSE 1996: 554-564 - [c3]Matthew B. Dwyer
, Matthew J. Craig, Eric Runquist:
An Application-Independent Concurrency Skeleton in Ada 95. TRI-Ada 1996: 179-192 - 1995
- [c2]Matthew B. Dwyer
, Lori A. Clarke, Kari A. Nies:
A Compact Petri Net Representation for Concurrent Programs. ICSE 1995: 147-157 - 1994
- [c1]Matthew B. Dwyer
, Lori A. Clarke:
Data Flow Analysis for Verifying Properties of Concurrent Programs. SIGSOFT FSE 1994: 62-75
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint