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
(81)
Sarfraz Khurshid
30
Steven Lauterburg
10
Milos Gligoric
10
Vilas Jagannath
9
Marcelo d’Amorim
9
Conferences
(19)
ASE
8
ICSE
6
ISSTA
5
ICST
4
ESEC
3
Journals
(12)
SIGPLAN
2
ENTCS
2
ACM Sigsoft Software Engineering Notes
2
INTERNET
1
TSE
1
Keywords
(159)
Embed
Subscribe
Academic
Authors
Darko Marinov
Edit
Darko Marinov
Massachusetts Institute of Technology
Publications: 83
|
Citations: 1637
|
G-Index: 39
|
H-Index: 17
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
81 co-authors
from 1993 to 2011
; Cited by
1463 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(83)
BibTeX
|
RIS
|
RefWorks
Download
ReAssert: a tool for repairing broken unit tests
Brett Daniel
,
Tihomir Gvero
,
Vilas Jagannath
,
Johnston Jiaa
,
Damion Mitchell
,
Jurand Nogiec
,
Shin Hwei Tan
,
Darko Marinov
Conference:
International Conference on Software Engineering - ICSE
, pp. 1010-1012, 2011
Testing Container Classes: Random or Systematic?
Rohan Sharma
,
Milos Gligoric
,
Andrea Arcuri
,
Gordon Fraser
,
Darko Marinov
Conference:
Fundamental Approaches to Software Engineering - FASE
, pp. 262-277, 2011
Test Generation through Programming in UDITA
(
Citations: 8
)
Milos Gligoric
,
Tihomir Gvero
,
Vilas Jagannath
,
Sarfraz Khurshid
,
Viktor Kuncak
,
Darko Marinov
Conference:
International Conference on Software Engineering - ICSE
, pp. 225-234, 2010
On test repair using symbolic execution
(
Citations: 3
)
Brett Daniel
,
Tihomir Gvero
,
Darko Marinov
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 207-218, 2010
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques
(
Citations: 3
)
Steven Lauterburg
,
Rajesh K. Karmani
,
Darko Marinov
,
Gul Agha
Conference:
Fundamental Approaches to Software Engineering - FASE
, pp. 308-322, 2010
Order by:
Citations
(1637 times by 1040 publications)
An Analysis and Survey of the Development of Mutation Testing
(
Citations: 35
)
Yue Jia
,
Mark Harman
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 5, pp. 649-678, 2011
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
(
Citations: 6
)
T. Y. Chen
,
T. H. Tse
,
Zhi Quan Zhou
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 1, 2011
S2E: a platform for in-vivo multi-path analysis of software systems
(
Citations: 5
)
Vitaly Chipounov
,
Volodymyr Kuznetsov
,
George Candea
Conference:
Architectural Support for Programming Languages and Operating Systems - ASPLOS
, pp. 265-278, 2011
Precise identification of problems for structural test generation
(
Citations: 3
)
Xusheng Xiao
,
Tao Xie
,
Nikolai Tillmann
,
Jonathan de Halleux
Conference:
International Conference on Software Engineering - ICSE
, pp. 611-620, 2011
Bristlecone: Language Support for Robust Software Applications
(
Citations: 2
)
Brian Demsky
,
Sivaji R. Sundaramurthy
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 1, pp. 4-23, 2011
Comments