Matthew Dwyer

Citirano

	Sve	Od 2019.
Citati	13387	2618
H-indeks	53	25
i10-indeks	119	49

740

370

185

555

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202483 141 179 259 371 388 568 600 644 723 668 580 597 588 600 627 635 610 546 540 543 507 456 436 408 399 410

Javni pristup

Prikaži sve

22 članka

4 članka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StatePotvrđena adresa e-pošte na ksu.edu
Sebastian ElbaumProfessor of Computer Science, University of VirginiaPotvrđena adresa e-pošte na virginia.edu
Corina PasareanuCMU/NASA AmesPotvrđena adresa e-pošte na nasa.gov
Willem VisserComputer Science Division, Stellenbosch UniversityPotvrđena adresa e-pošte na cs.sun.ac.za
George AvruninProfessor Emeritus of Mathematics and StatisticsPotvrđena adresa e-pošte na math.umass.edu
Myra B. CohenIowa State UniversityPotvrđena adresa e-pošte na iastate.edu
Venkatesh-Prasad RanganathIndependentPotvrđena adresa e-pošte na ksu.edu
Lori ClarkeProfessor of Computer Science, University of Massachusetts AmherstPotvrđena adresa e-pošte na cs.umass.edu
Rahul PurandareAssociate Professor, University of Nebraska–LincolnPotvrđena adresa e-pošte na unl.edu
Georg JungEnergyVillePotvrđena adresa e-pošte na acm.org
David ShriverSoftware Engineering Institute, Carnegie Mellon UniversityPotvrđena adresa e-pošte na sei.cmu.edu
Jaco GeldenhuysAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
Ziqing LuoUniversity of DelawarePotvrđena adresa e-pošte na udel.edu
Manchun ZhengPure Storage Inc.Potvrđena adresa e-pošte na purestorage.com
Antonio FilieriAmazon Web Services, Imperial College LondonPotvrđena adresa e-pošte na imperial.ac.uk
Elena ShermanBoise State UniversityPotvrđena adresa e-pošte na boisestate.edu
Gregg RothermelNorth Carolina State UniversityPotvrđena adresa e-pošte na ncsu.edu
Michael HuthProfessor of Computer Science, Computing, Imperial College LondonPotvrđena adresa e-pošte na imperial.ac.uk
Mehmet C VuranDale M. Jensen Professor, University of Nebraska LincolnPotvrđena adresa e-pošte na cse.unl.edu
David AnthonySouthwest Research InstitutePotvrđena adresa e-pošte na swri.org

Prati

Matthew Dwyer

Thomson Distinguished Professor, University of Virginia

Potvrđena adresa e-pošte na virginia.edu - Početna stranica

Software Engineering


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Patterns in property specifications for finite-state verification MB Dwyer, GS Avrunin, JC Corbett Proceedings of the 21st international conference on Software engineering …, 1999	2170	1999
Bandera: Extracting finite-state models from Java source code JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Păsăreanu, Robby, ... Proceedings of the 22nd international conference on Software engineering …, 2000	1578	2000
Property specification patterns for finite-state verification MB Dwyer, GS Avrunin, JC Corbett Proceedings of the second workshop on Formal methods in software practice, 7-15, 1998	730	1998
Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach MB Cohen, MB Dwyer, J Shi IEEE Transactions on Software Engineering 34 (5), 633-650, 2008	410	2008
Differential symbolic execution S Person, MB Dwyer, S Elbaum, CS Pǎsǎreanu Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008	361	2008
Bogor: an extensible and highly-modular software model checking framework Robby, MB Dwyer, J Hatcliff ACM SIGSOFT Software Engineering Notes 28 (5), 267-276, 2003	353	2003
Interaction testing of highly-configurable systems in the presence of constraints MB Cohen, MB Dwyer, J Shi Proceedings of the 2007 international symposium on Software testing and …, 2007	333	2007
Evaluating improvements to a meta-heuristic search for constrained interaction testing BJ Garvin, MB Cohen, MB Dwyer Empirical Software Engineering 16, 61-102, 2011	297	2011
Slicing software for model construction J Hatcliff, MB Dwyer, H Zheng Higher-order and symbolic computation 13, 315-353, 2000	287	2000
Cadena: An integrated development, analysis, and verification environment for component-based systems J Hatcliff, X Deng, MB Dwyer, G Jung, VP Ranganath 25th International Conference on Software Engineering, 2003. Proceedings …, 2003	267	2003
Data flow analysis for verifying properties of concurrent programs MB Dwyer, LA Clarke ACM SIGSOFT Software Engineering Notes 19 (5), 62-75, 1994	246	1994
Tool-supported program abstraction for finite-state verification MB Dwyer, J Hatcliff, R Joehanes, S Laubach, CS Pasreanu, RH Zheng, ... Proceedings of the 23rd International Conference on Software Engineering …, 2001	205	2001
Green: reducing, reusing and recycling constraints in program analysis W Visser, J Geldenhuys, MB Dwyer Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012	193	2012
Using the Bandera tool set to model-check properties of concurrent Java software J Hatcliff, M Dwyer CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001	184	2001
Probabilistic symbolic execution J Geldenhuys, MB Dwyer, W Visser Proceedings of the 2012 International Symposium on Software Testing and …, 2012	180	2012
Coverage and adequacy in software product line testing MB Cohen, MB Dwyer, J Shi Proceedings of the ISSTA 2006 workshop on Role of software architecture for …, 2006	169	2006
A formal study of slicing for multi-threaded programs with JVM concurrency primitives J Hatcliff, J Corbett, M Dwyer, S Sokolowski, H Zheng International Static Analysis Symposium, 1-18, 1999	164	1999
Assume-guarantee model checking of software: A comparative case study CS Păsăreanu, MB Dwyer, M Huth International SPIN Workshop on Model Checking of Software, 168-183, 1999	141	1999
An improved meta-heuristic search for constrained interaction testing BJ Garvin, MB Cohen, MB Dwyer 2009 1st International symposium on search based software engineering, 13-22, 2009	140	2009
A new foundation for control dependence and slicing for modern program structures VP Ranganath, T Amtoft, A Banerjee, J Hatcliff, MB Dwyer ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 27-es, 2007	138	2007

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori