D. Marinov
发表
Sarfraz Khurshid,
Darko Marinov,
Xiaoming Li,
2006,
Electron. Notes Theor. Comput. Sci..
Koushik Sen,
Darko Marinov,
Gul A. Agha,
2005,
ESEC/FSE-13.
Darko Marinov,
Gul A. Agha,
Rajesh K. Karmani,
2010,
FSE '10.
Ralph E. Johnson,
D. Marinov,
Danny Dig,
2005
.
Shan Lu,
Darko Marinov,
Linhai Song,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Ralph E. Johnson,
D. Marinov,
Miloš Gligorić,
2011
.
Sasa Misailovic,
D. Marinov,
V. Fernando,
2019
.
D. Notkin,
Tao Xie,
D. Marinov,
2005
.
J. Torrellas,
D. Marinov,
Z. Zhao,
2022,
ASPLOS.
Sarfraz Khurshid,
Darko Marinov,
Chandrasekhar Boyapati,
2002,
ISSTA '02.
Chandrasekhar Boyapati,
S. Khurshid,
D. Marinov,
2012
.
Yun Young Lee,
D. Marinov,
2010
.
Viktor Kuncak,
S. Khurshid,
D. Marinov,
2008
.
Sasa Misailovic,
S. Khurshid,
D. Marinov,
2007
.
D. Marinov,
Q. Luo,
Lamyaa Eloussi,
2014
.
Sarfraz Khurshid,
Darko Marinov,
S. Khurshid,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Sasa Misailovic,
D. Marinov,
Abdulrahman Mahmoud,
2017
.
D. Marinov,
Rados Rodoicic,
2003
.
V. Stodden,
D. Marinov,
Peilun Zhang,
2020
.
Alexandr Andoni,
S. Khurshid,
D. Marinov,
2002
.
Sarfraz Khurshid,
Darko Marinov,
Chandrasekhar Boyapati,
2012,
KDD 2012.
Darko Marinov,
Gul A. Agha,
Vilas Jagannath,
2010,
2010 Third International Conference on Software Testing, Verification, and Validation Workshops.
D. Notkin,
Tao Xie,
D. Marinov,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Rajesh K. Karmani,
G. Agha,
D. Marinov,
2010
.
D. Marinov,
R. O'Callahan,
2003,
OOPSLA '03.
Rajesh K. Karmani,
Traian-Florin Serbanuta,
Manu Sridharan,
2013
.
Josep Torrellas,
Klara Nahrstedt,
Thomas S. Huang,
2013
.
Tianyin Xu,
Darko Marinov,
Lingming Zhang,
2021,
ISSTA.
Darko Marinov,
Corina S. Păsăreanu,
C. Pasareanu,
2014,
ISSTA 2014.
Rupak Majumdar,
Darko Marinov,
Milos Gligoric,
2014
.
Tingting Yu,
Darko Marinov,
Tingting Yu,
2017,
ISSTA 2017.
Darko Marinov,
Anjiang Wei,
Wing Lam,
2020,
Proc. ACM Program. Lang..
Darko Marinov,
D. Marinov,
2010,
International Symposium on Software Testing and Analysis.
Darko Marinov,
Vilas Jagannath,
Milos Gligoric,
2010,
2010 Third International Conference on Software Testing, Verification and Validation.
Josep Torrellas,
Darko Marinov,
Adrian Nistor,
2009,
2009 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
How good are the specs? A study of the bug-finding effectiveness of existing Java API specifications
Grigore Rosu,
Darko Marinov,
Owolabi Legunsen,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Darko Marinov,
Danny Dig,
Michael Hilton,
2016
.
Jianjun Zhao,
Darko Marinov,
Hao Zhong,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Grigore Rosu,
Darko Marinov,
Vilas Jagannath,
2011,
ESEC/FSE '11.
David Notkin,
Tao Xie,
Darko Marinov,
2005,
TACAS.
Sarfraz Khurshid,
Darko Marinov,
S. Khurshid,
2003
.
Darko Marinov,
August Shi,
Peiyuan Zhao,
2019,
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).
Darko Marinov,
Nicholas Nelson,
Danny Dig,
2017,
ESEC/SIGSOFT FSE.
Darko Marinov,
Danny Dig,
Kai Huang,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Darko Marinov,
Farah Hariri,
Qingzhou Luo,
2014,
SIGSOFT FSE.
Karrie Karahalios,
Brian P. Bailey,
Darko Marinov,
2020,
CHI.
Wai-Tat Fu,
Karrie Karahalios,
Brian P. Bailey,
2017,
CHI.
Darko Marinov,
Alex Gyori,
August Shi,
2018,
ISSTA.
Alex Groce,
Chaoqiang Zhang,
Darko Marinov,
2015,
ACM Trans. Softw. Eng. Methodol..
Sarfraz Khurshid,
Darko Marinov,
Sasa Misailovic,
2007,
29th International Conference on Software Engineering (ICSE'07).
Sarfraz Khurshid,
Darko Marinov,
S. Khurshid,
2004,
Automated Software Engineering.
Tao Xie,
Wing Lam,
Darko Marinov,
2020,
Proc. ACM Program. Lang..
David Notkin,
Tao Xie,
Jianjun Zhao,
2006,
2006 17th International Symposium on Software Reliability Engineering.
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE).
Sarfraz Khurshid,
Allison Sullivan,
Darko Marinov,
2019,
ICFEM.
Sarfraz Khurshid,
Darko Marinov,
Martin C. Rinard,
2005,
SAT.
Darko Marinov,
D. Marinov,
2005
.
Sarfraz Khurshid,
Darko Marinov,
S. Khurshid,
2002,
FME.
Marcelo d'Amorim,
Jennifer C. Hou,
Darko Marinov,
2010,
Simul..
Marcelo d'Amorim,
Darko Marinov,
Jennifer C. Hou,
2007
.
Mahesh Viswanathan,
Jennifer C. Hou,
Darko Marinov,
2007,
2007 IEEE International Parallel and Distributed Processing Symposium.
Marcelo d'Amorim,
Darko Marinov,
Marcelo d’Amorim,
2007
.
Marcelo d'Amorim,
Darko Marinov,
Ahmed Sobeih,
2006,
ICFEM.
Mahesh Viswanathan,
Jennifer C. Hou,
Darko Marinov,
2005,
ICFEM.
Sarfraz Khurshid,
Darko Marinov,
S. Khurshid,
2001,
Workshop on Software Model Checking @ CAV.
Sarfraz Khurshid,
Darko Marinov,
Lingming Zhang,
2013,
ISSTA.
Sarfraz Khurshid,
Lu Zhang,
Darko Marinov,
2011,
2011 IEEE 22nd International Symposium on Software Reliability Engineering.
Darko Marinov,
Danny Dig,
Vilas Jagannath,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Gul Agha,
Koushik Sen,
Darko Marinov,
2006
.
Darko Marinov,
Vilas Jagannath,
Yun Young Lee,
2009,
FASE.
Sarfraz Khurshid,
Martin Rinard,
Alexandr Andoni,
2003
.
Darko Marinov,
Alex Gyori,
August Shi,
2015,
ESEC/SIGSOFT FSE.
Gordon Fraser,
Darko Marinov,
Andrea Arcuri,
2011,
FASE.
Darko Marinov,
Milos Gligoric,
Alex Gyori,
2014,
SIGSOFT FSE.
Sarfraz Khurshid,
Viktor Kuncak,
Darko Marinov,
2008
.
Sarfraz Khurshid,
Darko Marinov,
Konstantine Arkoudas,
2003,
RelMiCS.
Gary T. Leavens,
Darko Marinov,
Lin Tan,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Ralph E. Johnson,
Darko Marinov,
Danny Dig,
2006,
ECOOP.
D. Marinov,
Chun Xia,
Saikat Dutta,
2023,
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE).
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2017,
SQAMIA.
D. Marinov,
Minghui Zhou,
Hao He,
2022,
ACM Trans. Softw. Eng. Methodol..
Darko Marinov,
Victoria Stodden,
Peilun Zhang,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Tao Xie,
Wing Lam,
Darko Marinov,
2019,
ESEC/SIGSOFT FSE.
Darko Marinov,
Jonathan Bell,
August Shi,
2019,
ISSTA.
Wing Lam,
Tao Xie,
Darko Marinov,
2019,
2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST).
Darko Marinov,
Owolabi Legunsen,
Jonathan Bell,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Darko Marinov,
Owolabi Legunsen,
Alex Gyori,
2016,
2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Sarfraz Khurshid,
Darko Marinov,
Lingming Zhang,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Martin Rinard,
Darko Marinov,
M. Rinard,
1999
.
Alex Groce,
Chaoqiang Zhang,
Darko Marinov,
2013,
ISSTA.
Sarfraz Khurshid,
Lu Zhang,
Darko Marinov,
2012,
ISSTA 2012.
Darko Marinov,
Brett Daniel,
Tihomir Gvero,
2010,
ISSTA '10.
Darko Marinov,
Abdulrahman Mahmoud,
Radha Venkatagiri,
2019,
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Darko Marinov,
Sarita V. Adve,
Abdulrahman Mahmoud,
2019,
ASPLOS.
Karrie Karahalios,
Brian P. Bailey,
Darko Marinov,
2018,
Proc. ACM Hum. Comput. Interact..
Daniel S. Katz,
D. Marinov,
Samuel Grayson,
2023,
ACM-REP.
Alex Groce,
Darko Marinov,
Lingming Zhang,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Darko Marinov,
Owolabi Legunsen,
Lingming Zhang,
2019,
Proc. ACM Program. Lang..
Darko Marinov,
Jonathan Bell,
Michael Hilton,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Darko Marinov,
Victoria Stodden,
Angello Astorga,
2020,
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE).
Darko Marinov,
Farah Hariri,
Owolabi Legunsen,
2016,
SIGSOFT FSE.
Darko Marinov,
Milos Gligoric,
Lamyaa Eloussi,
2015,
ISSTA.
Darko Marinov,
Vilas Jagannath,
Milos Gligoric,
2013,
Softw. Test. Verification Reliab..
Darko Marinov,
Gul A. Agha,
Rajesh K. Karmani,
2010,
FASE.
Darko Marinov,
Gul A. Agha,
Steven Lauterburg,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Sarfraz Khurshid,
Darko Marinov,
Farah Hariri,
2016,
2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE).
Marcelo d'Amorim,
Michael D. Ernst,
Darko Marinov,
2006,
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
D. Marinov,
Wing Lam,
Anjiang Wei,
2022,
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
Axel Legay,
Darko Marinov,
Gul A. Agha,
2012,
FMOODS/FORTE.
V. Stodden,
D. Marinov,
M. Krafczyk,
2021,
Philosophical Transactions of the Royal Society A.
Chandrasekhar Boyapati,
S. Khurshid,
D. Marinov,
2002,
ISSTA '02.
Sarfraz Khurshid,
Marcelo d'Amorim,
Darko Marinov,
2015,
SPLC.
Darko Marinov,
Nazareno Aguirre,
Marcelo F. Frias,
2014,
Softw. Test. Verification Reliab..
Sarfraz Khurshid,
Marcelo d'Amorim,
Darko Marinov,
2013,
ESEC/FSE 2013.
Jeffrey Overbey,
Darko Marinov,
Munawar Hafiz,
2013,
ECOOP.
Sarfraz Khurshid,
Darko Marinov,
Chandrasekhar Boyapati,
2012,
FSE 2012.
Sarfraz Khurshid,
Darko Marinov,
Chandrasekhar Boyapati,
2012,
KDD 2012.
Darko Marinov,
Nazareno Aguirre,
Marcelo F. Frias,
2012,
TAP@TOOLS.
Sarfraz Khurshid,
Darko Marinov,
Junaid Haroon Siddiqui,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Sarfraz Khurshid,
Viktor Kuncak,
Darko Marinov,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Darko Marinov,
Vilas Jagannath,
Milos Gligoric,
2010,
2010 Third International Conference on Software Testing, Verification, and Validation Workshops.
Sarfraz Khurshid,
Darko Marinov,
Junaid Haroon Siddiqui,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Sarfraz Khurshid,
Darko Marinov,
Milos Gligoric,
2009,
2009 International Conference on Software Testing Verification and Validation.
Sarfraz Khurshid,
Darko Marinov,
Bassem Elkarablieh,
2008,
ISSTA '08.
Mahesh Viswanathan,
Darko Marinov,
Ahmed Sobeih,
2008,
2008 ACM/IEEE 30th International Conference on Software Engineering.
Darko Marinov,
Danny Dig,
Brett Daniel,
2007,
ESEC-FSE '07.
Sarfraz Khurshid,
Darko Marinov,
Nemanja Petrovic,
2007,
ESEC-FSE '07.
Marcelo d'Amorim,
Darko Marinov,
Steven Lauterburg,
2007,
IEEE Transactions on Software Engineering.
Tao Xie,
Darko Marinov,
Kunal Taneja,
2007,
Second International Workshop on Automation of Software Test (AST '07).
Sarfraz Khurshid,
Darko Marinov,
S. Khurshid,
2018,
SQAMIA.
Tao Xie,
David Notkin,
Darko Marinov,
2004
.
Sarfraz Khurshid,
Darko Marinov,
Daniel Jackson,
2002,
OOPSLA '02.
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
ESEC/SIGSOFT FSE.
Sarfraz Khurshid,
Guowei Yang,
Darko Marinov,
2011,
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Marcelo d’Amorim,
S. Khurshid,
D. Marinov,
2008,
2008 ACM/IEEE 30th International Conference on Software Engineering.
Daniel S. Katz,
D. Marinov,
Samuel Grayson,
2023,
ArXiv.
Stas Negara,
Darko Marinov,
Owolabi Legunsen,
2014,
ASE.
Darko Marinov,
Victoria Stodden,
August Shi,
2019,
P-RECS@HPDC.
Sarfraz Khurshid,
Darko Marinov,
Alex Gyori,
2017,
SOEN.
Darko Marinov,
Rados Radoicic,
D. Marinov,
2003,
Electron. J. Comb..
Samuel N. Kamin,
Darko Marinov,
Milos Gligoric,
2011,
ISSTA '11.
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
ABZ.
Atul Prakash,
Darko Marinov,
Meiyappan Nagappan,
2019,
OSS.
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code
Thomas R. Gross,
Darko Marinov,
Michael Pradel,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Josep Torrellas,
Darko Marinov,
Adrian Nistor,
2010,
2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture.
D. Marinov,
Yang Chen,
Reyhaneh Jabbarvand,
2023,
ISSTA.