Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthew B. Dwyer
Matthew Dwyer 0001
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
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 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]