Travelled to:1 × China
1 × Estonia
1 × Finland
1 × Germany
1 × Ireland
1 × Japan
1 × Portugal
1 × Sweden
1 × The Netherlands
19 × USA
2 × Austria
2 × Spain
2 × Switzerland
3 × Canada
4 × Italy
5 × United Kingdom
Collaborated with:J.Hatcliff S.G.Elbaum Robby W.Visser C.S.Pasareanu L.A.Clarke R.Purandare E.Sherman O.Tkachuk ∅ J.C.Corbett M.B.Cohen V.P.Ranganath J.Geldenhuys S.Person X.Deng J.Shi P.Zhang M.Diep M.J.Gerrard S.Laubach B.J.Garvin M.Mizuno G.Jung H.Zheng M.Hoosier E.Rodríguez A.Filieri D.Li W.Srisa-an G.Yang G.Rothermel M.Jorde A.Kinneer G.S.Avrunin V.Carr L.Hines M.J.Craig E.Runquist K.A.Nies T.Nguyen H.N.Chin J.Dokulil G.Naumovich L.J.Osterweil K.S.Luckow J.Swanson J.Firestone T.Amtoft A.Banerjee S.Sokolowski M.Zheng M.S.Rogers Z.Luo S.F.Siegel T.Wallentine C.Flanagan G.T.Leavens W.Deng R.Joehanes A.Childs J.Greenwald P.Shanti G.Singh
Talks about:program (20) model (18) check (14) analysi (13) softwar (10) concurr (10) test (10) verif (8) base (8) use (8)
♂ Person: Matthew B. Dwyer
DBLP: Dwyer:Matthew_B=
Facilitated 12 volumes:
SCo
SCo
EdSCo
Ed
EdPrCh
EdPrCh
EdPrCh
EdContributed to:
20142014201320122012201220112011
20102010
2009
20092008200820072007200720062006
2006
2005
2005
2005200420042004
2004200320032003
2003200220012001200019991999
1999
199819981997199719971996
1996199519942015
20152017Wrote 61 papers:
- ASE-2014-LuckowPDFV #approximate #execution #nondeterminism #probability #source code #symbolic computation
- Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.
- FSE-2014-SwansonCDGF #adaptation #configuration management #self
- Beyond the rainbow: self-adaptive failure avoidance in configurable systems (JS, MBC, MBD, BJG, JF), pp. 377–388.
- ISSTA-2013-PurandareDE #finite #monitoring #optimisation
- Optimizing monitoring of finite state properties through monitor compaction (RP, MBD, SGE), pp. 280–290.
- FASE-2012-ShiCD #composition #execution #integration #product line #symbolic computation #testing #using
- Integration Testing of Software Product Lines Using Compositional Symbolic Execution (JS, MBC, MBD), pp. 270–284.
- FSE-2012-VisserGD #constraints #named #program analysis #reuse
- Green: reducing, reusing and recycling constraints in program analysis (WV, JG, MBD), p. 58.
- ISSTA-2012-GeldenhuysDV #execution #probability #symbolic computation
- Probabilistic symbolic execution (JG, MBD, WV), pp. 166–176.
- ISSTA-2012-ZhangED #composition #generative #pipes and filters #testing
- Compositional load test generation for software pipelines (PZ, SGE, MBD), pp. 89–99.
- ASE-2011-Dwyer #analysis #behaviour #testing
- Unifying testing and analysis through behavioral coverage (MBD), p. 2.
- ASE-2011-ZhangED #automation #generative #testing
- Automatic generation of load tests (PZ, SGE, MBD), pp. 43–52.
- OOPSLA-2011-LiSD #analysis #concurrent #detection #named
- SOS: saving time in dynamic race detection with stationary analysis (DL, WSa, MBD), pp. 35–50.
- IJCAR-2010-ShermanGD #partial order #type system
- A Slice-Based Decision Procedure for Type-Based Partial Orders (ES, BJG, MBD), pp. 156–170.
- OOPSLA-2010-PurandareDE #monitoring #optimisation
- Monitor optimization via stutter-equivalent loop transformation (RP, MBD, SGE), pp. 270–285.
- ESEC-FSE-2009-ShermanDE #concurrent #source code #testing
- Saturation-based testing of concurrent programs (ES, MBD, SGE), pp. 53–62.
- ICSM-2009-YangDR #model checking
- Regression model checking (GY, MBD, GR), pp. 115–124.
- ASE-2008-DwyerDE #cost analysis #monitoring
- Reducing the Cost of Path Property Monitoring Through Sampling (MBD, MD, SGE), pp. 228–237.
- ASE-2008-JordeED #testing
- Increasing Test Granularity by Aggregating Unit Tests (MJ, SGE, MBD), pp. 9–18.
- FSE-2008-PersonDEP #difference #execution #symbolic computation
- Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.
- ASE-2007-DiepED
- Reducing irrelevant trace variations (MD, SGE, MBD), pp. 477–480.
- ASE-2007-DwyerP #cost analysis #dynamic analysis #static analysis #type system
- Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis (MBD, RP), pp. 124–133.
- ICSE-2007-DwyerEPP #parallel #random
- Parallel Randomized State-Space Search (MBD, SGE, SP, RP), pp. 3–12.
- ICSE-2007-DwyerKE #adaptation #online #program analysis
- Adaptive Online Program Analysis (MBD, AK, SGE), pp. 220–229.
- ISSTA-2007-CohenDS #configuration management #constraints #interactive #testing
- Interaction testing of highly-configurable systems in the presence of constraints (MBC, MBD, JS), pp. 129–139.
- ASE-2006-RobbyDH #framework #model checking #using
- Domain-specific Model Checking Using The Bogor Framework (R, MBD, JH), pp. 369–370.
- FSE-2006-DwyerPE #detection #fault
- Controlling factors in evaluating path-sensitive error detection techniques (MBD, SP, SGE), pp. 92–104.
- FSE-2006-ElbaumCDD #difference #testing
- Carving differential unit test cases from system test cases (SGE, HNC, MBD, JD), pp. 253–264.
- TACAS-2006-DwyerHHRRW #concurrent #effectiveness #object-oriented #reduction #slicing #source code
- Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs (MBD, JH, MH, VPR, R, TW), pp. 73–89.
- CAV-2005-DwyerHHR #framework #model checking #using
- Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework (MBD, JH, MH, R), pp. 148–152.
- ECOOP-2005-RodriguezDFHLR #composition #concurrent #ml #multi #source code #specification #thread #verification
- Extending JML for Modular Specification and Verification of Multi-threaded Programs (ER, MBD, CF, JH, GTL, R), pp. 551–576.
- ESOP-2005-RanganathABDH #slicing
- A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.
- ASE-2004-DwyerRTV #interactive #model checking #order
- Analyzing Interaction Orderings with Model Checking (MBD, R, OT, WV), pp. 154–163.
- FASE-2004-ChildsGRDDHJSS #analysis #component #development #ide #named #synthesis #verification
- Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems (AC, JG, VPR, XD, MBD, JH, GJ, PS, GS), pp. 160–164.
- TACAS-2004-DengDHM #aspect-oriented #framework #named
- SyncGen: An Aspect-Oriented Framework for Synchronization (XD, MBD, JH, MM), pp. 158–162.
- TACAS-2004-RobbyRDH #framework #model checking #specification #using
- Checking Strong Specifications Using an Extensible Software Model Checking Framework (R, ER, MBD, JH), pp. 404–420.
- VMCAI-2004-HatcliffRD #concurrent #model checking #object-oriented #specification #using #verification
- Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking (JH, R, MBD), pp. 175–190.
- ASE-2003-TkachukDP #automation #generative #model checking
- Automated Environment Generation for Software Model Checking (OT, MBD, CSP), pp. 116–129.
- ESEC-FSE-2003-RobbyDH #framework #model checking #named
- Bogor: an extensible and highly-modular software model checking framework (R, MBD, JH), pp. 267–276.
- ESEC-FSE-2003-TkachukD #adaptation #analysis #composition #model checking
- Adapting side effects analysis for modular program model checking (OT, MBD), pp. 188–197.
- ICSE-2003-HatcliffDDJR #analysis #component #development #named #verification
- Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems (JH, XD, MBD, GJ, VPR), pp. 160–173.
- PEPM-2003-HatcliffDDJRR #component #corba #design #partial evaluation #slicing
- Slicing and partial evaluation of CORBA component model designs for avionics system (JH, WD, MBD, GJ, VPR, R), pp. 1–2.
- ICSE-2002-DengDHM #concurrent #invariant #source code #specification #synthesis #verification
- Invariant-based specification, synthesis, and verification of synchronization in concurrent programs (XD, MBD, JH, MM), pp. 442–452.
- ICSE-2001-DwyerHJLPRZV #abstraction #finite #verification
- Tool-Supported Program Abstraction for Finite-State Verification (MBD, JH, RJ, SL, CSP, R, HZ, WV), pp. 177–187.
- TACAS-2001-PasareanuDV #java #model checking #source code
- Finding Feasible Counter-examples when Model Checking Abstracted Java Programs (CSP, MBD, WV), pp. 284–298.
- ICSE-2000-CorbettDHLPRZ #finite #java #modelling #named #source code
- Bandera: extracting finite-state models from Java source code (JCC, MBD, JH, SL, CSP, R, HZ), pp. 439–448.
- ICSE-2000-CorbettDHR #interface #java #model checking #named #source code
- Bandera: a source-level interface for model checking Java programs (JCC, MBD, JH, R), pp. 762–765.
- ICSE-1999-DwyerAC #finite #specification #verification
- Patterns in Property Specifications for Finite-State Verification (MBD, GSA, JCC), pp. 411–420.
- PEPM-1999-DwyerH #slicing
- Slicing Software for Model Construction (MBD, JH), pp. 105–118.
- SAS-1999-HatcliffCDSZ #concurrent #formal method #multi #slicing #source code #thread #virtual machine
- A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives (JH, JCC, MBD, SS, HZ), pp. 1–18.
- ALP-PLILP-1998-HatcliffDL #analysis #staging #using
- Staging Static Analyses Using Abstraction-Based Program Specialization (JH, MBD, SL), pp. 134–151.
- FSE-1998-DwyerP #model checking
- Filter-Based Model Checking of Partial Systems (MBD, CSP), pp. 189–202.
- ASE-1997-Dwyer #analysis #composition #concurrent
- Modular Flow Analysis for Concurrent Software (MBD), pp. 264–273.
- ESEC-FSE-1997-DwyerCH #abstraction #model checking #user interface #using #visual notation
- Model Checking Graphical User Interfaces Using Abstractions (MBD, VC, LH), pp. 244–261.
- ICSE-1997-NaumovichCOD #concurrent #verification
- Verification of Concurrent Software with FLAVERS (GN, LAC, LJO, MBD), pp. 594–595.
- ICSE-1996-DwyerC #architecture #data flow #flexibility
- A Flexible Architecture for Building Data Flow Analyzers (MBD, LAC), pp. 554–564.
- TRI-Ada-1996-DwyerCR #ada #concurrent #independence
- An Application-Independent Concurrency Skeleton in Ada 95 (MBD, MJC, ER), pp. 179–192.
- ICSE-1995-DwyerCN #concurrent #petri net #representation #source code
- A Compact Petri Net Representation for Concurrent Programs (MBD, LAC, KAN), pp. 147–157.
- FSE-1994-DwyerC #analysis #concurrent #data flow #source code #verification
- Data Flow Analysis for Verifying Properties of Concurrent Programs (MBD, LAC), pp. 62–75.
- ASE-2015-ShermanD #analysis #data flow #performance #precise
- Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T) (ES, MBD), pp. 608–618.
- ASE-2015-ZhengRLDS #named #parallel #source code #verification
- CIVL: Formal Verification of Parallel Programs (MZ, MSR, ZL, MBD, SFS), pp. 830–835.
- GTTSE-2015-DwyerFGGPV #probability #program analysis
- Probabilistic Program Analysis (MBD, AF, JG, MJG, CSP, WV), pp. 1–25.
- ASE-2017-GerrardD
- Comprehensive failure characterization (MJG, MBD), pp. 365–376.
- ASE-2017-NguyenDV #invariant #named #using
- SymInfer: inferring program invariants using symbolic states (TN, MBD, WV), pp. 804–814.