Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(92)
John Hatcliff
56
Robby
24
Sebastian G. Elbaum
17
James C. Corbett
16
Corina Pasareanu
14
Conferences
(38)
ICSE
19
ASE
9
ESEC
6
TACAS
4
SPIN
4
Journals
(17)
ACM Sigsoft Software Engineering Notes
6
STTT
5
TSE
3
FMSD
3
TR
3
Keywords
(271)
Embed
Subscribe
Academic
Authors
Matthew B. Dwyer
Edit
Matthew B. Dwyer
University of Nebraska Lincoln
Publications: 156
|
Citations: 4264
|
G-Index: 63
|
H-Index: 31
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
92 co-authors
from 1994 to 2011
; Cited by
3139 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(156)
BibTeX
|
RIS
|
RefWorks
Download
Evaluating improvements to a meta-heuristic search for constrained interaction testing
(
Citations: 1
)
Brady J. Garvin
,
Myra B. Cohen
,
Matthew B. Dwyer
Journal:
Empirical Software Engineering - ESE
, vol. 16, no. 1, pp. 61-102, 2011
Unifying verification and validation techniques: relating behavior and properties through partial evidence
(
Citations: 1
)
Matthew B. Dwyer
,
Sebastian G. Elbaum
Published in 2010.
Monitor optimization via stutter-equivalent loop transformation
(
Citations: 1
)
Rahul Purandare
,
Matthew B. Dwyer
,
Sebastian G. Elbaum
Conference:
Conference on Object-Oriented Programming Systems, Languages, and Applications - OOPSLA
, pp. 270-285, 2010
Simulating and testing mobile wireless sensor networks
David J. Anthony
,
William P. Bennett
,
Mehmet C. Vuran
,
Matthew B. Dwyer
,
Sebastian Elbaum
,
Felipe Chavez-Ramirez
Published in 2010.
A Slice-Based Decision Procedure for Type-Based Partial Orders
Elena Sherman
,
Brady J. Garvin
,
Matthew B. Dwyer
Conference:
Conference on Automated Deduction - CADE
, pp. 156-170, 2010
Order by:
Citations
(4264 times by 2702 publications)
Soundness of Workflow Nets: Classification, Decidability, and Analysis
(
Citations: 11
)
Wil M. P. van der Aalst
,
Kees M. van Hee
,
Arthur H. M. ter Hofstede
,
Natalia Sidorova
,
H. M. W. Verbeek
,
Marc Voorhoeve
,
Moe Thandar Wynn
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 3, pp. 333-363, 2011
A practical guide for using statistical tests to assess randomized algorithms in software engineering
(
Citations: 9
)
Andrea Arcuri
,
Lionel C. Briand
Conference:
International Conference on Software Engineering - ICSE
, pp. 1-10, 2011
A survey of combinatorial testing
(
Citations: 4
)
Changhai Nie
,
Hareton Leung
Journal:
ACM Computing Surveys - CSUR
, vol. 43, no. 2, pp. 1-29, 2011
Dynamic QoS Management and Optimization in Service-Based Systems
(
Citations: 6
)
Radu Calinescu
,
Lars Grunske
,
Raffaela Mirandola
,
Giordano Tamburrelli
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 3, pp. 387-409, 2011
GUI Interaction Testing: Incorporating Event Context
(
Citations: 5
)
Xun Yuan
,
Myra B. Cohen
,
Atif M. Memon
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 4, pp. 559-574, 2011
Comments