Matthew Dwyer

Citeret af

	Alle	Siden 2016
Henvisninger	11857	2914
h-index	50	24
i10-indeks	108	55

720

360

180

540

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202173 132 174 240 350 392 577 568 620 702 665 578 587 582 609 607 617 612 525 546 554 496 437 356

Offentlig adgang

Se alle

11 artikler

3 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityBekræftet mail på ksu.edu
Sebastian ElbaumProfessor of Computer Science, University of VirginiaBekræftet mail på virginia.edu
Corina PasareanuCMU/NASA AmesBekræftet mail på nasa.gov
Willem VisserComputer Science Division, Stellenbosch UniversityBekræftet mail på cs.sun.ac.za
Myra B. CohenIowa State UniversityBekræftet mail på iastate.edu
Venkatesh-Prasad RanganathGoogleBekræftet mail på ksu.edu
Lori ClarkeProfessor of Computer Science, University of Massachusetts AmherstBekræftet mail på cs.umass.edu
Rahul PurandareAssociate Professor of Computer Science and Engineering, IIIT-DelhiBekræftet mail på iiitd.ac.in
Georg JungEnergyVilleBekræftet mail på acm.org
Gregg RothermelProfessor of Computer Science, University of Nebraska - LincolnBekræftet mail på cse.unl.edu
Jaco GeldenhuysAmazon Web ServicesBekræftet mail på amazon.com
Torben AmtoftAssociate Professor of Computer Science, Kansas State UniversityBekræftet mail på ksu.edu
Elena ShermanBoise State UniversityBekræftet mail på boisestate.edu
Michael HuthProfessor of Computer Science, Computing, Imperial College LondonBekræftet mail på imperial.ac.uk
Ziqing LuoUniversity of DelawareBekræftet mail på udel.edu
Manchun ZhengPure Storage Inc.Bekræftet mail på purestorage.com
Mehmet C VuranSusan J. Rosowski Professor, University of Nebraska LincolnBekræftet mail på cse.unl.edu
David AnthonySouthwest Research InstituteBekræftet mail på swri.org
RobbyProfessor, Department of Computer Science, Kansas State UniversityBekræftet mail på k-state.edu
Steve GoddardProfessor of Computer Science, University of IowaBekræftet mail på cse.unl.edu

Matthew Dwyer

University of Virginia

Bekræftet mail på virginia.edu - Startside

Software Engineering


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
Patterns in property specifications for finite-state verification MB Dwyer, GS Avrunin, JC Corbett Proceedings of the 21st international conference on Software engineering …, 1999	1892	1999
Bandera: Extracting finite-state models from Java source code JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Pasareanu, H Zheng Proceedings of the 2000 International Conference on Software Engineering …, 2000	1530	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	656	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	357	2008
Bogor: an extensible and highly-modular software model checking framework MB Dwyer, J Hatcliff ACM SIGSOFT Software Engineering Notes 28 (5), 267-276, 2003	340	2003
Differential symbolic execution S Person, MB Dwyer, S Elbaum, CS Pǎsǎreanu Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008	303	2008
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	297	2007
Slicing software for model construction J Hatcliff, MB Dwyer, H Zheng Higher-order and symbolic computation 13 (4), 315-353, 2000	278	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	263	2003
Data flow analysis for verifying properties of concurrent programs MB Dwyer, LA Clarke ACM SIGSOFT Software Engineering Notes 19 (5), 62-75, 1994	245	1994
Evaluating improvements to a meta-heuristic search for constrained interaction testing BJ Garvin, MB Cohen, MB Dwyer Empirical Software Engineering 16 (1), 61-102, 2011	237	2011
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	193	2001
Using the Bandera tool set to model-check properties of concurrent Java software J Hatcliff, M Dwyer International Conference on Concurrency Theory, 39-58, 2001	175	2001
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	162	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	157	1999
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	151	2012
Probabilistic symbolic execution J Geldenhuys, MB Dwyer, W Visser Proceedings of the 2012 International Symposium on Software Testing and …, 2012	138	2012
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	133	1999
Automated environment generation for software model checking O Tkachuk, MB Dwyer, CS Pasareanu 18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003	127	2003
Parallel randomized state-space search MB Dwyer, S Elbaum, S Person, R Purandare 29th International Conference on Software Engineering (ICSE'07), 3-12, 2007	113	2007

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg denne forfatter

Citeret af

Medforfattere