Matthew B. Dwyer

	2012
106		Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer: Integration Testing of Software Product Lines Using Compositional Symbolic Execution. FASE 2012: 270-284
105		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
	2011
104		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
103		Matthew B. Dwyer: Unifying testing and analysis through behavioral coverage. ASE 2011: 2
102		Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer: Automatic generation of load tests. ASE 2011: 43-52
101		Du Li, Witawas Srisa-an, Matthew B. Dwyer: SOS: saving time in dynamic race detection with stationary analysis. OOPSLA 2011: 35-50
100		Haitao Zhu, Steve Goddard, Matthew B. Dwyer: Response Time Analysis of Hierarchical Scheduling: The Synchronized Deferrable Servers Approach. RTSS 2011: 239-248
99		Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum: Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. RV 2011: 381-395
98		Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum: Lattice-Based Sampling for Path Property Monitoring. ACM Trans. Softw. Eng. Methodol. 21(1): 5 (2011)
97		Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer: Evaluating improvements to a meta-heuristic search for constrained interaction testing. Empirical Software Engineering 16(1): 61-102 (2011)
	2010
96		Matthew B. Dwyer, Sebastian G. Elbaum: Unifying verification and validation techniques: relating behavior and properties through partial evidence. FoSER 2010: 93-98
95		Matthew B. Dwyer: Exploiting Partial Success in Applying Automated Formal Methods. ICFEM 2010: 21
94		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
93		Elena Sherman, Brady J. Garvin, Matthew B. Dwyer: A Slice-Based Decision Procedure for Type-Based Partial Orders. IJCAR 2010: 156-170
92		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
91		Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum: Monitor optimization via stutter-equivalent loop transformation. OOPSLA 2010: 270-285
90		Matthew B. Dwyer, Rahul Purandare, Suzette Person: Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? RV 2010: 36-50
89		Oksana Tkachuk, Matthew B. Dwyer: Environment generation for validating event-driven software using model checking. IET Software 4(3): 194-209 (2010)
	2009
88		Haitao Zhu, Matthew B. Dwyer, Steve Goddard: Predictable Runtime Monitoring. ECRTS 2009: 173-183
87		Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum: Saturation-based testing of concurrent programs. ESEC/SIGSOFT FSE 2009: 53-62
86		Guowei Yang, Matthew B. Dwyer, Gregg Rothermel: Regression model checking. ICSM 2009: 115-124
85		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)
	2008
84		Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008 ACM 2008
83		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
82		Matthew B. Dwyer, Madeline Diep, Sebastian G. Elbaum: Reducing the Cost of Path Property Monitoring Through Sampling. ASE 2008: 228-237
81		Matthew Jorde, Sebastian G. Elbaum, Matthew B. Dwyer: Increasing Test Granularity by Aggregating Unit Tests. ASE 2008: 9-18
80		Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer: Trace Normalization. ISSRE 2008: 67-76
79		Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu: Differential symbolic execution. SIGSOFT FSE 2008: 226-237
78		Matthew B. Dwyer, Rahul Purandare: Residual Checking of Safety Properties. SPIN 2008: 1-2
77		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)
	2007
76		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 Springer 2007
75		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
74		Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer: Reducing irrelevant trace variations. ASE 2007: 477-480
73		Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser: Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136
72		Matthew B. Dwyer, Alex Kinneer, Sebastian G. Elbaum: Adaptive Online Program Analysis. ICSE 2007: 220-229
71		Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare: Parallel Randomized State-Space Search. ICSE 2007: 3-12
70		Alex Kinneer, Matthew B. Dwyer, Gregg Rothermel: Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java. ICSE Companion 2007: 51-52
69		Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi: Interaction testing of highly-configurable systems in the presence of constraints. ISSTA 2007: 129-139
68		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): (2007)
	2006
67		Robby, Matthew B. Dwyer, John Hatcliff: Domain-specific Model Checking Using The Bogor Framework. ASE 2006: 369-370
66		Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi: Coverage and adequacy in software product line testing. ROSATEA 2006: 53-63
65		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
64		Matthew B. Dwyer, Suzette Person, Sebastian G. Elbaum: Controlling factors in evaluating path-sensitive error detection techniques. SIGSOFT FSE 2006: 92-104
63		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
62		Robby, Matthew B. Dwyer, John Hatcliff: Bogor: A Flexible Framework for Creating Software Model Checkers. TAIC PART 2006: 3-22
61		Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff: Checking JML specifications using an extensible software model checking framework. STTT 8(3): 280-299 (2006)
	2005
60		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
59		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
58		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
57		Radu Iosif, Matthew B. Dwyer, John Hatcliff: Translating Java for Multiple Model Checkers: The Bandera Back-End. Formal Methods in System Design 26(2): 137-180 (2005)
	2004
56		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
55		Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser: Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163
54		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
53		Matthew B. Dwyer, John Hatcliff, Matthew Hoosier: Supporting model checking education using BOGOR/Eclipse. ETX 2004: 88-92
52		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
51		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
50		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
49		Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno: SyncGen: An Aspect-Oriented Framework for Synchronization. TACAS 2004: 158-162
48		Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff: Checking Strong Specifications Using an Extensible Software Model Checking Framework. TACAS 2004: 404-420
47		John Hatcliff, Robby, Matthew B. Dwyer: Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. VMCAI 2004: 175-190
46		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)
45		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 in System Design 25(2-3): 199-240 (2004)
44		Matthew B. Dwyer, Stefan Leue: Introductory paper. STTT 6(4): 257-259 (2004)
	2003
43		Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu: Automated Environment Generation for Software Model Checking. ASE 2003: 116-129
42		Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff: Space Reductions for Model Checking Quasi-Cyclic Systems. EMSOFT 2003: 173-189
41		Oksana Tkachuk, Matthew B. Dwyer: Adapting side effects analysis for modular program model checking. ESEC / SIGSOFT FSE 2003: 188-197
40		Robby, Matthew B. Dwyer, John Hatcliff: Bogor: an extensible and highly-modular software model checking framework. ESEC / SIGSOFT FSE 2003: 267-276
39		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
38		Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh: Cadena: enabling CCM-based application development in Eclipse. OOPSLA Workshop on Eclipse Technology eXchange 2003: 20-24
37		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
36		Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif: Space-Reduction Strategies for Model Checking Dynamic Software. Electr. Notes Theor. Comput. Sci. 89(3): 499-517 (2003)
35		Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding feasible abstract counter-examples. STTT 5(1): 34-48 (2003)
	2002
34		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
33		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
32		Matthew B. Dwyer: Software Model Checking: The Bandera approach. FMOODS 2002: 3-4
31		Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno: Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. ICSE 2002: 442-452
30		John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby: Foundations of the Bandera Abstraction Tools. The Essence of Computation 2002: 172-203
29		James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: Expressing checkable properties of dynamic systems: the Bandera Specification Language. STTT 4(1): 34-56 (2002)
	2001
28		Matthew B. Dwyer: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings Springer 2001
27		John Hatcliff, Matthew B. Dwyer: Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. CONCUR 2001: 39-58
26		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
25		Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS 2001: 284-298
	2000
24		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
23		James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: Bandera: a source-level interface for model checking Java programs. ICSE 2000: 762-765
22		James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: A Language Framework for Expressing Checkable Properties of Dynamic Software. SPIN 2000: 205-223
21		John Hatcliff, Matthew B. Dwyer, Hongjun Zheng: Slicing Software for Model Construction. Higher-Order and Symbolic Computation 13(4): 315-353 (2000)
20		George S. Avrunin, James C. Corbett, Matthew B. Dwyer: Benchmarking Finite-State Verifiers. STTT 2(4): 317-320 (2000)
	1999
19		Matthew B. Dwyer, George S. Avrunin, James C. Corbett: Patterns in Property Specifications for Finite-State Verification. ICSE 1999: 411-420
18		Matthew B. Dwyer, John Hatcliff: Slicing Software for Model Construction. PEPM 1999: 105-118
17		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
16		Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth: Assume-Guarantee Model Checking of Software: A Comparative Case Study. SPIN 1999: 168-183
	1998
15		Matthew B. Dwyer, George S. Avrunin, James C. Corbett: Property specification patterns for finite-state verification. FMSP 1998: 7-15
14		Matthew B. Dwyer, Corina S. Pasareanu: Model Checking Generic Container Implementations. Generic Programming 1998: 162-177
13		John Hatcliff, Matthew B. Dwyer, Shawn Laubach: Staging Static Analyses Using Abstraction-Based Program Specialization. PLILP/ALP 1998: 134-151
12		Matthew B. Dwyer, Corina S. Pasareanu: Filter-Based Model Checking of Partial Systems. SIGSOFT FSE 1998: 189-202
11		Matthew B. Dwyer, John Hatcliff, Muhammad Nanda: Using Partial Evaluation to Enable Verification of Concurrent Software. ACM Comput. Surv. 30(3es): 22 (1998)
	1997
10		Matthew B. Dwyer: Modular Flow Analysis for Concurrent Software. ASE 1997: 264-273
9		Matthew B. Dwyer, Vicki Carr, Laura Hines: Model Checking Graphical User Interfaces Using Abstractions. ESEC / SIGSOFT FSE 1997: 244-261
8		Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer: Verification of Concurrent Software with FLAVERS. ICSE 1997: 594-595
7		Matthew B. Dwyer, Virgil Wallentine: Object-Oriented Coordination Abstractions for Parallel Software. PDPTA 1997: 1034-1043
6		Matthew B. Dwyer, Virgil Wallentine: A Framework for Parallel Adaptive Grid Simulations. Concurrency - Practice and Experience 9(11): 1293-1310 (1997)
	1996
5		Matthew B. Dwyer, Lori A. Clarke: A Flexible Architecture for Building Data Flow Analyzers. ICSE 1996: 554-564
4		Matthew B. Dwyer, Matthew J. Craig, Eric Runquist: An Application-Independent Concurrency Skeleton in Ada 95. TRI-Ada 1996: 179-192
3		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)
	1995
2		Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies: A Compact Petri Net Representation for Concurrent Programs. ICSE 1995: 147-157
	1994
1		Matthew B. Dwyer, Lori A. Clarke: Data Flow Analysis for Verifying Properties of Concurrent Programs. SIGSOFT FSE 1994: 62-75

Coauthor Index

1	Torben Amtoft (Torben Amtoft Hansen)	[58] [68]
2	David J. Anthony	[92] [105]
3	George S. Avrunin	[15] [19] [20]
4	Anindya Banerjee	[58] [68]
5	William P. Bennett	[92] [105]
6	Vicki Carr	[9]
7	Felipe Chavez-Ramirez	[92]
8	Adam Childs	[38] [52]
9	Hui Nee Chin	[65] [85]
10	Lori A. Clarke	[1] [2] [3] [5] [8] [46]
11	Jamieson M. Cobleigh	[46]
12	Myra B. Cohen	[66] [69] [77] [97] [106]
13	James C. Corbett	[15] [17] [19] [20] [22] [23] [24] [29]
14	Matthew J. Craig	[4]
15	William Deng	[37]
16	Xianghua Deng	[31] [33] [39] [42] [49] [52]
17	Madeline Diep	[74] [80] [82] [98]
18	Jonathan Dokulil	[65]
19	Sebastian G. Elbaum	[64] [65] [71] [72] [74] [79] [80] [81] [82] [85] [87] [91] [92] [96] [98] [99] [102] [105]
20	Mike Engels	[105]
21	Cormac Flanagan	[59]
22	Brady J. Garvin	[93] [97]
23	Steve Goddard	[88] [94] [100]
24	Jesse Greenwald	[38] [52]
25	Volker Gruhn	[83] [84]
26	John Hatcliff	[11] [13] [17] [18] [21] [22] [23] [24] [26] [27] [29] [30] [31] [33] [36] [37] [38] [39] [40] [42] [45] [47] [48] [49] [50] [51] [52] [53] [54] [57] [58] [59] [60] [61] [62] [63] [67] [68] [73]
27	Laura Hines	[9]
28	Matthew Hoosier	[50] [51] [53] [60] [63]
29	Michael Huth	[16]
30	Radu Iosif	[36] [57]
31	Roby Joehanes	[26]
32	Matthew Jorde	[81] [85]
33	Georg Jung	[33] [37] [39] [52]
34	Alex Kinneer	[70] [72]
35	Anne Lacy	[105]
36	Shawn Laubach	[13] [24] [26]
37	Gary T. Leavens	[59]
38	Stefan Leue	[44]
39	Du Li	[101]
40	Antónia Lopes	[76]
41	Masaaki Mizuno	[31] [49]
42	Muhammad Nanda	[11]
43	Gleb Naumovich	[8] [46]
44	Kari A. Nies	[2]
45	Leon J. Osterweil	[8]
46	Jens Palsberg	[34]
47	Corina S. Pasareanu	[12] [14] [16] [24] [25] [26] [30] [35] [43] [73] [79]
48	Suzette Person	[64] [71] [79] [90]
49	Rahul Purandare	[71] [75] [78] [90] [91] [99]
50	Venkatesh Prasad Ranganath	[37] [38] [39] [45] [52] [58] [63] [68]
51	Robby	[22] [23] [24] [26] [29] [30] [33] [36] [37] [40] [42] [45] [47] [48] [50] [51] [54] [55] [59] [60] [61] [62] [63] [67] [73]
52	Edwin Rodríguez	[48] [54] [59] [61]
53	Gregg Rothermel	[70] [86]
54	Eric Runquist	[4]
55	Wilhelm Schäfer	[83] [84]
56	Prashant Shanti	[52]
57	Elena Sherman	[87] [93]
58	Jiangfan Shi	[66] [69] [77] [106]
59	Gurdip Singh	[33] [38] [52]
60	Stefan Sokolowski	[17]
61	Witawas Srisa-an	[101]
62	Richard N. Taylor	[56]
63	Frank Tip	[104]
64	Oksana Tkachuk	[41] [43] [55] [89]
65	Willem Visser	[25] [26] [35] [55] [73]
66	Mehmet C. Vuran	[92] [105]
67	Todd Wallentine	[63]
68	Virgil Wallentine	[6] [7]
69	Walter Wehtje	[105]
70	Guowei Yang	[86]
71	Pingyu Zhang	[102]
72	Hongjun Zheng	[17] [21] [24] [26]
73	Haitao Zhu	[88] [94] [100]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page